Matt Bishop

Sean Whalen, Sean Peisert, Matt Bishop: Multiclass classification of distributed memory parallel computations. Pattern Recognition Letters 34(3): 322-329 (2013)

Kara L. Nance, Matt Bishop, Amelia Phillips: Introduction to Digital Forensics - Education, Research, and Practice Minitrack. HICSS 2013: 4879

Blair Taylor, Matt Bishop, Elizabeth K. Hawthorne, Kara L. Nance: Teaching secure coding: the myths and the realities. SIGCSE 2013: 281-282

Matt Bishop, Blair Taylor, Elizabeth K. Hawthorne, Diana Burley, Siddharth Kaza: Introducing secure coding in CS0 and CS1 (abstract only). SIGCSE 2013: 761

Matt Bishop, Sean Peisert: Security and Elections. IEEE Security & Privacy 10(5): 64-67 (2012)

Sean Whalen, Sophie Engle, Sean Peisert, Matt Bishop: Network-theoretic classification of parallel computation patterns. IJHPCA 26(2): 159-169 (2012)

Matt Bishop, Sophie Engle, Damien Howard, Sean Whalen: A Taxonomy of Buffer Overflow Characteristics. IEEE Trans. Dependable Sec. Comput. 9(3): 305-317 (2012)

Brian Hay, Kara L. Nance, Matt Bishop, Lucas McDaniel: Are Your Papers in Order? Developing and Enforcing Multi-tenancy and Migration Policies in the Cloud. HICSS 2012: 5473-5479

Sean Peisert, Edward B. Talbot, Matt Bishop: Turtles all the way down: a clean-slate, ground-up, first-principles approach to secure systems. NSPW 2012: 15-26

Blair Taylor, Matt Bishop, Diana Burley, Steve Cooper, Ron Dodge, Robert Seacord: Teaching secure coding: report from summit on education in secure software. SIGCSE 2012: 581-582

Matt Bishop: Teaching Security Stealthily. IEEE Security & Privacy 9(2): 69-71 (2011)

Matt Bishop, Brian Hay, Kara L. Nance: Applying Formal Methods Informally. HICSS 2011: 1-8

Brian Hay, Kara L. Nance, Matt Bishop: Storm Clouds Rising: Security Challenges for IaaS Cloud Computing. HICSS 2011: 1-7

Marco Ramilli, Matt Bishop, Shining Sun: Multiprocess malware. MALWARE 2011: 8-13

Matt Bishop, Richard Ford, Marco Ramilli: Results-oriented security. MALWARE 2011: 42-49

Matt Bishop, Marco Carvalho, Richard Ford, Liam M. Mayron: Resilience is more than availability. NSPW 2011: 95-104

Michael Clifford, Matt Bishop: Trust of medical devices, applications, and users in pervasive healthcare. PETRA 2011: 54

Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop (Eds.): Insider Threats in Cyber Security. Advances in Information Security 49, Springer 2010, isbn 978-1-4419-7132-6

Matt Bishop: A Clinic for "Secure" Programming. IEEE Security & Privacy 8(2): 54-56 (2010)

Edward B. Talbot, Deborah A. Frincke, Matt Bishop: Demythifying Cybersecurity. IEEE Security & Privacy 8(3): 56-59 (2010)

Matt Bishop: Technology, Training, and Transformation. IEEE Security & Privacy 8(5): 72-75 (2010)

Marco Ramilli, Matt Bishop: Multi-stage delivery of malware. MALWARE 2010: 91-97

Matt Bishop, Justin Cummins, Sean Peisert, Anhad Singh, Bhume Bhumiratana, Deborah A. Agarwal, Deborah A. Frincke, Michael Hogarth: Relationships and data sanitization: a study in scarlet. NSPW 2010: 151-164

Carrie Gates, Matt Bishop: The security and privacy implications of using social networks to deliver healthcare. PETRA 2010

Sean Whalen, Matt Bishop, James P. Crutchfield: Hidden Markov Models for Automated Protocol Learning. SecureComm 2010: 415-428

Peter G. Neumann, Matt Bishop, Sean Peisert, Marv Schaefer: Reflections on the 30th Anniversary of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy 2010: 3-13

Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop: Aspects of Insider Threats. Insider Threats in Cyber Security 2010: 1-15

