Publications

2016

	Jake M. Drew, Tyler Moore, Michael Hahsler, Polymorphic Malware Detection using Sequence Classification Methods and Inverse Document Frequency, Recommended for publication in the special issue of EURASIP Journal on Information Security, due 10/01/2016. [ paper ]
	Jake M. Drew, Tyler Moore, Michael Hahsler,Polymorphic Malware Detection Using Sequence Classification Methods. Workshop on Bio-Inspired Security, Trust, and Resilience (BioStar 2016), February 24, 2016. [ paper ]
	Fanchen Zhang, Yi Sun, Xi Shen, Kundan Nepal, Jennifer Dworak, Theodore Manikas, Ping Gui, R.Iris Behar, Al Crouch, and John Potter, “Using Existing Reconfigurable Logic in 3D Die Stacks for Test”, 25th IEEE North Atlantic Test Workshop, May 2016, (IEEE Excellence in Design and Test Engineering Award). [ paper ]
	Philip C. Davis, Mitchell A. Thornton, Theodore W. Manikas, “Reliability Block Diagram Extensions for Non-Parametric Probabilistic Analysis”, Proc. 10^th Annual IEEE Systems Conference (SysCon), April 2016, pp. 927-932. [ paper ]

2015

	Jake M. Drew, Scalable Machine Learning using Applications in Bioinformatics and Cybercrime. (DISSERTATION) ProQuest Dissertation Publishing, November 20, 2015. [ paper ]
	Jake M. Drew, Tyler Moore, Marie Vasek, Mass Compromise of IIS Shared Web Hosting for Blackhat SEO: A Case Study. [ paper ]
	Jake M. Drew, Tyler Moore, and J. Wadleigh, The E-Commerce Market for “Lemons”: Identification and Analysis of Websites Selling Counterfeit Goods, International World Wide Web Conference, May 18, 2015. [ paper ]
	Theodore W. Manikas, Mitchell A. Thornton, Shinobu Nagayama, “An Improved Methodology for System Threat Analysis Using Multiple-Valued Logic and Conditional Probabilities”, Society for Design and Process Science Conf. (SDPS 2015), Nov. 2015. [ paper ]
	Kundan Nepal, Soha Alhelaly, Jennifer Dworak, R.Iris Bahar, Theodore Manikas, and Ping Gui, “Repairing a 3D Die-Stack Using Available Programmable Logic”, IEEE Trans. Computer-Aided Design of Integrated Circuits v. 34, n. 5, pp. 849-861, May 2015. [ paper ]
	Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton, and Theodore W. Manikas, “Edge Reduction for EVMDDs to Speed Up Analysis of Multi-State Systems”, Proc. 45th IEEE International Symposium on Multiple-Valued Logic, May 2015, pp. 170-175. [ paper ]
	Theodore W. Manikas, MitchellA. Thornton, DavidY. Feinstein, “Modeling System Threat Probabilities Using Mixed-Radix Multiple-Valued Logic Decision Diagrams”, Journal of Multiple-valued Logic and Soft Computing, v. 24.1-4, pp. 135-149, 2015, (invited paper).

2014

	Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchel A. Thornton and Theodore W. Manikas, “On Optimizations of Edge-Valued MDDs for Fast Analysis of Multi-State Systems”, IEICE Transactions on Information and Systems, Vol.E97-D, No.9, pp.2234-2242, Sep. 2014. [ paper ]
	Mitchel A. Thornton, Theodore W. Manikas, Stephen A. Szygenda and Shinobu. Nagayama, "System Probability Distribution Modeling using MDDs", 44th IEEE International Symposium on Multiple-Valued Logic, May 2014, pp. 196-201. [ paper ]
	Shinobu. Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton and Theodore W. Manikas, "Analysis Methods of Multi-State Systems Partially Having Dependent Components Using Multiple-Valued Decision Diagrams", 44th IEEE International Symposium on Multiple-Valued Logic, May 2014, pp. 190-195. [ paper ]

