Matt Bishop

	2012
95		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
94		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
93		Matt Bishop, Sophie Engle, Damien Howard, Sean Whalen: A Taxonomy of Buffer Overflow Characteristics. IEEE Trans. Dependable Sec. Comput. 9(3): 305-317 (2012)
	2011
92		Brian Hay, Kara L. Nance, Matt Bishop: Storm Clouds Rising: Security Challenges for IaaS Cloud Computing. HICSS 2011: 1-7
91		Matt Bishop, Brian Hay, Kara L. Nance: Applying Formal Methods Informally. HICSS 2011: 1-8
90		Michael Clifford, Matt Bishop: Trust of medical devices, applications, and users in pervasive healthcare. PETRA 2011: 54
89		Matt Bishop: Teaching Security Stealthily. IEEE Security & Privacy 9(2): 69-71 (2011)
	2010
88		Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop: Insider Threats in Cyber Security Springer 2010
87		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
86		Carrie Gates, Matt Bishop: The security and privacy implications of using social networks to deliver healthcare. PETRA 2010
85		Sean Whalen, Matt Bishop, James P. Crutchfield: Hidden Markov Models for Automated Protocol Learning. SecureComm 2010: 415-428
84		Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop: Aspects of Insider Threats. Insider Threats in Cyber Security 2010: 1-15
83		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
82		Matt Bishop: A Clinic for "Secure" Programming. IEEE Security & Privacy 8(2): 54-56 (2010)
81		Edward B. Talbot, Deborah A. Frincke, Matt Bishop: Demythifying Cybersecurity. IEEE Security & Privacy 8(3): 56-59 (2010)
80		Matt Bishop: Technology, Training, and Transformation. IEEE Security & Privacy 8(5): 72-75 (2010)
	2009
79		Matt Bishop: Reflections on UNIX Vulnerabilities. ACSAC 2009: 161-184
78		Kara L. Nance, Brian Hay, Matt Bishop: Investigating the Implications of Virtual Machine Introspection for Digital Forensics. ARES 2009: 1024-1029
77		Matt Bishop, Sophie Engle, Sean Peisert, Sean Whalen, Carrie Gates: Case Studies of an Insider Framework. HICSS 2009: 1-10
76		Sean Peisert, Matt Bishop, Alec Yasinsac: Vote Selling, Voter Anonymity, and Forensic Logging of Electronic Voting Machines. HICSS 2009: 1-10
75		Kara L. Nance, Brian Hay, Matt Bishop: Digital Forensics: Defining a Research Agenda. HICSS 2009: 1-6
74		Bhume Bhumiratana, Matt Bishop: Privacy aware data sharing: balancing the usability and privacy of datasets. PETRA 2009
73		Zhengyi Le, Matt Bishop, Fillia Makedon: Strong mobile device protection from loss and capture. PETRA 2009
72		Brian Hay, Matt Bishop, Kara L. Nance: Live Analysis: Progress and Challenges. IEEE Security & Privacy 7(2): 30-37 (2009)
71		Ryan W. Gardner, Matt Bishop, Tadayoshi Kohno: Are Patched Machines Really Fixed? IEEE Security & Privacy 7(5): 82-85 (2009)
70		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)
	2008
69		Alec Yasinsac, Matt Bishop: Of Paper Trails and Voter Receipts. HICSS 2008: 487
68		Sean Peisert, Matt Bishop, Keith Marzullo: Computer Forensics in Forensis. SADFE 2008: 102-122
67		David P. Gilliam, Matt Bishop: Twelfth Securities Technologies (ST) Workshop Report. WETICE 2008: 255-256
66		Alec Yasinsac, Matt Bishop: The Dynamics of Counting and Recounting Votes. IEEE Security & Privacy 6(3): 22-29 (2008)
65		Kara L. Nance, Matt Bishop, Brian Hay: Virtual Machine Introspection: Observation or Interference? IEEE Security & Privacy 6(5): 32-37 (2008)
64		Matt Bishop, Deborah A. Frincke: Information Assurance Education: A Work In Progress. IEEE Security & Privacy 6(5): 54-57 (2008)
	2007