Matt Bishop, Sophie Engle, Deborah A. Frincke, Carrie Gates, Frank L. Greitzer, Sean Peisert, Sean Whalen: A Risk Management Approach to the "Insider Threat". Insider Threats in Cyber Security 2010: 115-137

Brian Hay, Matt Bishop, Kara L. Nance: Live Analysis: Progress and Challenges. IEEE Security & Privacy 7(2): 30-37 (2009)

Ryan W. Gardner, Matt Bishop, Tadayoshi Kohno: Are Patched Machines Really Fixed? IEEE Security & Privacy 7(5): 82-85 (2009)

Stephen Cooper, Christine Nickell, Victor P. Piotrowski Jr., Brenda Oldfield, Ali Abdallah, Matt Bishop, Bill Caelli, Melissa Dark, Elizabeth K. Hawthorne, Lance J. Hoffman, Lance C. Pérez, Charles Pfleeger, Richard A. Raines, Corey D. Schou, Joel Brynielsson: An exploration of the current state of information assurance education. SIGCSE Bulletin 41(4): 109-125 (2009)

Kara L. Nance, Brian Hay, Matt Bishop: Investigating the Implications of Virtual Machine Introspection for Digital Forensics. ARES 2009: 1024-1029

Matt Bishop: Reflections on UNIX Vulnerabilities. ACSAC 2009: 161-184

Matt Bishop, Sophie Engle, Sean Peisert, Sean Whalen, Carrie Gates: Case Studies of an Insider Framework. HICSS 2009: 1-10

Kara L. Nance, Brian Hay, Matt Bishop: Digital Forensics: Defining a Research Agenda. HICSS 2009: 1-6

Sean Peisert, Matt Bishop, Alec Yasinsac: Vote Selling, Voter Anonymity, and Forensic Logging of Electronic Voting Machines. HICSS 2009: 1-10

Matt Bishop, Carrie Gates, Jeffrey Hunker: The sisterhood of the traveling packets. NSPW 2009: 59-70

Sean Peisert, Matt Bishop, Laura Corriss, Steven J. Greenwald: Quis Custodiet ipsos Custodes?: a new paradigm for analyzing security paradigms with appreciation to the Roman poet Juvenal. NSPW 2009: 71-84

Bhume Bhumiratana, Matt Bishop: Privacy aware data sharing: balancing the usability and privacy of datasets. PETRA 2009

Zhengyi Le, Matt Bishop, Fillia Makedon: Strong mobile device protection from loss and capture. PETRA 2009

Alec Yasinsac, Matt Bishop: The Dynamics of Counting and Recounting Votes. IEEE Security & Privacy 6(3): 22-29 (2008)

Kara L. Nance, Matt Bishop, Brian Hay: Virtual Machine Introspection: Observation or Interference? IEEE Security & Privacy 6(5): 32-37 (2008)

Matt Bishop, Deborah A. Frincke: Information Assurance Education: A Work In Progress. IEEE Security & Privacy 6(5): 54-57 (2008)

Alec Yasinsac, Matt Bishop: Of Paper Trails and Voter Receipts. HICSS 2008: 487

Matt Bishop, Sophie Engle, Sean Peisert, Sean Whalen, Carrie Gates: We have met the enemy and he is us. NSPW 2008: 1-12

Sean Peisert, Matt Bishop, Keith Marzullo: Computer Forensics in Forensis. SADFE 2008: 102-122

David P. Gilliam, Matt Bishop: Twelfth Securities Technologies (ST) Workshop Report. WETICE 2008: 255-256

Matt Bishop, Christian W. Probst, Angelos D. Keromytis, Anil Somayaji (Eds.): Proceedings of the 2008 Workshop on New Security Paradigms, Lake Tahoe, CA, USA, September 22-25, 2008. ACM 2008, isbn 978-1-60558-341-9

Earl T. Barr, Matt Bishop, Mark Gondree: Fixing federal e-voting standards. Commun. ACM 50(3): 19-24 (2007)

Matt Bishop, David Wagner: Risks of e-voting. Commun. ACM 50(11): 120 (2007)

Matt Bishop, Deborah A. Frincke: Achieving Learning Objectives through E-Voting Case Studies. IEEE Security & Privacy 5(1): 53-56 (2007)

Sean Peisert, Matt Bishop: I Am a Scientist, Not a Philosopher! IEEE Security & Privacy 5(4): 48-51 (2007)