2013

	Mitchell A. Thornton, Theodore W. Manikas Manikas, and Phillip A. Laplante. Embedded and real-time systems classes in traditional and distance format. In Frontiers in Education Conference (FIE), October 2013. [ bib \| paper ]
	Marie Vasek and Tyler Moore. Empirical analysis of factors affecting malware url detection. In 8th APWG eCrime Researchers Summit (eCrime), September 2013. [ bib ]
	Jason Moore, Mitchell A. Thornton, and David W. Matula. Low power floating-point multiplication and squaring units with shared circuitry. In IEEE Midwest Symposium on Circuits and Systems (MWSCAS), August 2013. [ bib \| paper ]
	Mitchell A Thornton and Jennifer Dworak. Ternary logic network justification using transfer matrices. In IEEE International Symposium on Multiple-Valued Logic, May 2013. [ bib \| paper ]
	Mitchell A. Thornton and Theodore W. Manikas. Spectral response of ternary logic netlists. In IEEE International Symposium on Multiple-Valued Logic, May 2013. [ bib \| paper ]
	Theodore W. Manikas, Mitchell A. Thornton, and Frederick R. Chang. Mission planning analysis using decision diagrams. In Workshop on Applications of the Reed-Muller Expansion in Circuit Design, May 2013. [ bib ]
	Mitchell A. Thornton. A transfer function model for ternary switching logic circuits. In IEEE International Symposium on Multiple-Valued Logic, May 2013. [ bib \| paper ]
	Tyler Moore and Nicolas Christin. Beware the middleman: Empirical analysis of bitcoin-exchange risk. In Financial Cryptography and Data Security, April 2013. [ bib \| paper \| presentation ]
	Steve Papa, William Casper, and Tyler Moore. Securing wastewater collection systems from accidental and intentional harm: a cost-benefit analysis. In 7th IFIP Working Group 11.10 International Conference on Critical Infrastructure Protection, March 2013. [ bib \| paper ]
	Yiwen Shi and Jennifer Dworak. A simulated annealing inspired test optimization method for enhanced detection of highly critical faults and defects. J. Electronic Testing, 29(3):275-288, 2013. [ bib \| publisher ]
	Yiwen Shi and Jennifer Dworak. A simulated annealing inspired test optimization method for enhanced detection of highly critical faults and defects. Journal of Electronic Testing, pages 1-14, 2013. [ bib \| publisher ]
	Tyler Moore. The promise and perils of digital currencies. International Journal of Critical Infrastructure Protection, 2013. [ bib \| paper ]
	Nektarios Leontiadis, Tyler Moore, and Nicolas Christin. Pick your poison: Pricing and inventories at unlicensed online pharmacies. In ACM Conference on Electronic Commerce, pages 621-638, 2013. [ bib \| publisher ]
	Ebru C. Cankaya, Suku Nair, and Hakki C. Cankaya. Applying error correction codes to achieve security and dependability. Computer Standards & Interfaces, 35(1):78-86, 2013. [ bib \| publisher ]

2012

	Tyler Moore and Richard Clayton. Discovering phishing dropboxes using email metadata. In 7th APWG eCrime Researchers Summit (eCrime), Las Croabas, PR, October 2012. [ bib \| paper \| presentation ]
	Rainer Böhme and Tyler Moore. How do consumers react to cybercrime? In APWG eCrime Researchers Summit (eCrime), Las Croabas, PR, October 2012. [ bib \| paper \| presentation ]
	William Casper and Stephen Papa. A multi-disciplined security engineering education approach. In Conference on Security and Management (SAM), July 2012. [ bib \| publisher ]
	John Impagliazzo, Susan Conry, Eric Durant, Andrew D. McGettrick, Mitchell A. Thornton, and Timothy Wilson. Computer engineering review task force report. In Laurie A. Smith King, David R. Musicant, Tracy Camp, and Paul T. Tymann, editors, SIGCSE, pages 401-402. ACM, February 2012. [ bib \| paper \| publisher ]
	Jennifer Dworak, Kundan Nepal, Nuno Alves, Yiwen Shi, Nicholas Imbriglia, and R. Iris Bahar. Using implications to choose tests through suspect fault identification. ACM Transactions on Design Automation of Electronic Systems, 18(1):14, 2012. [ bib \| publisher ]
	Elif Alpaslan, Bram Kruseman, Ananta K. Majhi, Wilmar M. Heuvelman, and Jennifer Dworak. NIM-X: A Noise Index Model-based X-filling technique to overcome the power supply switching noise effects on path delay test. IEEE Trans. on CAD of Integrated Circuits and Systems, 31(5):809-813, 2012. [ bib \| publisher ]
	Theodore W. Manikas. Integrated circuit channel routing using a pareto-optimal genetic algorithm. Journal of Circuits, Systems, and Computers, 21(5), 2012. [ bib \| publisher ]
	Theodore W. Manikas, David Y. Feinstein, and Mitchell A. Thornton. Modeling medical system threats with conditional probabilities using multiple-valued logic decision diagrams. In D. Michael Miller and Vincent C. Gaudet, editors, ISMVL, pages 244-249. IEEE, 2012. [ bib \| paper \| publisher ]
	Susan Landau and Tyler Moore. Economic tussles in federated identity management. First Monday, 17(10), 2012. [ bib \| publisher \| presentation ]
	Benjamin Edwards, Tyler Moore, George Stelle, Steven A. Hofmeyr, and Stephanie Forrest. Beyond the blacklist: Modeling malware spread and the effect of interventions. In Proceedings of the New Security Paradigms Workshop, Bertinoro, Italy, September 19-21, 2012. ACM, 2012. [ bib \| paper ]
	Marie Vasek and Tyler Moore. Do malware reports expedite cleanup? An experimental study. In Proceedings of the 5th USENIX conference on Cyber Security Experimentation and Test, CSET'12, Berkeley, CA, USA, 2012. USENIX Association. [ bib \| paper \| publisher \| presentation ]
	Ross Anderson, Chris Barton, Rainer Böhme, Richard Clayton, Michael van Eeten, Michael Levi, Tyler Moore, and Stefan Savage. Measuring the cost of cybercrime. In WEIS, 2012. [ bib \| paper \| presentation ]
	Tyler Moore and Ross Anderson. Internet security. In Martin Peitz and Joel Waldfogel, editors, The Oxford Handbook of the Digital Economy, pages 572-599. Oxford University Press, 2012. [ bib \| paper \| publisher ]
	Tyler Moore, Jie Han, and Richard Clayton. The postmodern Ponzi scheme: Empirical analysis of high-yield investment programs. In Angelos D. Keromytis, editor, Financial Cryptography, volume 7397 of Lecture Notes in Computer Science, pages 41-56. Springer, 2012. [ bib \| paper \| publisher \| presentation ]
	Mitchell A. Thornton. Professional licensure for software engineers: An update. Computing in Science and Engineering, 14(5):85-87, 2012. [ bib \| paper \| publisher ]
	David Y. Feinstein and Mitchell A. Thornton. Reversible logic synthesis based on decision diagram variable ordering. Multiple-Valued Logic and Soft Computing, 19(4):325-339, 2012. [ bib \| paper \| publisher ]
	Robert B. Reese, Scott C. Smith, and Mitchell A. Thornton. Uncle - an RTL approach to asynchronous design. In Jens Sparsø, Montek Singh, and Pascal Vivet, editors, ASYNC, pages 65-72. IEEE Computer Society, May 2012. [ bib \| paper \| publisher ]
	Rohit P. Menon and Mitchell A. Thornton. Global multiple-valued clock approach for high-performance multi-phase clock integrated circuits. In D. Michael Miller and Vincent C. Gaudet, editors, ISMVL, pages 19-24. IEEE, 2012. [ bib \| paper \| publisher ]
	David Y. Feinstein and Mitchell A. Thornton. Using the asynchronous paradigm for reversible sequential circuit implementation. In D. Michael Miller and Vincent C. Gaudet, editors, ISMVL, pages 305-310. IEEE, 2012. [ bib \| paper \| publisher ]