63		Shiau-Huey Wang, Chinyang Henry Tseng, Karl N. Levitt, Matt Bishop: Cost-Sensitive Intrusion Responses for Mobile Ad Hoc Networks. RAID 2007: 127-145
62		Sean Peisert, Matt Bishop, Sidney Karin, Keith Marzullo: Toward Models for Forensic Analysis. SADFE 2007: 3-15
61		David P. Gilliam, Matt Bishop, Y. V. Ramana Reddy: ST Workshop Final Report. WETICE 2007: 387-388
60		Sean Peisert, Matt Bishop: How to Design Computer Security Experiments. World Conference on Information Security Education 2007: 141-148
59		Matt Bishop: E-Voting as a Teaching Tool. World Conference on Information Security Education 2007: 17-24
58		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)
57		Matt Bishop, David Wagner: Risks of e-voting. Commun. ACM 50(11): 120 (2007)
56		Earl T. Barr, Matt Bishop, Mark Gondree: Fixing federal e-voting standards. Commun. ACM 50(3): 19-24 (2007)
55		Matt Bishop, Deborah A. Frincke: Achieving Learning Objectives through E-Voting Case Studies. IEEE Security & Privacy 5(1): 53-56 (2007)
54		Sean Peisert, Matt Bishop: I Am a Scientist, Not a Philosopher! IEEE Security & Privacy 5(4): 48-51 (2007)
53		Matt Bishop: About Penetration Testing. IEEE Security & Privacy 5(6): 84-87 (2007)
52		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)
	2006
51		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
50		Vicentiu Neagoe, Matt Bishop: Inconsistency in deception for defense. NSPW 2006: 31-38
49		Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt: Sanitization models and their limitations. NSPW 2006: 41-56
48		David P. Gilliam, Matt Bishop: Eleventh Securities Technologies (ST) Workshop Report. WETICE 2006: 305-306
47		Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt: Some Problems in Sanitizing Network Data. WETICE 2006: 307-312
46		David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog: Security Verification Techniques Applied to PatchLink COTS Software. WETICE 2006: 319-325
45		Matt Bishop: Teaching context in information security. ACM Journal of Educational Resources in Computing 6(3): (2006)
44		Matt Bishop, Deborah A. Frincke: Who Owns Your Computer? IEEE Security & Privacy 4(2): 61-63 (2006)
	2005
43		Jingmin Zhou, Adam J. Carlson, Matt Bishop: Verify Results of Network Intrusion Alerts Using Lightweight Protocol Analysis. ACSAC 2005: 117-126
42		David P. Gilliam, John D. Powell, Matt Bishop: Application of Lightweight Formal Methods to Software Security. WETICE 2005: 160-165
41		Matt Bishop, Deborah A. Frincke: A Human Endeavor: Lessons from Shakespeare and Beyond. IEEE Security & Privacy 3(4): 49-51 (2005)
40		Matt Bishop, Deborah A. Frincke: Teaching Secure Programming. IEEE Security & Privacy 3(5): 54-56 (2005)
	2004
39		Matt Bishop, Bhume Bhumiratana, Rick Crawford, Karl N. Levitt: How to Sanitize Data. WETICE 2004: 217-222
38		Tom Walcott, Matt Bishop: Traducement: A model for record security. ACM Trans. Inf. Syst. Secur. 7(4): 576-590 (2004)
37		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 47(3): 58-61 (2004)
36		Matt Bishop, Deborah A. Frincke: Teaching Robust Programming. IEEE Security & Privacy 2(2): 54-57 (2004)
35		Deborah A. Frincke, Matt Bishop: Guarding the Castle Keep: Teaching with the Fortress Metaphor. IEEE Security & Privacy 2(3): 69-72 (2004)
34		Deborah A. Frincke, Matt Bishop: Back to School. IEEE Security & Privacy 2(4): 54-56 (2004)
33		Deborah A. Frincke, Matt Bishop: Joining the Security Education Community. IEEE Security & Privacy 2(5): 61-63 (2004)
32		Deborah A. Frincke, Matt Bishop: Academic Degrees and Professional Certification. IEEE Security & Privacy 2(6): 56-58 (2004)
	2003