Matt Bishop: About Penetration Testing. IEEE Security & Privacy 5(6): 84-87 (2007)

Sean Peisert, Matt Bishop, Sidney Karin, Keith Marzullo: Analysis of Computer Intrusions Using Sequences of Function Calls. IEEE Trans. Dependable Sec. Comput. 4(2): 137-150 (2007)

Jingmin Zhou, Mark Heckman, Brennen Reynolds, Adam Carlson, Matt Bishop: Modeling network intrusion detection alerts for correlation. ACM Trans. Inf. Syst. Secur. 10(1) (2007)

Matt Bishop: E-Voting as a Teaching Tool. World Conference on Information Security Education 2007: 17-24

Sean Peisert, Matt Bishop: How to Design Computer Security Experiments. World Conference on Information Security Education 2007: 141-148

Shiau-Huey Wang, Chinyang Henry Tseng, Karl N. Levitt, Matt Bishop: Cost-Sensitive Intrusion Responses for Mobile Ad Hoc Networks. RAID 2007: 127-145

Sean Peisert, Matt Bishop, Sidney Karin, Keith Marzullo: Toward Models for Forensic Analysis. SADFE 2007: 3-15

David P. Gilliam, Matt Bishop, Y. V. Ramana Reddy: ST Workshop Final Report. WETICE 2007: 387-388

Matt Bishop, Deborah A. Frincke: Who Owns Your Computer? IEEE Security & Privacy 4(2): 61-63 (2006)

Matt Bishop: Teaching context in information security. ACM Journal of Educational Resources in Computing 6(3) (2006)

Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Karl N. Levitt, Matt Bishop: Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs. DIMVA 2006: 1-16

Vicentiu Neagoe, Matt Bishop: Inconsistency in deception for defense. NSPW 2006: 31-38

Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt: Sanitization models and their limitations. NSPW 2006: 41-56

David P. Gilliam, Matt Bishop: Eleventh Securities Technologies (ST) Workshop Report. WETICE 2006: 305-306

Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt: Some Problems in Sanitizing Network Data. WETICE 2006: 307-312

David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog: Security Verification Techniques Applied to PatchLink COTS Software. WETICE 2006: 319-325

Matt Bishop, Deborah A. Frincke: A Human Endeavor: Lessons from Shakespeare and Beyond. IEEE Security & Privacy 3(4): 49-51 (2005)

Matt Bishop, Deborah A. Frincke: Teaching Secure Programming. IEEE Security & Privacy 3(5): 54-56 (2005)

Jingmin Zhou, Adam J. Carlson, Matt Bishop: Verify Results of Network Intrusion Alerts Using Lightweight Protocol Analysis. ACSAC 2005: 117-126

David P. Gilliam, John D. Powell, Matt Bishop: Application of Lightweight Formal Methods to Software Security. WETICE 2005: 160-165

Ruzena Bajcsy, Terry Benzel, Matt Bishop, Robert Braden, Carla E. Brodley, Sonia Fahmy, Sally Floyd, W. Hardaker, Anthony D. Joseph, George Kesidis, Karl N. Levitt, Robert Lindell, Peng Liu, David J. Miller, Russ Mundy, Cliford Neuman, Ron Ostrenga, Vern Paxson, Phillip A. Porras, Catherine Rosenberg, J. Doug Tygar, Shankar Sastry, Daniel F. Sterne, Shyhtsun Felix Wu: Cyber defense technology networking and evaluation. Commun. ACM 47(3): 58-61 (2004)

Matt Bishop, Deborah A. Frincke: Teaching Robust Programming. IEEE Security & Privacy 2(2): 54-57 (2004)

Deborah A. Frincke, Matt Bishop: Guarding the Castle Keep: Teaching with the Fortress Metaphor. IEEE Security & Privacy 2(3): 69-72 (2004)

Deborah A. Frincke, Matt Bishop: Back to School. IEEE Security & Privacy 2(4): 54-56 (2004)

Deborah A. Frincke, Matt Bishop: Joining the Security Education Community. IEEE Security & Privacy 2(5): 61-63 (2004)

Deborah A. Frincke, Matt Bishop: Academic Degrees and Professional Certification. IEEE Security & Privacy 2(6): 56-58 (2004)

Tom Walcott, Matt Bishop: Traducement: A model for record security. ACM Trans. Inf. Syst. Secur. 7(4): 576-590 (2004)