2011

	Nuno Alves, Y. Shi, N. Imbriglia, Jennifer Dworak, Kundan Nepal, and R. Iris Bahar. Dynamic test set selection using implication-based on-chip diagnosis. In European Test Symposium, page 211. IEEE Computer Society, 2011. [ bib \| publisher ]
	Yiwen Shi, Kantapon Kaewtip, Wan-Chan Hu, and Jennifer Dworak. Partial state monitoring for fault detection estimation. In Bill Eklow and R. D. (Shawn) Blanton, editors, ITC, pages 1-10. IEEE, 2011. [ bib \| publisher ]
	Nuno Alves, Yiwen Shi, Jennifer Dworak, R. Iris Bahar, and Kundan Nepal. Enhancing online error detection through area-efficient multi-site implications. In VTS, pages 241-246. IEEE Computer Society, 2011. [ bib \| publisher ]
	Theodore W. Manikas, Mitchell A. Thornton, and David Y. Feinstein. Using multiple-valued logic decision diagrams to model system threat probabilities. In Jaakko Astola and Radomir S. Stankovic, editors, ISMVL, pages 263-267. IEEE, 2011. [ bib \| paper \| publisher ]
	Tyler Moore, Nektarios Leontiadis, and Nicolas Christin. Fashion crimes: trending-term exploitation on the web. In Yan Chen, George Danezis, and Vitaly Shmatikov, editors, ACM Conference on Computer and Communications Security, pages 455-466. ACM, 2011. [ bib \| paper \| publisher \| presentation ]
	Nektarios Leontiadis, Tyler Moore, and Nicolas Christin. Measuring and analyzing search-redirection attacks in the illicit online prescription drug trade. In USENIX Security Symposium. USENIX Association, 2011. [ bib \| paper \| publisher ]
	Steven A. Hofmeyr, Tyler Moore, Stephanie Forrest, Benjamin Edwards, and George Stelle. Modeling internet-scale policies for cleaning up malware. In WEIS, 2011. [ bib \| paper \| publisher ]
	Susan Landau and Tyler Moore. Economic tussles in federated identity management. In WEIS, 2011. [ bib \| publisher \| presentation ]
	Tyler Moore and Richard Clayton. Ethical dilemmas in take-down research. In George Danezis, Sven Dietrich, and Kazue Sako, editors, Financial Cryptography Workshops, volume 7126 of Lecture Notes in Computer Science, pages 154-168. Springer, 2011. [ bib \| paper \| publisher \| presentation ]
	Tyler Moore and Richard Clayton. The impact of public information on phishing attack and defense. Communications & Strategies, 1(81):45-68, 1st quart 2011. [ bib \| paper \| publisher ]
	Stephen M. Papa, William D. Casper, and Suku Nair. Placement of trust anchors in embedded computer systems. In HOST, pages 111-116. IEEE Computer Society, 2011. [ bib \| publisher ]
	Suku Nair, Subil Abraham, and Omar Al-Ibrahim. Security architecture for resource-limited environments. In IWCMC, pages 412-417. IEEE, 2011. [ bib \| publisher ]
	Omar Al-Ibrahim and Suku Nair. Cyber-physical security using system-level pufs. In IWCMC, pages 1672-1676. IEEE, 2011. [ bib \| publisher ]
	Paul Krier, Sai Seshabhattar, Daniel Engels, and Suku Nair. Cloaking RFID tags. In Consumer Communications and Networking Conference, pages 1036-1040. IEEE, January 2011. [ bib \| publisher ]
	David Y. Feinstein and Mitchell A. Thornton. On the skipped variables of quantum multiple-valued decision diagrams. In Jaakko Astola and Radomir S. Stankovic, editors, ISMVL, pages 164-169. IEEE, 2011. [ bib \| paper \| publisher ]
	Mitchell A. Thornton. Keystroke dynamics. In Encyclopedia of Cryptography and Security, 2nd Ed., pages 688-691. Springer, 2011. [ bib \| paper \| publisher ]