31		Michael Clifford, Daniel Faigin, Matt Bishop, Tasneem Brutch: Miracle Cures and Toner Cartridges: Finding Solutions to the Spam Problem. ACSAC 2003: 428-429
30		Eric Haugh, Matt Bishop: Testing C Programs for Buffer Overflow Vulnerabilities. NDSS 2003
29		David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop: Addressing Software Security and Mitigations in the Life Cycle. SEW 2003: 201
28		David P. Gilliam, Thomas L. Wolfe, Joseph S. Sherif, Matt Bishop: Software Security Checklist for the Software Life Cycle. WETICE 2003: 243-248
27		Matt Bishop: Panel: Teaching Undergraduate Information Assurance. World Conference on Information Security Education 2003: 169-171
26		Matt Bishop: What Is Computer Security? IEEE Security & Privacy 1(1): 67-69 (2003)
	2002
25		David S. Peterson, Matt Bishop, Raju Pandey: A Flexible Containment Mechanism for Executing Untrusted Code. USENIX Security Symposium 2002: 207-225
24		Matt Bishop: Trends in academic research: vulnerabilities analysis and intrusion detection. Computers & Security 21(7): 609-612 (2002)
	2001
23		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
22		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
	2000
21		Tuomas Aura, Matt Bishop, Dean Sniegowski: Analyzing Single-Server Network Inhibition. CSFW 2000: 108-117
20		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-131
19		David P. Gilliam, John C. Kelly, Matt Bishop: Reducing Software Security Risk through an Integrated Approach. WETICE 2000: 141-146
18		Brant Hashii, Scott Malabarba, Raju Pandey, Matt Bishop: Supporting reconfigurable security policies for mobile programs. Computer Networks 33(1-6): 77-93 (2000)
17		Matt Bishop: Education in information security. IEEE Concurrency 8(4): 4-8 (2000)
	1999
16		Matt Bishop: Vulnerability Analysis: An Extended Abstract. Recent Advances in Intrusion Detection 1999
	1998
15		Michael Clifford, C. Lavine, Matt Bishop: The Solar Trust Model: Authentication Without Limitation. ACSAC 1998: 300-307
	1996
14		Matt Bishop, Michael Dilger: Checking for Race Conditions in File Accesses. Computing Systems 2(2): 131-152 (1996)
13		Edward Amoroso, Matt Bishop: Secruity Enables Electronic Commerce. J. Network Syst. Manage. 4(3): 247-249 (1996)
12		Matt Bishop: Conspiracy and Information Flow in the Take-Grant Protection Model. Journal of Computer Security 4(4): 331-360 (1996)
	1995
11		Matt Bishop, Daniel V. Klein: Improving system security via proactive password checking. Computers & Security 14(3): 233-249 (1995)
10		Matt Bishop: Theft of Information in the Take-Grant Protection Model. Journal of Computer Security 3(4): 283-308 (1995)
	1993
9		Matt Bishop: Teaching Computer Security. SEC 1993: 65-74
	1991
8		Matt Bishop: An Authentication Mechanism for USENET. USENIX Winter 1991: 281-288
	1990
7		Matt Bishop: Collaboration using Roles. Softw., Pract. Exper. 20(5): 485-497 (1990)
	1988
6		Matt Bishop: Theft of Information in the Take-Grant Protection Model. CSFW 1988: 194-218
5		Matt Bishop: An Application of a Fast Data Encryption Standard Implementation. Computing Systems 1(3): 221-254 (1988)
	1987
4		Matt Bishop: Profiling Under UNIX by Patching. Softw., Pract. Exper. 17(10): 729-739 (1987)
	1986
3		Matt Bishop: Analyzing the Security of an Existing Computer System. FJCC 1986: 1115-1119
	1981
2		Matt Bishop: Hierarchical Take-Grant Protection Systems. SOSP 1981: 109-122
	1979
1		Matt Bishop, Lawrence Snyder: The Transfer of Information and Authority in a Protection System. SOSP 1979: 45-54

Coauthor Index

