CS Department Publications - Computer Science
CS Department Faculty Publications
Books & Chapters
Tallinn Manual on the International Law Applicable to Cyber Warfare
James Bret Michael, Member of the Editorial Committee
The product of a three-year project by twenty renowned international law scholars and practitioners, the Tallinn Manual identifies the international law applicable to cyber warfare and sets out ninety-five 'black-letter rules' governing such conflicts. It addresses topics including sovereignty, State responsibility, the jus ad bellum, international humanitarian law, and the law of neutrality. An extensive commentary accompanies each rule, which sets forth the rule's basis in treaty and customary law, explains how the group of experts interpreted applicable norms in the cyber context, and outlines any disagreements within the group as to each rule's application.
Great Principles of Computing
Computing is usually viewed as a technology field that advances at the breakneck speed of Moore's Law. If we turn away even for a moment, we might miss a game-changing technological breakthrough or an earthshaking theoretical development. This book takes a different perspective, presenting computing as a science governed by fundamental principles that span all technologies. Computer science is a science of information processes. We need a new language to describe the science, and in this book Peter Denning and Craig Martell offer the great principles framework as just such a language. This is a book about the whole of computing -- its algorithms, architectures, and designs.
Handbook of FPGA Design Security
The purpose of this book is to provide a practical approach to managing security in FPGA designs for researchers and practitioners in the electronic design automation (EDA) and FPGA communities, including corporations, industrial and government research labs, and academics. This book combines theoretical underpinnings with a practical design approach and worked examples for combating real world threats. To address the spectrum of lifecycle and operational threats against FPGA systems, a holistic view of FPGA security is presented, from formal top level speci?cation to low level policy enforcement mechanisms, which integrates recent advances in the fields of computer security theory, languages, compilers, and hardware.
2021 CS Department Publications
R. D. Riehle and J. B. Michael, “Improving the Trustworthiness of Software through Rigorous Data Type Design,” Computer, vol. 54, no. 1, pp. 89 - 95, Jan. 2021.
2020 CS Department Publications
Brett Rajchel, John V. Monaco, Gurminder Singh, Angela Hu, Jarrod Shingleton and Thomas Anderson. Temporal Behavior in Network Traffic as a Basis for Insider Threat Detection. 2020 IEEE Symposium Series on Computational Intelligence (SSCI 2020).
Alejandro Acien, John V. Monaco, Aythami Morales, Ruben Vera-Rodriguez, Julian Fierrez. TypeNet: Scaling up Keystroke Biometrics. 2020 International Joint Conference on Biometrics (IJCB 2020).
Aythami Morales, Alejandro Acien, Julian Fierrez, John V. Monaco, Ruben Tolosana, Ruben Vera-Rodriguez, Javier Ortega-Garcia. Keystroke Biometrics in Response to Fake News Propagation in a Global Pandemic. 2020 IEEE Annual Computers, Software, and Applications Conference (COMPSAC 2020).
John V. Monaco, Ryad B Benosman. General Purpose Computation with Spiking Neural Networks: Programming, Design Principles, and Patterns. 2020 Neuro-inspired Computational Elements Workshop (NICE 2020).
John V. Monaco. Bug or Feature? Covert Impairments to Human Computer Interaction. 2020 ACM Conference on Human Factors in Computing Systems (CHI 2020).
Kroll, Joshua A. “Accountability in Computer Systems” In Oxford Handbook of the Ethics of AI, Markus Dubber, Frank Pasquale, and Sunit Das, Eds. Oxford University Press, 2020.
Matthew Timmerman, Amela Sadagic, and Cynthia E. Irvine, “Peering Under the Hull: Enhanced Decision Making via an Augmented Environment.” IEEE Conference on Virtual Reality and 3D User Interfaces - IEEE VR 2020, Atlanta, GA, USA, March 2020, DOI: 10.1109/VR46266.2020.00093
Kayla N. Afanador and Cynthia E. Irvine, Representativeness in the Benchmark for Vulnerability Analysis Tools (B-VAT). In 13th USENIX Workshop on Cyber Security Experimentation and Test (CSET 20). USENIX Association. https://www. Usenix.org/conference/cset20/presentation/afanador
L. E. Peitso and J. B. Michael, “The Promise of Interactive Shared Augmented Reality,” Computer, vol. 53, no. 1, Jan. 2020, pp. 45-52
D. Drusinsky and J. B. Michael, “Obtaining Trust in Executable Derivatives Using Crowdsourced Critiques with Blind Signatures,” Computer, vol. 53, no. 4, April 2020, pp. 51-56
J. B. Michael, G. W. Dinolt, and D. Drusinsky, “Open Questions in Formal Methods,” Computer, vol. 53, no. 5, May 2020, pp. 81-84
J. B. Michael, R. Kuhn, and J. Voas, “Cyberthreats in 2025,” Computer, vol 53, no. 6, June 2020, pp. 16-27.
J. B. Michael, R. Kuhn, and J. Voas, “Security or Privacy: Can You Have Both?” Computer, vol. 53, no. 9, Sept. 2020, pp. 20-30.
S. Miller, C. Blais, and J. Green, Modeling the Operational Value of Data Fusion on ASW and Other Missions, Technical Report NPS-IS-20-004, Naval Postgraduate School, Oct. 2020.
P. Denning and D. Denning. Dilemmas of artificial intelligence. Communications of ACM 63, 3 (March 2020), 26-28.
P. Denning. Technology Adoption (with Ted Lewis). Communications of ACM 63, 6 (June 2020), 27-29.
P. Denning. Avalanches make us all innovators. Communications of ACM 63, 9 (September 2020), 32-34.
P. Denning. Navigating in real-time environments (with Jim Selman). Communications of ACM 63, 12 (December 2020), 26-28.
2019 CS Department Publications
T. D. Nguyen, S. C. Austin, and C. E. Irvine, “A strategy for security testing industrial firewalls,” in Proceedings of the Fifth Annual Industrial Control System Security (ICSS) Workshop, ICSS, (New York, NY, USA), pp. 38–47, Association for Computing Machinery, December 2019.
P. Denning and Ted Lewis. Uncertainty. In Best Writings in Mathematics 2020, (Mircea Pitici, ed.) Princeton University Press 2020. Original paper in Communications of ACM 62, 12 (Dec 2019), 26-28.
Luckie, Matthew, Robert Beverly, Ryan Koga, Ken Keys, Joshua A. Kroll, and K. Claffy. "Network hygiene, incentives, and regulation: deployment of source address validation in the Internet." In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, pp. 465-480. 2019.