2010

	Nuno Alves, Alison Buben, Kundan Nepal, Jennifer Dworak, and R. Iris Bahar. A cost effective approach for online error detection using invariant relationships. IEEE Trans. on CAD of Integrated Circuits and Systems, 29(5):788-801, 2010. [ bib \| publisher ]
	Elif Alpaslan, Yu Huang, Xijiang Lin, Wu-Tung Cheng, and Jennifer Dworak. On reducing scan shift activity at rtl. IEEE Trans. on CAD of Integrated Circuits and Systems, 29(7):1110-1120, 2010. [ bib \| publisher ]
	Elif Alpaslan, Jennifer Dworak, Bram Kruseman, Ananta K. Majhi, Wilmar M. Heuvelman, and Paul van de Wiel. Nim- a noise index model to estimate delay discrepancies between silicon and simulation. In DATE, pages 1373-1376. IEEE, 2010. [ bib \| publisher ]
	Nuno Alves, Kundan Nepal, Jennifer Dworak, and R. Iris Bahar. Improving the testability and reliability of sequential circuits with invariant logic. In R. Iris Bahar, Fabrizio Lombardi, David Atienza, and Erik Brunvand, editors, ACM Great Lakes Symposium on VLSI, pages 131-134. ACM, 2010. [ bib \| publisher ]
	Yiwen Shi, Wan-Chan Hu, and Jennifer Dworak. Too many faults, too little time on creating test sets for enhanced detection of highly critical faults and defects. In VTS, pages 319-324. IEEE Computer Society, 2010. [ bib \| publisher ]
	Peter LoPresti, Theodore W. Manikas, and Jeff Kohlbeck. An electrical engineering summer academy for middle school and high school students. IEEE Trans. Education, 53(1):18-25, 2010. [ bib \| paper \| publisher ]
	Tyler Moore. The economics of cybersecurity: Principles and policy options. International Journal of Critical Infrastructure Protection, 3(3-4):103 - 117, 2010. [ bib \| DOI \| paper \| publisher ]
	Tyler Moore. The economics of cybersecurity: Principles and policy options. In Proceedings of a Workshop on Deterring Cyberattacks: Informing Strategies and Developing Options for U.S. Policy. The National Academies Press, 2010. [ bib \| publisher ]
	Tyler Moore, Allan Friedman, and Ariel D. Procaccia. Would a 'cyber warrior' protect us: exploring trade-offs between attack and defense of information systems. In Angelos D. Keromytis, Sean Peisert, Richard Ford, and Carrie Gates, editors, NSPW, pages 85-94. ACM, 2010. [ bib \| paper \| publisher ]
	Rainer Böhme and Tyler Moore. The iterated weakest link. IEEE Security & Privacy, 8(1):53-55, 2010. [ bib \| paper \| publisher ]
	Tal Moran and Tyler Moore. The phish-market protocol: Secure sharing between competitors. IEEE Security & Privacy, 8(4):40-45, 2010. [ bib \| paper \| publisher ]
	Tal Moran and Tyler Moore. The phish-market protocol: Securely sharing attack data between competitors. In Radu Sion, editor, Financial Cryptography, volume 6052 of Lecture Notes in Computer Science, pages 222-237. Springer, 2010. [ bib \| paper \| publisher \| presentation ]
	Tyler Moore and Benjamin Edelman. Measuring the perpetrators and funders of typosquatting. In Radu Sion, editor, Financial Cryptography, volume 6052 of Lecture Notes in Computer Science, pages 175-191. Springer, 2010. [ bib \| paper \| publisher \| presentation ]
	Thomas H. Morris and V. S. S. Nair. Private computing on public platforms: portable application security. Wireless Communications and Mobile Computing, 10(7):942-958, 2010. [ bib \| publisher ]
	Saeed Abu-Nimeh and Suku Nair. Circumventing security toolbars and phishing filters via rogue wireless access points. Wireless Communications and Mobile Computing, 10(8):1128-1139, 2010. [ bib \| publisher ]
	Paul Krier, Sai Seshabhattar, Jason Pereira, Daniel W. Engels, and Suku Nair. Lightweight key agreement with key chaining. In MASS, pages 594-599. IEEE, 2010. [ bib \| publisher ]
	Lun Li and Mitchell A. Thornton. Digital System Verification: A Combined Formal Methods and Simulation Framework. Synthesis Lectures on Digital Circuits and Systems. Morgan & Claypool Publishers, 2010. [ bib \| publisher ]
	Steven F. Barrett and Mitchell A. Thornton. To PE or not to PE: the sequel. Computing in Science and Engineering, 12(4):62-65, 2010. [ bib \| paper \| publisher ]
	Satyendra R. Datla and Mitchell A. Thornton. Quaternary voltage-mode logic cells and fixed-point multiplication circuits. In ISMVL, pages 128-133. IEEE Computer Society, May 2010. [ bib \| paper \| publisher ]