Matt Bishop, Bhume Bhumiratana, Rick Crawford, Karl N. Levitt: How to Sanitize Data. WETICE 2004: 217-222

Matt Bishop: What Is Computer Security? IEEE Security & Privacy 1(1): 67-69 (2003)

Michael Clifford, Daniel Faigin, Matt Bishop, Tasneem Brutch: Miracle Cures and Toner Cartridges: Finding Solutions to the Spam Problem. ACSAC 2003: 428-429

Matt Bishop: Panel: Teaching Undergraduate Information Assurance. World Conference on Information Security Education 2003: 169-171

Eric Haugh, Matt Bishop: Testing C Programs for Buffer Overflow Vulnerabilities. NDSS 2003

David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop: Addressing Software Security and Mitigations in the Life Cycle. SEW 2003: 201

David P. Gilliam, Thomas L. Wolfe, Joseph S. Sherif, Matt Bishop: Software Security Checklist for the Software Life Cycle. WETICE 2003: 243-248

Matt Bishop: Trends in academic research: vulnerabilities analysis and intrusion detection. Computers & Security 21(7): 609-612 (2002)

David S. Peterson, Matt Bishop, Raju Pandey: A Flexible Containment Mechanism for Executing Untrusted Code. USENIX Security Symposium 2002: 207-225

Matt Bishop, Anup K. Ghosh, James A. Whittaker: How Useful is Software Fault Injection for Evaluating the Security of COTS Products? ACSAC 2001: 339-340

David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop: Development of a Software Security Assessment Instrument to Reduce Software Security Risk. WETICE 2001: 144-149

Brant Hashii, Scott Malabarba, Raju Pandey, Matt Bishop: Supporting reconfigurable security policies for mobile programs. Computer Networks 33(1-6): 77-93 (2000)

Matt Bishop: Education in information security. IEEE Concurrency 8(4): 4-8 (2000)

Tuomas Aura, Matt Bishop, Dean Sniegowski: Analyzing Single-Server Network Inhibition. CSFW 2000: 108-117

John R. Hughes, Tuomas Aura, Matt Bishop: Using Conservation of Flow as a Security Mechanism in Network Protocols. IEEE Symposium on Security and Privacy 2000: 132-141

David P. Gilliam, John C. Kelly, Matt Bishop: Reducing Software Security Risk through an Integrated Approach. WETICE 2000: 141-146

Matt Bishop: Vulnerability Analysis: An Extended Abstract. Recent Advances in Intrusion Detection 1999

Michael Clifford, C. Lavine, Matt Bishop: The Solar Trust Model: Authentication Without Limitation. ACSAC 1998: 300-307

Matt Bishop, Michael Dilger: Checking for Race Conditions in File Accesses. Computing Systems 2(2): 131-152 (1996)

Matt Bishop: Conspiracy and Information Flow in the Take-Grant Protection Model. Journal of Computer Security 4(4): 331-360 (1996)

Edward Amoroso, Matt Bishop: Secruity Enables Electronic Commerce. J. Network Syst. Manage. 4(3): 247-249 (1996)

Matt Bishop, Daniel V. Klein: Improving system security via proactive password checking. Computers & Security 14(3): 233-249 (1995)

Matt Bishop: Theft of Information in the Take-Grant Protection Model. Journal of Computer Security 3(4): 283-308 (1995)

Matt Bishop: Teaching Computer Security. SEC 1993: 65-74

Matt Bishop: An Authentication Mechanism for USENET. USENIX Winter 1991: 281-288

Matt Bishop: Collaboration using Roles. Softw., Pract. Exper. 20(5): 485-497 (1990)

Matt Bishop: UNIX security in a supercomputing environment. SC 1989: 693-698

Matt Bishop: An Application of a Fast Data Encryption Standard Implementation. Computing Systems 1(3): 221-254 (1988)

Matt Bishop: Theft of Information in the Take-Grant Protection Model. CSFW 1988: 194-218

Matt Bishop: Profiling Under UNIX by Patching. Softw., Pract. Exper. 17(10): 729-739 (1987)

Matt Bishop: Analyzing the Security of an Existing Computer System. FJCC 1986: 1115-1119

Matt Bishop: Hierarchical Take-Grant Protection Systems. SOSP 1981: 109-122

Matt Bishop, Lawrence Snyder: The Transfer of Information and Authority in a Protection System. SOSP 1979: 45-54