Dr. Paul A. Karger has been a Research Staff Member in IBM's Thomas J. Watson Research Center since 1995. His current work is on the design of improved CPU architectures and hypervisors to support high-assurance computer security. His earlier work at IBM included automated test generation for common criteria evaluations and developing a high-assurance, penetration-resistant operating system for smart cards, including the design of new mandatory secrecy and integrity access control models for commercial applications. He also worked on privacy-preserving key-recovery systems and on developing IBM's ethical hacking consulting practice.
As an undergraduate, he was a member of the Multics development team at the Massachusetts Institute of Technology. After graduation and receiving his commission as an officer in the US Air Force, he began his computer security career at Electronic Systems Division, Hanscom AFB, where he developed some of the original technology for penetration-resistant computer systems. He then was on the Computer Science faculty at the US Air Force Academy. After leaving the Air Force, he founded Digital Equipment Corporation's Secure Systems Department, where he was the lead designer on the Security Enhanced VMS operating system prototype and on Digital's A1-secure virtual machine monitor security kernel. He was security architect for the Open Software Foundation and researched wireline and wireless telephone security at GTE Laboratories.
Dr. Karger holds SB, SM, and EE degrees from the Massachusetts Institute of Technology, and a PhD degree from the University of Cambridge, England. He has published extensively and holds 14 US and 19 non-US patents in computer security.