2009

	Nuno Alves, Kundan Nepal, Jennifer Dworak, and R. Iris Bahar. Detecting errors using multi-cycle invariance information. In DATE, pages 791-796. IEEE, 2009. [ bib \| publisher ]
	Nuno Alves, Jennifer Dworak, R. Iris Bahar, and Kundan Nepal. Compacting test vector sets via strategic use of implications. In ICCAD, pages 83-88. IEEE, 2009. [ bib \| publisher ]
	Tyler Moore, Richard Clayton, and Ross Anderson. The economics of online crime. Journal of Economic Perspectives, 23(3):3-20, Summer 2009. [ bib \| paper \| publisher ]
	Rainer Böhme and Tyler Moore. The iterated weakest link - a model of adaptive security investment. In WEIS, 2009. [ bib \| paper \| publisher \| presentation ]
	Tyler Moore, Richard Clayton, and Henry Stern. Temporal correlations between spam and phishing websites. In Proceedings of the 2nd USENIX conference on Large-scale exploits and emergent threats: botnets, spyware, worms, and more, LEET'09, Berkeley, CA, USA, 2009. USENIX Association. [ bib \| paper \| publisher \| presentation ]
	Tyler Moore and Richard Clayton. Evil searching: Compromise and recompromise of internet hosts for phishing. In Roger Dingledine and Philippe Golle, editors, Financial Cryptography, volume 5628 of Lecture Notes in Computer Science, pages 256-272. Springer, 2009. [ bib \| paper \| publisher \| presentation ]
	Tyler Moore and Richard Clayton. The impact of incentives on notice and take-down. In M.E. Johnson, editor, Managing Information Risk and the Economics of Security, pages 199-223. Springer, 2009. [ bib \| paper \| publisher \| presentation ]
	Ross Anderson, Rainer Böhme, Richard Clayton, and Tyler Moore. Security economics and European policy. In M.E. Johnson, editor, Managing Information Risk and the Economics of Security, pages 55-80. Springer, 2009. [ bib \| DOI \| paper \| publisher ]
	Saeed Abu-Nimeh, Dario Nappa, Xinlei Wang, and Suku Nair. Distributed phishing detection by applying variable selection using bayesian additive regression trees. In ICC, pages 1-5. IEEE, 2009. [ bib \| publisher ]
	Thomas H. Morris and V. S. S. Nair. Encryption key protection for private computing on public platforms. In PerCom Workshops, pages 1-6. IEEE Computer Society, 2009. [ bib \| publisher ]
	David Y. Feinstein, Mitchell A. Thornton, and D. Michael Miller. Minimization of quantum multiple-valued decision diagrams using data structure metrics. Multiple-Valued Logic and Soft Computing, 15(4):361-377, 2009. [ bib \| paper \| publisher ]
	Alex Fit-Florea, Lun Li, Mitchell A. Thornton, and David W. Matula. A discrete logarithm number system for integer arithmetic modulo 2^k: Algorithms and lookup structures. IEEE Trans. Computers, 58(2):163-174, 2009. [ bib \| paper \| publisher ]
	Satyendra R. Datla, Mitchell A. Thornton, and David W. Matula. A low power high performance radix-4 approximate squaring circuit. In ASAP, pages 91-97. IEEE, 2009. [ bib \| paper \| publisher ]
	David Y. Feinstein and Mitchell A. Thornton. On the guidance of reversible logic synthesis by dynamic variable reordering. In ISMVL, pages 132-138. IEEE Computer Society, 2009. [ bib \| paper \| publisher ]
	Satyendra R. Datla, Mitchell A. Thornton, Luther Hendrix, and Dave Henderson. Quaternary addition circuits based on SUSLOC voltage-mode cells and modeling with systemverilog. In ISMVL, pages 256-261. IEEE Computer Society, 2009. [ bib \| paper \| publisher ]

