Paul A. Karger

	2011
31		Paul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber: Lessons Learned: Building the Caernarvon High-Assurance Operating System. IEEE Security & Privacy 9(1): 22-30 (2011)
	2010
30		Suresh Chari, Vincenzo V. Diluoffo, Paul A. Karger, Elaine R. Palmer, Tal Rabin, Josyula R. Rao, Pankaj Rohatgi, Helmut Scherzer, Michael Steiner, David C. Toll: Designing a Side Channel Resistant Random Number Generator. CARDIS 2010: 49-64
29		Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne McIntosh, Samuel Weber, Jonathan W. Edwards: Implementing a High-Assurance Smart-Card OS. Financial Cryptography 2010: 51-65
	2009
28		Paul A. Karger: Securing virtual machine monitors: what is needed? ASIACCS 2009: 1
27		Paul A. Karger, Gaurav S. Kc, David C. Toll: Privacy is essential for secure mobile devices. IBM Journal of Research and Development 53(2): 5 (2009)
	2008
26		Sam Weber, Amitkumar Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer: The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. ISSRE 2008: 229-238
25		Paul A. Karger, David Safford: I/O for Virtual Machine Monitors: Security and Performance Issues. IEEE Security & Privacy 6(5): 16-23 (2008)
24		David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber: The Caernarvon secure embedded operating system. Operating Systems Review 42(1): 32-39 (2008)
	2007
23		Pau-Chen Cheng, Pankaj Rohatgi, Claudia Keser, Paul A. Karger, Grant M. Wagner, Angela Schuett Reninger: Fuzzy Multi-Level Security: An Experiment on Quantified Risk-Adaptive Access Control. IEEE Symposium on Security and Privacy 2007: 222-230
22		Paul A. Karger: Performance and security lessons learned from virtualizing the alpha processor. ISCA 2007: 392-401
	2006
21		Paul A. Karger: Privacy and security threat analysis of the federal employee personal identity verification (PIV) program. SOUPS 2006: 114-121
	2005
20		Paul A. Karger: Multi-Level Security Requirements for Hypervisors. ACSAC 2005: 267-275
19		Sam Weber, Paul A. Karger, Amit M. Paradkar: A software flaw taxonomy: aiming tools at security. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
18		Shai Halevi, Paul A. Karger, Dalit Naor: Enforcing Confinement in Distributed Storage and a Cryptographic Model for Access Control. IACR Cryptology ePrint Archive 2005: 169 (2005)
17		Gaurav S. Kc, Paul A. Karger: Preventing Attacks on Machine Readable Travel Documents (MRTDs). IACR Cryptology ePrint Archive 2005: 404 (2005)
	2004
16		Paul A. Karger, Helmut Kurth: Increased Information Flow Needs for High-Assurance Composite Evaluations. IWIA 2004: 129-140
	2003
15		Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll: Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card. ESORICS 2003: 181-200
14		Paul A. Karger: The Importance of High Assurance Security in Pervasive Computing. SPC 2003: 9
	2002
13		Paul A. Karger, Roger R. Schell: Thirty Years Later: Lessons from the Multics Security Evaluation. ACSAC 2002: 119-126
12		Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll: Verified Formal Security Models for Multiapplicative Smart Cards. Journal of Computer Security 10(4): 339-368 (2002)
	2000
11		Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll: Verification of a Formal Security Model for Multiapplicative Smart Cards. ESORICS 2000: 17-36
	1997
10		Rosario Gennaro, Paul A. Karger, Stephen M. Matyas, Mohammad Peyravian, Allen Roginsky, David Safford, Michael Willett, Nevenko Zunic: Two-phase cryptographic key recovery system. Computers & Security 16(6): 481-506 (1997)
	1991
9		Paul A. Karger, J. C. Wray: Storage Channels in Disk Arm Optimization. IEEE Symposium on Security and Privacy 1991: 52-63
8		Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin, Andrew H. Mason, Clifford E. Kahn: A Retrospective on the VAX VMM Security Kernel. IEEE Trans. Software Eng. 17(11): 1147-1165 (1991)
	1990
7		Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin, Andrew H. Mason, Clifford E. Kahn: A VMM Security Kernel for the VAX Architecture. IEEE Symposium on Security and Privacy 1990: 2-19
	1989
6		Paul A. Karger: Using Registers to Optimize Cross-Domain Call Performance. ASPLOS 1989: 194-204
5		Paul A. Karger: New Methods for Immediate Revocation. IEEE Symposium on Security and Privacy 1989: 48-55
	1987
4		Paul A. Karger: Limiting the Damage Potential of Discretionary Trojan Horses. IEEE Symposium on Security and Privacy 1987: 32-37
	1986
3		Paul A. Karger: Authentication and Discretionary Access Control in Computer Networks. Computer Networks 10: 27-37 (1986)
	1984
2		Paul A. Karger, A. J. Herbert: An Augmented Capability Architecture to Support Lattice Security and Traceability of Access. IEEE Symposium on Security and Privacy 1984: 2-12
	1978
1		Paul A. Karger: The Lattice Security Model In A Public Computing Network. ACM Annual Conference (1) 1978: 453-459

Coauthor Index

1	Vernon Austel	[11] [12]
2	Douglas W. Bonin	[7] [8]
3	Ran Canetti	[15]
4	Suresh Chari	[30]
5	Pau-Chen Cheng	[23]
6	Vincenzo V. Diluoffo	[30]
7	Jonathan W. Edwards	[29]
8	Rosario Gennaro	[10]
9	Shai Halevi	[18]
10	A. J. Herbert	[2]
11	Clifford E. Kahn	[7] [8]
12	Matthew Kaplan	[26]
13	Gaurav S. Kc	[17] [27]
14	Claudia Keser	[23]
15	Hugo Krawczyk	[15]
16	Helmut Kurth	[16]
17	Andrew H. Mason	[7] [8]
18	Stephen M. Matyas	[10]
19	Suzanne McIntosh	[24] [26] [29] [31]
20	Dalit Naor	[18]
21	Elaine R. Palmer	[24] [26] [29] [30] [31]
22	Amit M. Paradkar	[19]
23	Amitkumar Paradkar	[26]
24	Mohammad Peyravian	[10]
25	Tal Rabin	[15] [30]
26	Josyula R. Rao	[30]
27	Wolfgang Reif	[11] [12]
28	Angela Schuett Reninger (Angela Schuett)	[23]
29	Allen Roginsky	[10]
30	Pankaj Rohatgi	[23] [30]
31	David Safford	[10] [25]
32	Axel Schairer	[11] [12]
33	Roger R. Schell	[13]
34	Gerhard Schellhorn	[11] [12]
35	Helmut Scherzer	[15] [30]
36	Michael Steiner	[30]
37	David C. Toll	[11] [12] [15] [24] [26] [27] [29] [30] [31]
38	Grant M. Wagner	[23]
39	Sam Weber (Samuel Weber)	[19] [24] [26] [29] [31]
40	Michael Willett	[10]
41	J. C. Wray	[9]
42	Nevenko Zunic	[10]
43	Mary Ellen Zurko	[7] [8]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page