| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matt Bishop, Sophie Engle, Damien Howard, Sean Whalen |
A Taxonomy of Buffer Overflow Characteristics.  |
IEEE Trans. Dependable Sec. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
Teaching Security Stealthily. |
IEEE Security & Privacy |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop, Brian Hay, Kara L. Nance |
Applying Formal Methods Informally. |
HICSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Hay, Kara L. Nance, Matt Bishop |
Storm Clouds Rising: Security Challenges for IaaS Cloud Computing. |
HICSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Clifford, Matt Bishop |
Trust of medical devices, applications, and users in pervasive healthcare. |
PETRA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
Technology, Training, and Transformation. |
IEEE Security & Privacy |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
A Clinic for "Secure" Programming. |
IEEE Security & Privacy |
2010 |
DBLP DOI BibTeX RDF |
robust programming, writing clinics, software engineering, programming, software engineering education, security and privacy |
| 1 | Edward B. Talbot, Deborah A. Frincke, Matt Bishop |
Demythifying Cybersecurity. |
IEEE Security & Privacy |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop (eds.) |
Insider Threats in Cyber Security |
|
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop |
Aspects of Insider Threats. |
Insider Threats in Cyber Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
30th Anniversary Retrospective, Security, Privacy |
| 1 | Sean Whalen, Matt Bishop, James P. Crutchfield |
Hidden Markov Models for Automated Protocol Learning. |
SecureComm |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carrie Gates, Matt Bishop |
The security and privacy implications of using social networks to deliver healthcare. |
PETRA |
2010 |
DBLP DOI BibTeX RDF |
security, privacy, social networks, healthcare technologies |
| 1 | Ryan W. Gardner, Matt Bishop, Tadayoshi Kohno |
Are Patched Machines Really Fixed? |
IEEE Security & Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Hay, Matt Bishop, Kara L. Nance |
Live Analysis: Progress and Challenges. |
IEEE Security & Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
Reflections on UNIX Vulnerabilities. |
ACSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop, Sophie Engle, Sean Peisert, Sean Whalen, Carrie Gates |
Case Studies of an Insider Framework. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Peisert, Matt Bishop, Alec Yasinsac |
Vote Selling, Voter Anonymity, and Forensic Logging of Electronic Voting Machines. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kara L. Nance, Brian Hay, Matt Bishop |
Digital Forensics: Defining a Research Agenda. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhume Bhumiratana, Matt Bishop |
Privacy aware data sharing: balancing the usability and privacy of datasets. |
PETRA |
2009 |
DBLP DOI BibTeX RDF |
ontology, privacy, information security, security policy, data sharing, data anonymization |
| 1 | Zhengyi Le, Matt Bishop, Fillia Makedon |
Strong mobile device protection from loss and capture. |
PETRA |
2009 |
DBLP DOI BibTeX RDF |
authentication, mobile device, digital signature, forward security, assistive environment |
| 1 | Kara L. Nance, Brian Hay, Matt Bishop |
Investigating the Implications of Virtual Machine Introspection for Digital Forensics. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kara L. Nance, Matt Bishop, Brian Hay |
Virtual Machine Introspection: Observation or Interference? |
IEEE Security & Privacy |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alec Yasinsac, Matt Bishop |
The Dynamics of Counting and Recounting Votes. |
IEEE Security & Privacy |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop, Deborah A. Frincke |
Information Assurance Education: A Work In Progress. |
IEEE Security & Privacy |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David P. Gilliam, Matt Bishop |
Twelfth Securities Technologies (ST) Workshop Report. |
WETICE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alec Yasinsac, Matt Bishop |
Of Paper Trails and Voter Receipts. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Peisert, Matt Bishop, Keith Marzullo |
Computer Forensics in Forensis. |
SADFE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Peisert, Matt Bishop, Sidney Karin, Keith Marzullo |
Analysis of Computer Intrusions Using Sequences of Function Calls. |
IEEE Trans. Dependable Sec. Comput. |
2007 |
DBLP DOI BibTeX RDF |
unauthorized access (for example, hacking), Security, design, intrusion detection, management, anomaly detection, auditing, logging, forensic analysis |
| 1 | Earl T. Barr, Matt Bishop, Mark Gondree |
Fixing federal e-voting standards. |
Commun. ACM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop, David Wagner |
Risks of e-voting. |
Commun. ACM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Peisert, Matt Bishop |
I Am a Scientist, Not a Philosopher! |
IEEE Security & Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop, Deborah A. Frincke |
Achieving Learning Objectives through E-Voting Case Studies. |
IEEE Security & Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
About Penetration Testing. |
IEEE Security & Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingmin Zhou, Mark Heckman, Brennen Reynolds, Adam Carlson, Matt Bishop |
Modeling network intrusion detection alerts for correlation. |
ACM Trans. Inf. Syst. Secur. |
2007 |
DBLP DOI BibTeX RDF |
alert fusion, intrusion detection, capability, Alert correlation |
| 1 | David P. Gilliam, Matt Bishop, Y. V. Ramana Reddy |
ST Workshop Final Report. |
WETICE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Peisert, Matt Bishop |
How to Design Computer Security Experiments. |
World Conference on Information Security Education |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
E-Voting as a Teaching Tool. |
World Conference on Information Security Education |
2007 |
DBLP DOI BibTeX RDF |
flaw hypothesis methodology, penetration study, computer security, electronic voting, information assurance |
| 1 | Sean Peisert, Matt Bishop, Sidney Karin, Keith Marzullo |
Toward Models for Forensic Analysis. |
SADFE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiau-Huey Wang, Chinyang Henry Tseng, Karl N. Levitt, Matt Bishop |
Cost-Sensitive Intrusion Responses for Mobile Ad Hoc Networks. |
RAID |
2007 |
DBLP DOI BibTeX RDF |
Response Agent (RA), Topology Dependency Index (TDI), Attack Damage Index (ADI), adaptive isolation, attack damage, response cost, MANET |
| 1 | Matt Bishop |
Teaching context in information security. |
ACM Journal of Educational Resources in Computing |
2006 |
DBLP DOI BibTeX RDF |
computer security, Environment, instruction, judgment |
| 1 | Matt Bishop, Deborah A. Frincke |
Who Owns Your Computer? |
IEEE Security & Privacy |
2006 |
DBLP DOI BibTeX RDF |
Sony, BMG, First4Internet, education, digital rights management, DRM, rootkit |
| 1 | David P. Gilliam, Matt Bishop |
Eleventh Securities Technologies (ST) Workshop Report. |
WETICE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt |
Some Problems in Sanitizing Network Data. |
WETICE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog |
Security Verification Techniques Applied to PatchLink COTS Software. |
WETICE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt |
Sanitization models and their limitations. |
NSPW |
2006 |
DBLP DOI BibTeX RDF |
data sanitization, closed world assumption, disclosure control, inference problem |
| 1 | Vicentiu Neagoe, Matt Bishop |
Inconsistency in deception for defense. |
NSPW |
2006 |
DBLP DOI BibTeX RDF |
security, operating systems, inconsistency, deception |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop, Deborah A. Frincke |
Teaching Secure Programming. |
IEEE Security & Privacy |
2005 |
DBLP DOI BibTeX RDF |
education, training, computer science, secure programming |
| 1 | Matt Bishop, Deborah A. Frincke |
A Human Endeavor: Lessons from Shakespeare and Beyond. |
IEEE Security & Privacy |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David P. Gilliam, John D. Powell, Matt Bishop |
Application of Lightweight Formal Methods to Software Security. |
WETICE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingmin Zhou, Adam J. Carlson, Matt Bishop |
Verify Results of Network Intrusion Alerts Using Lightweight Protocol Analysis. |
ACSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop, Deborah A. Frincke |
Teaching Robust Programming. |
IEEE Security & Privacy |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Deborah A. Frincke, Matt Bishop |
Guarding the Castle Keep: Teaching with the Fortress Metaphor. |
IEEE Security & Privacy |
2004 |
DBLP DOI BibTeX RDF |
computer security field, fortress, pedagogical took, student understanding, metaphor |
| 1 | Deborah A. Frincke, Matt Bishop |
Back to School. |
IEEE Security & Privacy |
2004 |
DBLP DOI BibTeX RDF |
lesson preparation, textbooks, syllabus |
| 1 | Deborah A. Frincke, Matt Bishop |
Academic Degrees and Professional Certification. |
IEEE Security & Privacy |
2004 |
DBLP DOI BibTeX RDF |
skill set, accreditation, practical, classroom, degree |
| 1 | Deborah A. Frincke, Matt Bishop |
Joining the Security Education Community. |
IEEE Security & Privacy |
2004 |
DBLP DOI BibTeX RDF |
curriculum training, security, curriculum development |
| 1 | Tom Walcott, Matt Bishop |
Traducement: A model for record security. |
ACM Trans. Inf. Syst. Secur. |
2004 |
DBLP DOI BibTeX RDF |
traducement, Integrity, security policy, recordation |
| 1 | Matt Bishop, Bhume Bhumiratana, Rick Crawford, Karl N. Levitt |
How to Sanitize Data. |
WETICE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
What Is Computer Security? |
IEEE Security & Privacy |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop |
Addressing Software Security and Mitigations in the Life Cycle. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David P. Gilliam, Thomas L. Wolfe, Joseph S. Sherif, Matt Bishop |
Software Security Checklist for the Software Life Cycle. |
WETICE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Clifford, Daniel Faigin, Matt Bishop, Tasneem Brutch |
Miracle Cures and Toner Cartridges: Finding Solutions to the Spam Problem. |
ACSAC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
Panel: Teaching Undergraduate Information Assurance. |
World Conference on Information Security Education |
2003 |
DBLP BibTeX RDF |
|
| 1 | Eric Haugh, Matt Bishop |
Testing C Programs for Buffer Overflow Vulnerabilities. |
NDSS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Matt Bishop |
Trends in academic research: vulnerabilities analysis and intrusion detection. |
Computers & Security |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David S. Peterson, Matt Bishop, Raju Pandey |
A Flexible Containment Mechanism for Executing Untrusted Code. |
USENIX Security Symposium |
2002 |
DBLP BibTeX RDF |
|
| 1 | David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop |
Development of a Software Security Assessment Instrument to Reduce Software Security Risk. (PDF / PS) |
WETICE |
2001 |
DBLP DOI BibTeX RDF |
Security Toolset, Vulnerability Matrix, Model Checking, Security Verification, Property-Based Testing |
| 1 | Matt Bishop, Anup K. Ghosh, James A. Whittaker |
How Useful is Software Fault Injection for Evaluating the Security of COTS Products? |
ACSAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
Education in information security. |
IEEE Concurrency |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Brant Hashii, Scott Malabarba, Raju Pandey, Matt Bishop |
Supporting reconfigurable security policies for mobile programs. |
Computer Networks |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John R. Hughes, Tuomas Aura, Matt Bishop |
Using Conservation of Flow as a Security Mechanism in Network Protocols. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David P. Gilliam, John C. Kelly, Matt Bishop |
Reducing Software Security Risk through an Integrated Approach. (PDF / PS) |
WETICE |
2000 |
DBLP DOI BibTeX RDF |
Security Toolset, Vulnerability Matrix, Model Specification Checking, Security Verification, Property-Based Testing |
| 1 | Tuomas Aura, Matt Bishop, Dean Sniegowski |
Analyzing Single-Server Network Inhibition. (PDF / PS) |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
Vulnerability Analysis: An Extended Abstract. |
Recent Advances in Intrusion Detection |
1999 |
DBLP BibTeX RDF |
|
| 1 | Michael Clifford, C. Lavine, Matt Bishop |
The Solar Trust Model: Authentication Without Limitation. |
ACSAC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
Conspiracy and Information Flow in the Take-Grant Protection Model. |
Journal of Computer Security |
1996 |
DBLP BibTeX RDF |
|
| 1 | Matt Bishop, Michael Dilger |
Checking for Race Conditions in File Accesses. |
Computing Systems |
1996 |
DBLP BibTeX RDF |
|
| 1 | Edward Amoroso, Matt Bishop |
Secruity Enables Electronic Commerce. |
J. Network Syst. Manage. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
Theft of Information in the Take-Grant Protection Model. |
Journal of Computer Security |
1995 |
DBLP BibTeX RDF |
|
| 1 | Matt Bishop, Daniel V. Klein |
Improving system security via proactive password checking. |
Computers & Security |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
Teaching Computer Security. |
SEC |
1993 |
DBLP BibTeX RDF |
|
| 1 | Matt Bishop |
An Authentication Mechanism for USENET. |
USENIX Winter |
1991 |
DBLP BibTeX RDF |
|
| 1 | Matt Bishop |
Collaboration using Roles. |
Softw., Pract. Exper. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
An Application of a Fast Data Encryption Standard Implementation. |
Computing Systems |
1988 |
DBLP BibTeX RDF |
|
| 1 | Matt Bishop |
Theft of Information in the Take-Grant Protection Model. |
CSFW |
1988 |
DBLP BibTeX RDF |
|
| 1 | Matt Bishop |
Profiling Under UNIX by Patching. |
Softw., Pract. Exper. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop |
Analyzing the Security of an Existing Computer System. |
FJCC |
1986 |
DBLP BibTeX RDF |
|
| 1 | Matt Bishop |
Hierarchical Take-Grant Protection Systems. |
SOSP |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Bishop, Lawrence Snyder |
The Transfer of Information and Authority in a Protection System. |
SOSP |
1979 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")