2008

	Yiwen Shi, Kellie DiPalma, and Jennifer Dworak. Efficient determination of fault criticality for manufacturing test set optimization. In Cristiana Bolchini, Yong-Bin Kim, Dimitris Gizopoulos, and Mohammad Tehranipoor, editors, DFT, pages 403-411. IEEE Computer Society, 2008. [ bib \| publisher ]
	Kundan Nepal, Nuno Alves, Jennifer Dworak, and R. Iris Bahar. Using implications for online error detection. In Douglas Young and Nur A. Touba, editors, ITC, pages 1-10. IEEE, 2008. [ bib \| publisher ]
	Elif Alpaslan, Yu Huang, Xijiang Lin, Wu-Tung Cheng, and Jennifer Dworak. Reducing scan shift power at rtl. In VTS, pages 139-146. IEEE Computer Society, 2008. [ bib \| publisher ]
	Theodore W. Manikas and Dale Teeters. Multiple-valued logic memory system design using nanoscale electrochemical cells. In ISMVL, pages 197-201. IEEE Computer Society, 2008. [ bib \| paper \| publisher ]
	Tyler Moore and Richard Clayton. The consequence of non-cooperation in the fight against phishing. In APWG eCrime Researchers Summit, pages 1-14. IEEE, 2008. [ bib \| paper \| publisher \| presentation ]
	Ross Anderson, Rainer Böhme, Richard Clayton, and Tyler Moore. Security economics and European policy. In Norbert Pohlmann, Helmut Reimer, and Wolfgang Schneider, editors, ISSE, pages 57-76. Vieweg+Teubner, 2008. [ bib \| publisher ]
	Tyler Moore and Richard Clayton. Evaluating the wisdom of crowds in assessing phishing websites. In Gene Tsudik, editor, Financial Cryptography, volume 5143 of Lecture Notes in Computer Science, pages 16-30. Springer, 2008. [ bib \| paper \| publisher \| presentation ]
	Tyler Moore, Maxim Raya, Jolyon Clulow, Panagiotis Papadimitratos, Ross Anderson, and Jean-Pierre Hubaux. Fast exclusion of errant devices from vehicular networks. In SECON, pages 135-143. IEEE, 2008. [ bib \| paper \| publisher ]
	Padmaraj M. V. Nair, Suku Nair, Marco F. Marchetti, Girish Chiruvolu, and Maher Ali. Bandwidth sensitive fast failure recovery scheme for metro ethernet. Computer Networks, 52(8):1603-1616, 2008. [ bib \| publisher ]
	Thomas H. Morris and V. S. S. Nair. Privacy protected elf for private computing on public platforms. In ARES, pages 452-457. IEEE Computer Society, 2008. [ bib \| publisher ]
	Saeed Abu-Nimeh, Dario Nappa, Xinlei Wang, and Suku Nair. Bayesian additive regression trees-based spam detection for enhanced email privacy. In ARES, pages 1044-1051. IEEE Computer Society, 2008. [ bib \| publisher ]
	Saeed Abu-Nimeh and Suku Nair. Bypassing security toolbars and phishing filters via dns poisoning. In GLOBECOM, pages 2001-2006. IEEE, 2008. [ bib \| publisher ]
	Thomas H. Morris and V. S. S. Nair. Secure context switch for private computing on public platforms. In GLOBECOM, pages 2159-2163. IEEE, 2008. [ bib \| publisher ]
	Chad M. Lawler, Michael A. Harper, Stephen A. Szygenda, and Mitchell A. Thornton. Components of disaster-tolerant computing: Analysis of disaster recovery, IT application downtime and executive visibility. IJBIS, 3(3):317-331, 2008. [ bib \| paper \| publisher ]
	David Y. Feinstein, Mitchell A. Thornton, and D. Michael Miller. Partially redundant logic detection using symbolic equivalence checking in reversible and irreversible logic circuits. In DATE, pages 1378-1381. IEEE, 2008. [ bib \| paper \| publisher ]
	David Y. Feinstein, Mitchell A. Thornton, and D. Michael Miller. On the data structure metrics of quantum multiple-valued decision diagrams. In ISMVL, pages 138-143. IEEE Computer Society, 2008. [ bib \| paper \| publisher ]
	Mitchell A. Thornton, David W. Matula, Laura Spenner, and D. Michael Miller. Quantum logic implementation of unary arithmetic operations. In ISMVL, pages 202-207. IEEE Computer Society, 2008. [ bib \| paper \| publisher ]

