Karger, P.A., Multi-Organizational Mandatory Access Controls for Commercial Applications, RC 21673 (97655), 22 February 2000, IBM Research Division, Thomas J. Watson Research Center: Yorktown Heights, NY. URL: http://domino.watson.ibm.com/library/CyberDig.nsf/home
Karger, P.A., V.R. Austel, and D.C. Toll, A New Mandatory Security Policy Combining Secrecy and Integrity, RC 21717 (97406), 15 March 2000, IBM Research Division, Thomas J. Watson Research Center: Yorktown Heights, NY. URL: http://domino.watson.ibm.com/library/CyberDig.nsf/home
Karger, P.A., V.R. Austel, and D.C. Toll. Using a Mandatory Secrecy and Integrity Policy on Smart Cards and Mobile Devices. in EUROSMART Security Conference. 13-15 June 2000, Marseilles, France p. 134-148.
Karger, P.A., V.R. Austel, and D.C. Toll. Using Mandatory Secrecy and Integrity for Business to Business Applications on Mobile Devices. in Workshop on Innovations in Strong Access Control. 25-27 September 2000, Naval Postgraduate School, Monterey, CA published on CD-ROM. URL: http://www.acsac.org/sac-tac/wisac00/wed0830.karger.pdf
Schellhorn, G., W. Reif, A. Schairer, P. Karger, V. Austel, and D. Toll. Verification of a Formal Security Model for Multiapplicative Smart Cards. in 6th European Symposium on Research in Computer Security (ESORICS 2000). 4-6 October 2000, Toulouse, France:Lecture Notes in Computer Science Vol. 1895. Springer-Verlag. p. 17-36.
Schellhorn, G., W. Reif, A. Schairer, P. Karger, V. Austel, and D. Toll, Verified formal security model for multiapplicative smart cards. Journal of Computer Security, 2002. 10(4): p. 339-367. URL: http://iospress.metapress.com/link.asp?id=uqmavl5q58ah74ja
Karger, P.A. The Importance of High-Assurance Security in Pervasive Computing. in Security in Pervasive Computing: First International Conference. 12-14 March 2003, Boppard, Germany:Lecture Notes in Computer Science Vol. 2802. Springer-Verlag. p. 9. URL: http://www.dfki.de/spc2003/karger.pdf
Scherzer, H., R. Canetti, P.A. Karger, H. Krawczyk, T. Rabin, and D.C. Toll. Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card. in 8th European Symposium on Research in Computer Security (ESORICS 2003). 13-15 October 2003, Gjøvik, Norway:Lecture Notes in Computer Science Vol. 2808. Springer Verlag. p. 181-200.
Karger, P.A. and H. Kurth. Increased Information Flow Needs for High-Assurance Composite Evaluations. in Second IEEE International Information Assurance Workshop. 8-9 April 2004, Charlotte, NC IEEE Computer Society. p. 129-140.
Karger, P.A. and H. Kurth. Increased Information Flow Needs for High-Assurance Composite Evaluations. in Fourth Annual High Confidence Software and Systems Proceedings. 13-15 April 2004, Baltimore, MD National Security Agency. p. 59.
Karger, P.A. Universal Access Classes: Authentication and Privacy Preservation. in DARPA Invitational Workshop: Security Challenges at the Foundation:
Secure Computing Enabled by Hardware, Firmware and Low-Level Software. 30-31 August 2004, Naval Postgraduate School, Monterey, CA. URL: http://www.cisr.nps.navy.mil/DARPA/agenda.html
Kurth, H. and P.A. Karger. Suggestion for a Framework for Composite Evaluations. in The 5th International Common Criteria Conference. 28-30 September 2004, Berlin, Germany. URL: http://www.iccconference.com/conference-agenda/track-agenda.htm
Karger, P.A., FIPS PUB 201 Security and Privacy Recommendations, RC23871 (W0501-049), 14 January 2005, IBM Corporation, Thomas J. Watson Research Center: Yorktown Heights, NY. URL: http://domino.watson.ibm.com/library/CyberDig.nsf/Home
Karger, P.A., Privacy and Security Threat Analysis of the Federal
Employee Personal Identity Verification (PIV) Program, RC 23910 (W0603-080), 10 March 2006, IBM T. J. Watson Research Center: Yorktown Heights, NY. URL: http://www.research.ibm.com/resources/paper_search.html
Kc, G.S. and P.A. Karger, Preventing Attacks on Machine Readable Travel Documents (MRTDs), RC 23909 (W0603-079), 10 March 2006, IBM T. J. Watson Research Center: Yorktown Heights, NY. URL: http://www.research.ibm.com/resources/paper_search.html
Paradkar, A., S. McIntosh, S. Weber, D. Toll, P. Karger, and M. Kaplan. Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations. in IEEE International Symposium on Secure Software Engineering (ISSSE '06). 13-15 March 2006, Arlington, VA IEEE Computer Society. p. 65-74.