Matt Bishop

207 papers A* 6A 17B 3C 34Misc 2Journal 58Unranked 78
YearRankTypeTitle / Venue / Authors
2025 — conf
CSEC Foundations Guidelines.
World Conference on Information Security Education
Melissa Dark, Philip D. Huff, Jun Dai, Matt Bishop
2025 — conf
Case Study 2: Mapping between an E-Voting Curriculum and the DHS/NSA CAE Knowledge Units.
SIGCSE (1)
Edwin Antonio Sanchez, Muwei Zheng, Matt Bishop, Xukai Zou
2025 — conf
Strengthening Workforce Education: Excellence in Programming Securely (SWEEPS).
SIGCSE (1)
Deborah Kariuki, Ida Ngambeki, Jun Dai, Matt Bishop, Xiaoyan Sun, Melissa Dark, Jenny Daugherty, Alex Lowrie, Markus Geissler, Phillip Nico, Arshad Noor
2024 — conf
Conceptual modeling to advance agrifood cybersecurity ontologies.
JOWO
Richard Hull, Matt Bishop, Joseph Gendreau, Karl N. Levitt, Mohammad Sadoghi, Matthew Lange
2023 — conf
An Adaptive Plug-and-Play (PnP) Interactive Platform for an E-Voting Based Cybersecurity Curricula.
HAISA
Muwei Zheng, Nathan Swearingen, William Silva, Matt Bishop, Xukai Zou
2023 — conf
Case Study: Mapping an E-Voting Based Curriculum to CSEC2017.
SIGCSE (1)
Muwei Zheng, Nathan Swearingen, Steven Mills, Croix Gyurek, Matt Bishop, Xukai Zou
2023 — conf
Introduction to the Minitrack on Cyber Deception and Cyberpsychology for Defense.
HICSS
Kimberly Ferguson-Walter, Sunny Fugate, Cliff Wang, Matt Bishop
2023 J jnl
Toward Common Weakness Enumerations in Industrial Control Systems.
IEEE Secur. Priv.
David M. Nicol, Gregory Shannon, Monika Akbar, Matt Bishop, Michael M. Chaney, Matthew E. Luallen
2023 — conf
Validation of a Secure Programming Concept Inventory.
SIGCSE (2)
Ida Ngambeki, Matt Bishop, Jun Dai, Phillip Nico
2022 J jnl
A Praise for Defensive Programming: Leveraging Uncertainty for Effective Malware Mitigation.
IEEE Trans. Dependable Secur. Comput.
Ruimin Sun, Marcus Botacin, Nikolaos Sapountzis, Xiaoyong Yuan, Matt Bishop, Donald E. Porter, Xiaolin Li, Andre Gregio, Daniela Oliveira
2022 C conf
Autonomous Vehicle Security: Composing Attack, Defense, and Policy Surfaces.
NSPW
Michael Clifford, Miriam Heller, Karl N. Levitt, Matt Bishop
2022 J jnl
Explaining RADAR features for detecting spoofing attacks in Connected Autonomous Vehicles.
CoRR
Nidhi Rastogi, Sara Rampazzi, Michael Clifford, Miriam Heller, Matt Bishop, Karl N. Levitt
2022 — conf
Introduction to the Minitrack on Cyber Deception and Cyberpsychology for Defense.
HICSS
Sunny Fugate, Matt Bishop, Cliff Wang, Kimberly Ferguson-Walter
2022 — conf
SecTutor: An Intelligent Tutoring System for Secure Programming.
World Conference on Information Security Education
Ida Ngambeki, Matt Bishop, Jun Dai, Phillip Nico, Shiven Mian, Ong Thao, Tran Ngoc Bao Huynh, Zed Chance, Isslam Alhasan, Motunrola Afolabi
2021 — conf
A Brief History and Overview of WISE.
World Conference on Information Security Education
Matt Bishop, Lynette Drevin, Lynn Futcher, Wai Sze Leung, Natalia G. Miloslavskaya, Erik L. Moore, Jacques Ophoff, Suné von Solms
2021 J jnl
A New Method for Flow-Based Network Intrusion Detection Using the Inverse Potts Model.
IEEE Trans. Netw. Serv. Manag.
Camila F. T. Pontes, Manuela M. C. de Souza, João J. C. Gondim, Matt Bishop, Marcelo Antonio Marotta
2021 — conf
Electronic Voting Technology Inspired Interactive Teaching and Learning Pedagogy and Curriculum Development for Cybersecurity Education.
World Conference on Information Security Education
Ryan Hosler, Xukai Zou, Matt Bishop
2021 — ch.
Information Security and Privacy - Challenges and Outlook.
IFIP's Exciting First 60+ Years
Steven Furnell, Paul S. Haskell-Dowland, Manish Agrawal, Richard L. Baskerville, Anirban Basu, Matt Bishop, Jorge Cuéllar, Sara Foresti, Lynn Futcher, Nurit Gal-Oz, Tejaswini (Teju) Herath, Christian Damsgaard Jensen, Allen C. Johnston, Wouter Joosen, Giovanni Livraga, Javier López, Stephen Marsh, Fabio Martinelli, Fabio Massacci, Aljosa Pasic, Stef Schinagl, Abbas Shahim, Kerry-Lynn Thomson, Jaideep Vaidya, Tony Vance, Merrill Warkentin
2021 — conf
Introduction to the Minitrack on Cyber Deception and Cyber Psychology for Defense.
HICSS
Matt Bishop, Cliff Wang, Kimberly Ferguson-Walter, Sunny Fugate
2021 — conf
Measuring Self-efficacy in Secure Programming.
World Conference on Information Security Education
Matt Bishop, Ida Ngambeki, Shiven Mian, Jun Dai, Phillip Nico
2020 Misc conf
Anomaly Detection for Science DMZs Using System Performance Data.
ICNC
Ross K. Gegan, Christina Mao, Dipak Ghosal, Matt Bishop, Sean Peisert
2020 B conf
Education for the Multifaith Community of Cybersecurity.
WISE
Steven Furnell, Matt Bishop
2020 — conf
Insider Attack Detection for Science DMZs Using System Performance Data.
CNS
Ross K. Gegan, Brian Perry, Dipak Ghosal, Matt Bishop
2020 — conf
Introduction to the Minitrack on Inside the Insider Threat.
HICSS
Jason Clark, Matt Bishop, Frank L. Greitzer
2020 C conf
Trust-Based Security; Or, Trust Considered Harmful.
NSPW
Abe Singer, Matt Bishop
2019 J jnl
A new method for flow-based network intrusion detection using inverse statistical physics.
CoRR
Camila F. T. Pontes, João J. C. Gondim, Matt Bishop, Marcelo Antonio Marotta
2019 — conf
Design Patterns for Compensating Controls for Securing Financial Sessions.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Marc J. Dupuis, Camelia Bejan, Matt Bishop, Scott David, Brent Lagesse
2019 — conf
Introduction to the Minitrack on Inside the Insider Threats.
HICSS
Jason Clark, Matt Bishop, Candice Hoke
2019 — conf
Learning Principles and the Secure Programming Clinic.
World Conference on Information Security Education
Matt Bishop, Melissa Dark, Lynn Futcher, Johan Van Niekerk, Ida Ngambeki, Somdutta Bose, Minghua Zhu
2018 — conf
A Design for a Collaborative Make-the-Flag Exercise.
World Conference on Information Security Education
Matt Bishop
2018 C conf
Augmenting Machine Learning with Argumentation.
NSPW
Matt Bishop, Carrie Gates, Karl N. Levitt
2018 C conf
Concept Inventories in Cybersecurity Education: An Example from Secure Programming.
FIE
Ida Ngambeki, Phillip Nico, Jun Dai, Matt Bishop
2018 — conf
Contrasting the CSEC 2017 and the CAE Designation Requirements.
HICSS
Wm. Arthur Conklin, Matt Bishop
2018 J jnl
Internet- and cloud-of-things cybersecurity research challenges and advances.
Comput. Secur.
Kim-Kwang Raymond Choo, Matt Bishop, William Bradley Glisson, Kara L. Nance
2018 — conf
Introduction to the Minitrack on Insider Threats to Governments and Organizations.
HICSS
Matt Bishop, Jay P. Kesan, Jason Clark
2018 J jnl
Leveraging Uncertainty for Effective Malware Mitigation.
CoRR
Ruimin Sun, Xiaoyong Yuan, Andrew Lee, Matt Bishop, Donald E. Porter, Xiaolin Li, André Grégio, Daniela Oliveira
2018 C ed.
Proceedings of the New Security Paradigms Workshop, NSPW 2018, Windsor, UK, August 28-31, 2018
NSPW
Marco Carvalho, Matt Bishop, Anil Somayaji, Wolter Pieters, Mohammad Mannan
2018 A conf
Special Session: Joint Task Force on Cybersecurity Education.
SIGCSE
Diana L. Burley, Matt Bishop, Siddharth Kaza, David S. Gibson, Scott Buck, Allen Parrish, Herb Mattord
2017 C conf
A Model of Owner Controlled, Full-Provenance, Non-Persistent, High-Availability Information Sharing.
NSPW
Sean Peisert, Matt Bishop, Edward B. Talbot
2017 A conf
ACM Joint Task Force on Cybersecurity Education.
SIGCSE
Diana L. Burley, Matt Bishop, Siddharth Kaza, David S. Gibson, Elizabeth K. Hawthorne, Scott Buck
2017 — conf
Agile Research for Cybersecurity: Creating Authoritative, Actionable Knowledge When Speed Matters.
HICSS
Richard C. Linger, Luanne Chamberlain, Matt Bishop, Melissa Dark
2017 — conf
Cybersecurity Curricular Guidelines.
World Conference on Information Security Education
Matt Bishop, Diana L. Burley, Scott Buck, Joseph J. Ekstrom, Lynn Futcher, David S. Gibson, Elizabeth K. Hawthorne, Siddharth Kaza, Yair Levy, Herbert J. Mattord, Allen Parrish
2017 — conf
Evaluating Secure Programming Knowledge.
World Conference on Information Security Education
Matt Bishop, Jun Dai, Melissa Dark, Ida Ngambeki, Phillip Nico, Minghua Zhu
2017 — ed.
Information Security Education for a Global Digital Society - 10th IFIP WG 11.8 World Conference, WISE 10, Rome, Italy, May 29-31, 2017, Proceedings
World Conference on Information Security Education
Matt Bishop, Lynn Futcher, Natalia G. Miloslavskaya, Marianthi Theocharidou
2017 J jnl
Insider Attack Identification and Prevention in Collection-Oriented Dataflow-Based Processes.
IEEE Syst. J.
Anandarup Sarkar, Sven Köhler, Bertram Ludäscher, Matt Bishop
2017 — conf
Introduction to Deception, Digital Forensics, and Malware Minitrack.
HICSS
Kara L. Nance, Matt Bishop
2017 — conf
Introduction to Inside the Insider Threat Minitrack.
HICSS
Matt Bishop, Kara L. Nance, Jason Clark
2017 J jnl
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.
ACM Trans. Priv. Secur.
Leon J. Osterweil, Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Sean Peisert
2017 J jnl
LeakSemantic: Identifying Abnormal Sensitive Network Transmissions in Mobile Applications.
CoRR
Hao Fu, Zizhan Zheng, Somdutta Bose, Matt Bishop, Prasant Mohapatra
2017 A* conf
LeakSemantic: Identifying abnormal sensitive network transmissions in mobile applications.
INFOCOM
Hao Fu, Zizhan Zheng, Somdutta Bose, Matt Bishop, Prasant Mohapatra
2017 — conf
The dose makes the poison - Leveraging uncertainty for effective malware detection.
DSC
Ruimin Sun, Xiaoyong Yuan, Andrew Lee, Matt Bishop, Donald E. Porter, Xiaolin Li, André Grégio, Daniela Oliveira
2016 A conf
Bear: A Framework for Understanding Application Sensitivity to OS (Mis) Behavior.
ISSRE
Ruimin Sun, Andrew Lee, Aokun Chen, Donald E. Porter, Matt Bishop, Daniela Oliveira
2016 C conf
I'm not sure if we're okay: uncertainty for attackers and defenders.
NSPW
Mark E. Fioravanti II, Matt Bishop, Richard Ford
2016 C ed.
Information Security - 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016, Proceedings
ISC
Matt Bishop, Anderson C. A. Nascimento
2016 — conf
Introduction to Digital Forensics - Education, Research and Practice Minitrack.
HICSS
Kara L. Nance, Matt Bishop
2016 — conf
Introduction to the Inside the Insider Threat Minitrack.
HICSS
Matt Bishop, Kara L. Nance, William R. Claycomb
2016 — conf
Is Anybody Home? Inferring Activity From Smart Home Network Traffic.
IEEE Symposium on Security and Privacy Workshops
Bogdan Copos, Karl N. Levitt, Matt Bishop, Jeff Rowe
2016 A conf
Special Session: ACM Joint Task Force on Cyber Education.
SIGCSE
Diana L. Burley, Matt Bishop, Elizabeth K. Hawthorne, Siddharth Kaza, Scott Buck, Lynn Futcher
2015 — ed.
Information Security Education Across the Curriculum - 9th IFIP WG 11.8 World Conference, WISE9, Hamburg, Germany, May 26-28, 2015, Proceedings
World Conference on Information Security Education
Matt Bishop, Natalia G. Miloslavskaya, Marianthi Theocharidou
2015 — conf
Introduction to Digital Forensics: Education, Research, and Practice Minitrack.
HICSS
Kara L. Nance, Matt Bishop
2015 — conf
Realism in Teaching Cybersecurity Research: The Agile Research Process.
World Conference on Information Security Education
Melissa Dark, Matt Bishop, Richard C. Linger, Luanne Goldrich
2015 A conf
The Case for Less Predictable Operating System Behavior.
HotOS
Ruimin Sun, Donald E. Porter, Daniela Oliveira, Matt Bishop
2015 J jnl
The Case for Unpredictability and Deception as OS Features.
login Usenix Mag.
Ruimin Sun, Matt Bishop, Natalie C. Ebner, Daniela Oliveira, Donald E. Porter
2014 — conf
Insider Attack Identification and Prevention Using a Declarative Approach.
IEEE Symposium on Security and Privacy Workshops
Anandarup Sarkar, Sven Köhler, Sean Riddle, Bertram Ludäscher, Matt Bishop
2014 — conf
Insider Threat Identification by Process Analysis.
IEEE Symposium on Security and Privacy Workshops
Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert
2014 — conf
Introduction to Digital Forensics: Education, Research, and Practice Minitrack.
HICSS
Kara L. Nance, Matt Bishop
2013 C conf
Forgive and forget: return to obscurity.
NSPW
Matt Bishop, Emily Rine Butler, Kevin R. B. Butler, Carrie Gates, Steven Greenspan
2013 C conf
Information behaving badly.
NSPW
Julie Boxwell Ard, Matt Bishop, Carrie Gates, Michael Xin Sun
2013 A conf
Introducing secure coding in CS0 and CS1 (abstract only).
SIGCSE
Matt Bishop, Blair Taylor, Elizabeth K. Hawthorne, Diana L. Burley, Siddharth Kaza
2013 — conf
Introduction to Digital Forensics - Education, Research, and Practice Minitrack.
HICSS
Kara L. Nance, Matt Bishop, Amelia Phillips
2013 J jnl
Multiclass classification of distributed memory parallel computations.
Pattern Recognit. Lett.
Sean Whalen, Sean Peisert, Matt Bishop
2013 A conf
Teaching secure coding: the myths and the realities.
SIGCSE
Blair Taylor, Matt Bishop, Elizabeth K. Hawthorne, Kara L. Nance
2013 — conf
Virtual Penetration Testing: A Joint Education Exercise across Geographic Borders.
World Conference on Information Security Education
Helen Armstrong, Matt Bishop, Colin J. Armstrong
2012 — conf
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them.
EVT/WOTE
Huong Phan, George S. Avrunin, Matt Bishop, Lori A. Clarke, Leon J. Osterweil
2012 J jnl
A Taxonomy of Buffer Overflow Characteristics.
IEEE Trans. Dependable Secur. Comput.
Matt Bishop, Sophie Engle, Damien Howard, Sean Whalen
2012 — conf
Are Your Papers in Order? Developing and Enforcing Multi-tenancy and Migration Policies in the Cloud.
HICSS
Brian Hay, Kara L. Nance, Matt Bishop, Lucas McDaniel
2012 J jnl
Network-theoretic classification of parallel computation patterns.
Int. J. High Perform. Comput. Appl.
Sean Whalen, Sophie Engle, Sean Peisert, Matt Bishop
2012 J jnl
Security and Elections.
IEEE Secur. Priv.
Matt Bishop, Sean Peisert
2012 A conf
Teaching secure coding: report from summit on education in secure software.
SIGCSE
Blair Taylor, Matt Bishop, Diana L. Burley, Steve Cooper, Ronald C. Dodge, Robert C. Seacord
2012 C conf
Turtles all the way down: a clean-slate, ground-up, first-principles approach to secure systems.
NSPW
Sean Peisert, Edward B. Talbot, Matt Bishop
2011 — conf
Applying Formal Methods Informally.
HICSS
Matt Bishop, Brian Hay, Kara L. Nance
2011 J jnl
Computer security in the future.
ISC Int. J. Inf. Secur.
Matt Bishop
2011 — conf
Multiprocess malware.
MALWARE
Marco Ramilli, Matt Bishop, Shining Sun
2011 — conf
One of These Records Is Not Like the Others.
TaPP
Carrie Gates, Matt Bishop
2011 C conf
Resilience is more than availability.
NSPW
Matt Bishop, Marco M. Carvalho, Richard Ford, Liam M. Mayron
2011 — conf
Results-oriented security.
MALWARE
Matt Bishop, Richard Ford, Marco Ramilli
2011 — conf
Robust Programming by Example.
World Conference on Information Security Education
Matt Bishop, Chip Elliott
2011 — conf
Storm Clouds Rising: Security Challenges for IaaS Cloud Computing.
HICSS
Brian Hay, Kara L. Nance, Matt Bishop
2011 J jnl
Teaching Security Stealthily.
IEEE Secur. Priv.
Matt Bishop
2011 — conf
The Strengths and Challenges of Analogical Approaches to Computer Security Education.
World Conference on Information Security Education
Matt Bishop, Kara L. Nance
2011 — conf
Trust of medical devices, applications, and users in pervasive healthcare.
PETRA
Michael Clifford, Matt Bishop
2010 — conf
10341 Abstracts Collection - Insider Threats: Strategies for Prevention, Mitigation, and Response.
Insider Threats: Strategies for Prevention, Mitigation, and Response
Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
2010 — conf
10341 Report - Insider Threats: Strategies for Prevention, Mitigation, and Response.
Insider Threats: Strategies for Prevention, Mitigation, and Response
Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
2010 J jnl
A Clinic for "Secure" Programming.
IEEE Secur. Priv.
Matt Bishop
2010 — ch.
A Risk Management Approach to the "Insider Threat".
Insider Threats in Cyber Security
Matt Bishop, Sophie Engle, Deborah A. Frincke, Carrie Gates, Frank L. Greitzer, Sean Peisert, Sean Whalen
2010 — ch.
Aspects of Insider Threats.
Insider Threats in Cyber Security
Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop
2010 J jnl
Demythifying Cybersecurity.
IEEE Secur. Priv.
Edward B. Talbot, Deborah A. Frincke, Matt Bishop
2010 C conf
Hidden Markov Models for Automated Protocol Learning.
SecureComm
Sean Whalen, Matt Bishop, James P. Crutchfield
2010 — book
Insider Threats in Cyber Security
Insider Threats in Cyber Security
Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop
2010 — ed.
Insider Threats: Strategies for Prevention, Mitigation, and Response, 22.08. - 26.08.2010
Insider Threats: Strategies for Prevention, Mitigation, and Response
Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
2010 — conf
Modeling and Analyzing Faults to Improve Election Process Robustness.
EVT/WOTE
Borislava I. Simidchieva, Sophie Engle, Michael Clifford, Alicia Clay Jones, Sean Peisert, Matt Bishop, Lori A. Clarke, Leon J. Osterweil
2010 — conf
Multi-stage delivery of malware.
MALWARE
Marco Ramilli, Matt Bishop
2010 A* conf
Reflections on the 30th Anniversary of the IEEE Symposium on Security and Privacy.
IEEE Symposium on Security and Privacy
Peter G. Neumann, Matt Bishop, Sean Peisert, Marv Schaefer
2010 C conf
Relationships and data sanitization: a study in scarlet.
NSPW
Matt Bishop, Justin Cummins, Sean Peisert, Anhad Singh, Bhume Bhumiratana, Deborah A. Agarwal, Deborah A. Frincke, Michael A. Hogarth
2010 J jnl
Technology, Training, and Transformation.
IEEE Secur. Priv.
Matt Bishop
2010 — conf
The security and privacy implications of using social networks to deliver healthcare.
PETRA
Carrie Gates, Matt Bishop
2009 J jnl
An exploration of the current state of information assurance education.
ACM SIGCSE Bull.
Stephen Cooper, Christine Nickell, Victor P. Piotrowski Jr., Brenda Oldfield, Ali E. Abdallah, Matt Bishop, Bill Caelli, Melissa Dark, Elizabeth K. Hawthorne, Lance J. Hoffman, Lance C. Pérez, Charles P. Pfleeger, Richard A. Raines, Corey D. Schou, Joel Brynielsson
2009 J jnl
Are Patched Machines Really Fixed?
IEEE Secur. Priv.
Ryan W. Gardner, Matt Bishop, Tadayoshi Kohno
2009 — conf
Case Studies of an Insider Framework.
HICSS
Matt Bishop, Sophie Engle, Sean Peisert, Sean Whalen, Carrie Gates
2009 — conf
Digital Forensics: Defining a Research Agenda.
HICSS
Kara L. Nance, Brian Hay, Matt Bishop
2009 — conf
E-Voting and Forensics: Prying Open the Black Box.
EVT/WOTE
Matt Bishop, Sean Peisert, Candice Hoke, Mark Graff
2009 B conf
Investigating the Implications of Virtual Machine Introspection for Digital Forensics.
ARES
Kara L. Nance, Brian Hay, Matt Bishop
2009 J jnl
Live Analysis: Progress and Challenges.
IEEE Secur. Priv.
Brian Hay, Matt Bishop, Kara L. Nance
2009 — conf
Privacy aware data sharing: balancing the usability and privacy of datasets.
PETRA
Bhume Bhumiratana, Matt Bishop
2009 C conf
Quis Custodiet ipsos Custodes?: a new paradigm for analyzing security paradigms with appreciation to the Roman poet Juvenal.
NSPW
Sean Peisert, Matt Bishop, Laura Corriss, Steven J. Greenwald
2009 A conf
Reflections on UNIX Vulnerabilities.
ACSAC
Matt Bishop
2009 — conf
Some "Secure Programming" Exercises for an Introductory Programming Class.
World Conference on Information Security Education
Matt Bishop
2009 — conf
Strong mobile device protection from loss and capture.
PETRA
Zhengyi Le, Matt Bishop, Fillia Makedon
2009 C conf
The sisterhood of the traveling packets.
NSPW
Matt Bishop, Carrie Gates, Jeffrey Hunker
2009 — conf
Vote Selling, Voter Anonymity, and Forensic Logging of Electronic Voting Machines.
HICSS
Sean Peisert, Matt Bishop, Alec Yasinsac
2008 — conf
08302 Abstracts Collection - Countering Insider Threats.
Countering Insider Threats
Matt Bishop, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
2008 — conf
08302 Summary - Countering Insider Threats.
Countering Insider Threats
Christian W. Probst, Jeffrey Hunker, Matt Bishop, Dieter Gollmann
2008 — conf
Computer Forensics in Forensis.
SADFE
Sean Peisert, Matt Bishop, Keith Marzullo
2008 — ed.
Countering Insider Threats, 20.07. - 25.07.2008
Countering Insider Threats
Matt Bishop, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
2008 — conf
Defining the insider threat.
CSIIRW
Matt Bishop, Carrie Gates
2008 J jnl
Information Assurance Education: A Work In Progress.
IEEE Secur. Priv.
Matt Bishop, Deborah A. Frincke
2008 — conf
Of Paper Trails and Voter Receipts.
HICSS
Alec Yasinsac, Matt Bishop
2008 C ed.
Proceedings of the 2008 Workshop on New Security Paradigms, Lake Tahoe, CA, USA, September 22-25, 2008
NSPW
Matt Bishop, Christian W. Probst, Angelos D. Keromytis, Anil Somayaji
2008 J jnl
The Dynamics of Counting and Recounting Votes.
IEEE Secur. Priv.
Alec Yasinsac, Matt Bishop
2008 C conf
Twelfth Securities Technologies (ST) Workshop Report.
WETICE
David P. Gilliam, Matt Bishop
2008 J jnl
Virtual Machine Introspection: Observation or Interference?
IEEE Secur. Priv.
Kara L. Nance, Matt Bishop, Brian Hay
2008 C conf
We have met the enemy and he is us.
NSPW
Matt Bishop, Sophie Engle, Sean Peisert, Sean Whalen, Carrie Gates
2007 J jnl
About Penetration Testing.
IEEE Secur. Priv.
Matt Bishop
2007 J jnl
Achieving Learning Objectives through E-Voting Case Studies.
IEEE Secur. Priv.
Matt Bishop, Deborah A. Frincke
2007 — conf
An Analysis of the Hart Intercivic DAU eSlate.
EVT
Elliot Proebstel, Sean Riddle, Francis Hsu, Justin Cummins, Freddie Oakley, Tom Stanionis, Matt Bishop
2007 J jnl
Analysis of Computer Intrusions Using Sequences of Function Calls.
IEEE Trans. Dependable Secur. Comput.
Sean Peisert, Matt Bishop, Sidney Karin, Keith Marzullo
2007 A conf
Cost-Sensitive Intrusion Responses for Mobile Ad Hoc Networks.
RAID
Shiau-Huey Wang, Chinyang Henry Tseng, Karl N. Levitt, Matt Bishop
2007 — conf
E-Voting as a Teaching Tool.
World Conference on Information Security Education
Matt Bishop
2007 J jnl
Fixing federal e-voting standards.
Commun. ACM
Earl T. Barr, Matt Bishop, Mark A. Gondree
2007 — conf
How to Design Computer Security Experiments.
World Conference on Information Security Education
Sean Peisert, Matt Bishop
2007 J jnl
I Am a Scientist, Not a Philosopher!
IEEE Secur. Priv.
Sean Peisert, Matt Bishop
2007 J jnl
Modeling network intrusion detection alerts for correlation.
ACM Trans. Inf. Syst. Secur.
Jingmin Zhou, Mark R. Heckman, Brennen Reynolds, Adam Carlson, Matt Bishop
2007 J jnl
Risks of e-voting.
Commun. ACM
Matt Bishop, David A. Wagner
2007 C conf
ST Workshop Final Report.
WETICE
David P. Gilliam, Matt Bishop, Y. V. Ramana Reddy
2007 — conf
Toward Models for Forensic Analysis.
SADFE
Sean Peisert, Matt Bishop, Sidney Karin, Keith Marzullo
2006 C conf
Eleventh Securities Technologies (ST) Workshop Report.
WETICE
David P. Gilliam, Matt Bishop
2006 C conf
Inconsistency in deception for defense.
NSPW
Vicentiu Neagoe, Matt Bishop
2006 C conf
Sanitization models and their limitations.
NSPW
Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt
2006 C conf
Security Verification Techniques Applied to PatchLink COTS Software.
WETICE
David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog
2006 C conf
Some Problems in Sanitizing Network Data.
WETICE
Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt
2006 J jnl
Teaching context in information security.
ACM J. Educ. Resour. Comput.
Matt Bishop
2006 B conf
Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs.
DIMVA
Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Karl N. Levitt, Matt Bishop
2006 J jnl
Who Owns Your Computer?
IEEE Secur. Priv.
Matt Bishop, Deborah A. Frincke
2005 J jnl
A Human Endeavor: Lessons from Shakespeare and Beyond.
IEEE Secur. Priv.
Matt Bishop, Deborah A. Frincke
2005 C conf
Application of Lightweight Formal Methods to Software Security.
WETICE
David P. Gilliam, John D. Powell, Matt Bishop
2005 C conf
Position: "insider" is relative.
NSPW
Matt Bishop
2005 C conf
Principles-driven forensic analysis.
NSPW
Sean Peisert, Sidney Karin, Matt Bishop, Keith Marzullo
2005 J jnl
Teaching Secure Programming.
IEEE Secur. Priv.
Matt Bishop, Deborah A. Frincke
2005 C conf
The insider problem revisited.
NSPW
Matt Bishop
2005 A conf
Verify Results of Network Intrusion Alerts Using Lightweight Protocol Analysis.
ACSAC
Jingmin Zhou, Adam J. Carlson, Matt Bishop
2004 J jnl
Academic Degrees and Professional Certification.
IEEE Secur. Priv.
Deborah A. Frincke, Matt Bishop
2004 J jnl
Back to School.
IEEE Secur. Priv.
Deborah A. Frincke, Matt Bishop
2004 J jnl
Cyber defense technology networking and evaluation.
Commun. ACM
Ruzena Bajcsy, Terry Benzel, Matt Bishop, Robert Braden, Carla E. Brodley, Sonia Fahmy, Sally Floyd, Wes Hardaker, Anthony D. Joseph, George Kesidis, Karl N. Levitt, Robert Lindell, Peng Liu, David J. Miller, Russ Mundy, Clifford Neuman, Ron Ostrenga, Vern Paxson, Phillip A. Porras, Catherine Rosenberg, J. Doug Tygar, Shankar Sastry, Daniel F. Sterne, Shyhtsun Felix Wu
2004 J jnl
Guarding the Castle Keep: Teaching with the Fortress Metaphor.
IEEE Secur. Priv.
Deborah A. Frincke, Matt Bishop
2004 C conf
How to Sanitize Data.
WETICE
Matt Bishop, Bhume Bhumiratana, Rick Crawford, Karl N. Levitt
2004 — book
Introduction to Computer Security.
Matt Bishop
2004 J jnl
Joining the Security Education Community.
IEEE Secur. Priv.
Deborah A. Frincke, Matt Bishop
2004 J jnl
Teaching Robust Programming.
IEEE Secur. Priv.
Matt Bishop, Deborah A. Frincke
2004 J jnl
Traducement: A model for record security.
ACM Trans. Inf. Syst. Secur.
Tom Walcott, Matt Bishop
2003 C conf
Addressing Software Security and Mitigations in the Life Cycle.
SEW
David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop
2003 A conf
Miracle Cures and Toner Cartridges: Finding Solutions to the Spam Problem.
ACSAC
Michael Clifford, Daniel Faigin, Matt Bishop, Tasneem G. Brutch
2003 — conf
Panel: Teaching Undergraduate Information Assurance.
World Conference on Information Security Education
Matt Bishop
2003 C conf
Software Security Checklist for the Software Life Cycle.
WETICE
David P. Gilliam, Thomas L. Wolfe, Joseph S. Sherif, Matt Bishop
2003 A* conf
Testing C Programs for Buffer Overflow Vulnerabilities.
NDSS
Eric Haugh, Matt Bishop
2003 J jnl
What Is Computer Security?
IEEE Secur. Priv.
Matt Bishop
2002 A* conf
A Flexible Containment Mechanism for Executing Untrusted Code.
USENIX Security Symposium
David S. Peterson, Matt Bishop, Raju Pandey
2002 J jnl
Trends in academic research: vulnerabilities analysis and intrusion detection.
Comput. Secur.
Matt Bishop
2001 C conf
Development of a Software Security Assessment Instrument to Reduce Software Security Risk.
WETICE
David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop
2001 A conf
How Useful is Software Fault Injection for Evaluating the Security of COTS Products?
ACSAC
Matt Bishop, Anup K. Ghosh, James A. Whittaker
2000 — conf
Analyzing Single-Server Network Inhibition.
CSFW
Tuomas Aura, Matt Bishop, Dean Sniegowski
2000 J jnl
Education in information security.
IEEE Concurr.
Matt Bishop
2000 C conf
Reducing Software Security Risk through an Integrated Approach.
WETICE
David P. Gilliam, John C. Kelly, Matt Bishop
2000 J jnl
Supporting reconfigurable security policies for mobile programs.
Comput. Networks
Brant Hashii, Scott Malabarba, Raju Pandey, Matt Bishop
2000 — conf
Using Conservation of Flow as a Security Mechanism in Network Protocols.
S&P
John R. Hughes, Tuomas Aura, Matt Bishop
1999 — conf
Vulnerability Analysis: An Extended Abstract.
Recent Advances in Intrusion Detection
Matt Bishop
1998 A conf
The Solar Trust Model: Authentication Without Limitation.
ACSAC
Michael Clifford, C. Lavine, Matt Bishop
1997 J jnl
Property-based testing: a new approach to testing for assurance.
ACM SIGSOFT Softw. Eng. Notes
George Fink, Matt Bishop
1996 J jnl
Checking for Race Conditions in File Accesses.
Comput. Syst.
Matt Bishop, Michael Dilger
1996 J jnl
Conspiracy and Information Flow in the Take-Grant Protection Model.
J. Comput. Secur.
Matt Bishop
1996 J jnl
Secruity Enables Electronic Commerce.
J. Netw. Syst. Manag.
Edward Amoroso, Matt Bishop
1995 J jnl
Improving system security via proactive password checking.
Comput. Secur.
Matt Bishop, Daniel V. Klein
1995 J jnl
Theft of Information in the Take-Grant Protection Model.
J. Comput. Secur.
Matt Bishop
1993 Misc conf
Teaching Computer Security.
SEC
Matt Bishop
1991 — conf
An Authentication Mechanism for USENET.
USENIX Winter
Matt Bishop
1991 — conf
Password management.
Compcon
Matt Bishop
1990 A conf
A security analysis of the NTP protocol version 2.
ACSAC
Matt Bishop
1990 J jnl
Collaboration using Roles.
Softw. Pract. Exp.
Matt Bishop
1989 A conf
A model of security monitoring.
ACSAC
Matt Bishop
1989 — conf
Privacy-Enhanced Electronic Mail.
Distributed Computing And Cryptography
Matt Bishop
1989 A conf
UNIX security in a supercomputing environment.
SC
Matt Bishop
1988 J jnl
An Application of a Fast Data Encryption Standard Implementation.
Comput. Syst.
Matt Bishop
1988 — conf
Theft of Information in the Take-Grant Protection Model.
CSFW
Matt Bishop
1987 J jnl
Profiling Under UNIX by Patching.
Softw. Pract. Exp.
Matt Bishop
1986 J jnl
A pauper's callback scheme.
Comput. Secur.
Matt Bishop
1986 — conf
Analyzing the Security of an Existing Computer System.
FJCC
Matt Bishop
1981 A* conf
Hierarchical Take-Grant Protection Systems.
SOSP
Matt Bishop
1979 A* conf
The Transfer of Information and Authority in a Protection System.
SOSP
Matt Bishop, Lawrence Snyder