2007

	Jennifer Dworak. Which defects are most critical? optimizing test sets to minimize failures due to test escapes. In Jill Sibert and Janusz Rajski, editors, ITC, pages 1-10. IEEE, 2007. [ bib \| publisher ]
	Jennifer Dworak. An analysis of defect detection for weighted random patterns generated with observation/excitation-aware partial fault targeting. In VTS, pages 205-210. IEEE Computer Society, 2007. [ bib \| publisher ]
	Ross Anderson and Tyler Moore. Information security economics - and beyond. In Alfred Menezes, editor, CRYPTO, volume 4622 of Lecture Notes in Computer Science, pages 68-91. Springer, 2007. [ bib \| paper \| publisher ]
	Ross Anderson, Tyler Moore, Shishir Nagaraja, and Andy Ozment. Incentives and information security. In Noam Nisan, Tim Roughgarden, Eva Tardos, and Vijay V. Vazirani, editors, Algorithmic Game Theory, pages 633-649. Cambridge University Press, New York, NY, USA, 2007. [ bib ]
	Tyler Moore and Richard Clayton. Examining the impact of website take-down on phishing. In Lorrie Faith Cranor, editor, APWG eCrime Researchers Summit, volume 269 of ACM International Conference Proceeding Series, pages 1-13. ACM, 2007. [ bib \| paper \| publisher \| presentation ]
	Tyler Moore, Jolyon Clulow, Shishir Nagaraja, and Ross Anderson. New strategies for revocation in ad-hoc networks. In Frank Stajano, Catherine Meadows, Srdjan Capkun, and Tyler Moore, editors, ESAS, volume 4572 of Lecture Notes in Computer Science, pages 232-246. Springer, 2007. [ bib \| paper \| publisher \| presentation ]
	Tyler Moore and Jolyon Clulow. Secure path-key revocation for symmetric key pre-distribution schemes in sensor networks. In Hein S. Venter, Mariki M. Eloff, Les Labuschagne, Jan H. P. Eloff, and Rossouw von Solms, editors, SEC, volume 232 of IFIP, pages 157-168. Springer, 2007. [ bib \| paper \| publisher \| presentation ]
	Saeed Abu-Nimeh, Dario Nappa, Xinlei Wang, and Suku Nair. A comparison of machine learning techniques for phishing detection. In Lorrie Faith Cranor, editor, eCrime Researchers Summit, volume 269 of ACM International Conference Proceeding Series, pages 60-69. ACM, 2007. [ bib \| publisher ]
	Thomas H. Morris and V. S. S. Nair. Pcpp: On remote host assessment via naive bayesian classification. In IPDPS, pages 1-8. IEEE, 2007. [ bib \| publisher ]
	D. Michael Miller and Mitchell A. Thornton. Multiple Valued Logic: Concepts and Representations. Synthesis Lectures on Digital Circuits and Systems. Morgan & Claypool Publishers, 2007. [ bib \| paper \| publisher \| presentation ]
	D. Michael Miller, David Y. Feinstein, and Mitchell A. Thornton. Qmdd minimization using sifting for variable reordering. Multiple-Valued Logic and Soft Computing, 13(4-6):537-552, 2007. [ bib \| paper \| publisher ]
	Lun Li, Frank P. Coyle, and Mitchell A. Thornton. UML to SystemVerilog synthesisfor embedded system models with support for assertion generation. In FDL, pages 261-267. ECSI, September 2007. [ bib \| paper \| publisher ]
	David Y. Feinstein, V. S. S. Nair, and Mitchell A. Thornton. Advances in quantum computing fault tolerance and testing. In HASE, pages 369-370. IEEE Computer Society, November 2007. [ bib \| paper \| publisher ]
	Chad M. Lawler, Michael A. Harper, and Mitchell A. Thornton. Components and analysis of disaster tolerant computing. In IPCCC, pages 380-386. IEEE Computer Society, April 2007. [ bib \| paper \| publisher ]
	D. Michael Miller, David Y. Feinstein, and Mitchell A. Thornton. Variable reordering and sifting for QMDD. In ISMVL, page 10. IEEE Computer Society, May 2007. [ bib \| paper \| publisher ]
	Mahsan Amoui, Daniel Große, Mitchell A. Thornton, and Rolf Drechsler. Evaluation of toggle coverage for MVL circuits specified in the SystemVerilog HDL. In ISMVL, page 50. IEEE Computer Society, May 2007. [ bib \| paper \| publisher ]

2006

	Vladimir Stojanovic, R. Iris Bahar, Jennifer Dworak, and Richard Weiss. A cost-effective implementation of an ecc-protected instruction queue for out-of-order microprocessors. In Ellen Sentovich, editor, DAC, pages 705-708. ACM, 2006. [ bib \| publisher ]
	Ross Anderson and Tyler Moore. The economics of information security. Science, 314(5799):610-613, 2006. [ bib \| DOI \| paper \| publisher ]
	Jolyon Clulow and Tyler Moore. Suicide for the common good: a new strategy for credential revocation in self-organizing systems. Operating Systems Review, 40(3):18-21, 2006. [ bib \| publisher ]
	Jolyon Clulow, Gerhard P. Hancke, Markus G. Kuhn, and Tyler Moore. So near and yet so far: Distance-bounding attacks in wireless networks. In Levente Buttyán, Virgil D. Gligor, and Dirk Westhoff, editors, ESAS, volume 4357 of Lecture Notes in Computer Science, pages 83-97. Springer, 2006. [ bib \| paper \| publisher \| presentation ]
	Tyler Moore. A collusion attack on pairwise key predistribution schemes for distributed sensor networks. In PerCom Workshops, pages 251-255. IEEE Computer Society, 2006. [ bib \| paper \| publisher \| presentation ]
	Saeed Abu-Nimeh, Suku Nair, and Marco F. Marchetti. An experimental and industrial experience: Avoiding denial of service via memory profiling. In AICCSA, pages 151-158. IEEE, 2006. [ bib \| publisher ]
	Saeed Abu-Nimeh, Suku Nair, and Marco F. Marchetti. Avoiding denial of service via stress testing. In AICCSA, pages 300-307. IEEE, 2006. [ bib \| publisher ]
	George Deprez, M. Padmaraj, and Suku Nair. Distributed fault management protocol for heterogeneous networks. In AICCSA, pages 744-747. IEEE, 2006. [ bib \| publisher ]
	Maher Ali, Girish Chiruvolu, An Ge, M. Padmaraj, Suku Nair, and Marco F. Marchetti. Differentiated survivability in ethernet-based man/wan. In AICCSA, pages 906-910. IEEE, 2006. [ bib \| publisher ]
	Padmaraj M. V. Nair, Suku Nair, Marco F. Marchetti, Girish Chiruvolu, and Maher Ali. Distributed restoration method for metro ethernet. In ICN/ICONS/MCL, page 94. IEEE Computer Society, 2006. [ bib \| publisher ]
	Robert B. Reese and Mitchell A. Thornton. Introduction to Logic Synthesis using Verilog HDL. Synthesis Lectures on Digital Circuits and Systems. Morgan & Claypool Publishers, 2006. [ bib \| publisher ]
	Lun Li, Alex Fit-Florea, Mitchell A. Thornton, and David W. Matula. Performance evaluation of a novel direct table lookup method and architecture with application to 16-bit integer functions. In ASAP, pages 99-104. IEEE Computer Society, September 2006. [ bib \| paper \| publisher ]
	Lun Li, Mitchell A. Thornton, and David W. Matula. A digit serial algorithm for the integer power operation. In Gang Qu, Yehea I. Ismail, Narayanan Vijaykrishnan, and Hai Zhou, editors, ACM Great Lakes Symposium on VLSI, pages 302-307. ACM, 2006. [ bib \| paper \| publisher ]
	D. Michael Miller and Mitchell A. Thornton. QMDD: A decision diagram structure for reversible and quantum circuits. In ISMVL, page 30. IEEE Computer Society, 2006. [ bib \| paper \| publisher ]
	Lun Li, Mitchell A. Thornton, and Marek A. Perkowski. A quantum CAD accelerator based on Grover's algorithm for finding the minimum fixed polarity Reed-Muller form. In ISMVL, page 33. IEEE Computer Society, 2006. [ bib \| paper \| publisher ]