1	Ali Abdallah	[70]
2	Edward Amoroso	[13]
3	Chris Andrew	[46]
4	Tuomas Aura	[20] [21]
5	Ruzena Bajcsy	[37]
6	Earl T. Barr	[56]
7	Terry Benzel	[37]
8	Bhume Bhumiratana	[39] [47] [49] [74]
9	Robert Braden	[37]
10	Carla E. Brodley	[37]
11	Tasneem Brutch	[31]
12	Joel Brynielsson	[70]
13	Diana Burley	[94]
14	Bill Caelli	[70]
15	Adam Carlson	[58]
16	Adam J. Carlson	[43]
17	Ebrima N. Ceesay	[51]
18	Lisa Clark	[47] [49]
19	Michael Clifford	[15] [31] [90]
20	Stephen Cooper	[70]
21	Steve Cooper	[94]
22	Rick Crawford	[39] [47] [49]
23	James P. Crutchfield	[85]
24	Melissa Dark	[70]
25	Michael Dilger	[14]
26	Ron Dodge	[94]
27	Sophie Engle	[77] [83] [93]
28	Sonia Fahmy	[37]
29	Daniel Faigin	[31]
30	Sally Floyd	[37]
31	Deborah A. Frincke	[32] [33] [34] [35] [36] [40] [41] [44] [55] [64] [81] [83]
32	Ryan W. Gardner	[71]
33	Carrie Gates	[77] [83] [86]
34	Michael Gertz	[51]
35	Anup K. Ghosh	[23]
36	David P. Gilliam	[19] [22] [28] [29] [42] [46] [48] [61] [67]
37	Dieter Gollmann	[84] [88]
38	Mark Gondree	[56]
39	Frank L. Greitzer	[83]
40	W. Hardaker	[37]
41	Brant Hashii	[18]
42	Eric Haugh	[29] [30]
43	Elizabeth K. Hawthorne	[70]
44	Brian Hay	[65] [72] [75] [78] [91] [92] [95]
45	Mark Heckman	[58]
46	Lance J. Hoffman	[70]
47	Damien Howard	[93]
48	John R. Hughes	[20]
49	Jeffrey Hunker	[84] [88]
50	Sameer Jog	[46]
51	Anthony D. Joseph	[37]
52	Sidney Karin	[52] [62]
53	John C. Kelly	[19] [22]
54	George Kesidis	[37]
55	Daniel V. Klein	[11]
56	Tadayoshi Kohno	[71]
57	C. Lavine	[15]
58	Zhengyi Le	[73]
59	Karl N. Levitt	[37] [39] [47] [49] [51] [63]
60	Robert Lindell	[37]
61	Peng Liu	[37]
62	Fillia Makedon	[73]
63	Scott Malabarba	[18]
64	Keith Marzullo	[52] [62] [68]
65	Lucas McDaniel	[95]
66	David Miller	[37]
67	Russ Mundy	[37]
68	Kara L. Nance	[65] [72] [75] [78] [91] [92] [95]
69	Vicentiu Neagoe	[50]
70	Cliford Neuman	[37]
71	Peter G. Neumann	[87]
72	Christine Nickell	[70]
73	Brenda Oldfield	[70]
74	Ron Ostrenga	[37]
75	Raju Pandey	[18] [25]
76	Vern Paxson	[37]
77	Sean Peisert	[52] [54] [60] [62] [68] [76] [77] [83] [87]
78	Lance C. Pérez	[70]
79	David S. Peterson	[25]
80	Charles Pfleeger	[70]
81	Victor P. Piotrowski Jr.	[70]
82	Phillip A. Porras	[37]
83	John D. Powell	[22] [29] [42] [46]
84	Christian W. Probst	[84] [88]
85	Richard A. Raines	[70]
86	Y. V. Ramana Reddy	[61]
87	Brennen Reynolds	[58]
88	Catherine Rosenberg	[37]
89	Shankar Sastry (Shankar S. Sastry)	[37]
90	Marv Schaefer	[87]
91	Corey D. Schou	[70]
92	Robert Seacord	[94]
93	Joseph S. Sherif	[28]
94	Dean Sniegowski	[21]
95	Lawrence Snyder (Larry Snyder)	[1]
96	Daniel F. Sterne	[37]
97	Edward B. Talbot	[81]
98	Blair Taylor	[94]
99	Chinyang Henry Tseng	[63]
100	J. Doug Tygar (J. D. Tygar)	[37]
101	David Wagner	[57]
102	Tom Walcott	[38]
103	Shiau-Huey Wang	[63]
104	Sean Whalen	[77] [83] [85] [93]
105	James A. Whittaker	[23]
106	Thomas L. Wolfe	[28]
107	Shyhtsun Felix Wu	[37]
108	Alec Yasinsac	[66] [69] [76]
109	Jingmin Zhou	[43] [51] [58]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page