2005

	Jennifer Dworak. An investigation of excitation balance and additional mandatory conditions for the diagnosis of fortuitously detected defects. In Magdy S. Abadir and Li-C. Wang, editors, MTV, pages 48-54. IEEE Computer Society, 2005. [ bib \| publisher ]
	M. Padmaraj, Suku Nair, Marco F. Marchetti, Girish Chiruvolu, and Maher Ali. Traffic engineering in enterprise ethernet with multiple spanning tree regions. In ICW/ICHSN/ICMCS/SENET, pages 261-266. IEEE Computer Society, 2005. [ bib \| publisher ]
	Robert B. Reese, Mitchell A. Thornton, and Cherrice Traver. A coarse-grain phased logic CPU. IEEE Trans. Computers, 54(7):788-799, 2005. [ bib \| paper \| publisher ]
	Robert B. Reese, Mitchell A. Thornton, Cherrice Traver, and David Hemmendinger. Early evaluation for performance enhancement in phased logic. IEEE Trans. on CAD of Integrated Circuits and Systems, 24(4):532-550, 2005. [ bib \| paper \| publisher ]
	David W. Matula, Alex Fit-Florea, and Mitchell Aaron Thornton. Table lookup structures for multiplicative inverses modulo 2^k. In IEEE Symposium on Computer Arithmetic, pages 156-163. IEEE Computer Society, 2005. [ bib \| paper \| publisher ]
	Mitchell A. Thornton. The Karhunen-Loève transform of discrete MVL functions. In ISMVL, pages 194-199. IEEE Computer Society, May 2005. [ bib \| paper \| publisher ]
	Lun Li, Alex Fit-Florea, Mitchell A. Thornton, and David W. Matula. Hardware implementation of an additive bit-serial algorithm for the discrete logarithm modulo 2^k. In ISVLSI, pages 130-135. IEEE Computer Society, 2005. [ bib \| paper \| publisher ]
	Frank P. Coyle and Mitchell A. Thornton. A framework and process for curricular integration and innovation using project based interdisciplinary teams. In ITCC, pages 432-435. IEEE Computer Society, April 2005. [ bib \| paper \| publisher ]

2004

	Jennifer Dworak, Brad Cobb, James Wingfield, and M. Ray Mercer. Balanced excitation and its effect on the fortuitous detection of dynamic defects. In DATE, pages 1066-1071. IEEE Computer Society, 2004. [ bib \| publisher ]
	Jennifer Dworak, James Wingfield, and M. Ray Mercer. A preliminary investigation of observation diversity for enhancing fortuitous detection of defects. In DFT, pages 460-468. IEEE Computer Society, 2004. [ bib \| publisher ]
	Jennifer Dworak, David Dorsey, Amy Wang, and M. Ray Mercer. Excitation, observation, and elf-md: Optimization criteria for high quality test sets. In VTS, pages 9-15. IEEE Computer Society, 2004. [ bib \| publisher ]
	Kenneth Fazel, Lun Li, Mitchell A. Thornton, Robert B. Reese, and Cherrice Traver. Performance enhancement in phased logic circuits using automatic slack-matching buffer insertion. In David Garrett, John Lach, and Charles A. Zukowski, editors, ACM Great Lakes Symposium on VLSI, pages 413-416. ACM, 2004. [ bib \| paper \| publisher ]
	Ralph Marczynski, Mitchell A. Thornton, and Stephen A. Szygenda. Test vector generation and classification using fsm traversals. In ISCAS, pages 309-312, 2004. [ bib \| paper ]
	Lun Li, Mitchell A. Thornton, and Stephen A. Szygenda. A genetic approach for conjunction scheduling in symbolic equivalence checking. In ISVLSI, pages 32-38. IEEE Computer Society, 2004. [ bib \| paper \| publisher ]