Paul A. Karger

37 papers A* 2A 7C 1Journal 13Unranked 13

Year	Rank	Type	Title / Venue / Authors
2011	J	`jnl`	Lessons Learned: Building the Caernarvon High-Assurance Operating System. IEEE Secur. Priv. Paul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber
2010	C	`conf`	Designing a Side Channel Resistant Random Number Generator. CARDIS 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
2010	—	`conf`	Implementing a High-Assurance Smart-Card OS. Financial Cryptography Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne McIntosh, Samuel Weber, Jonathan W. Edwards
2009	J	`jnl`	Privacy is essential for secure mobile devices. IBM J. Res. Dev. Paul A. Karger, Gaurav S. Kc, David C. Toll
2009	A	`conf`	Securing virtual machine monitors: what is needed? AsiaCCS Paul A. Karger
2008	J	`jnl`	I/O for Virtual Machine Monitors: Security and Performance Issues. IEEE Secur. Priv. Paul A. Karger, David Safford
2008	J	`jnl`	The Caernarvon secure embedded operating system. ACM SIGOPS Oper. Syst. Rev. David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber
2008	A	`conf`	The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. ISSRE Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer
2007	—	`conf`	Fuzzy Multi-Level Security: An Experiment on Quantified Risk-Adaptive Access Control. S&P Pau-Chen Cheng, Pankaj Rohatgi, Claudia Keser, Paul A. Karger, Grant M. Wagner, Angela Schuett Reninger
2007	A*	`conf`	Performance and security lessons learned from virtualizing the alpha processor. ISCA Paul A. Karger
2006	—	`conf`	Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations. ISSSE Amit M. Paradkar, Suzanne McIntosh, Sam Weber, David C. Toll, Paul A. Karger, Matt Kaplan
2006	A	`conf`	Privacy and security threat analysis of the federal employee personal identity verification (PIV) program. SOUPS Paul A. Karger
2005	—	`conf`	A software flaw taxonomy: aiming tools at security. SESS@ICSE Sam Weber, Paul A. Karger, Amit M. Paradkar
2005	J	`jnl`	A software flaw taxonomy: aiming tools at security. ACM SIGSOFT Softw. Eng. Notes Sam Weber, Paul A. Karger, Amit M. Paradkar
2005	J	`jnl`	Enforcing Confinement in Distributed Storage and a Cryptographic Model for Access Control. IACR Cryptol. ePrint Arch. Shai Halevi, Paul A. Karger, Dalit Naor
2005	A	`conf`	Multi-Level Security Requirements for Hypervisors. ACSAC Paul A. Karger
2005	J	`jnl`	Preventing Attacks on Machine Readable Travel Documents (MRTDs). IACR Cryptol. ePrint Arch. Gaurav S. Kc, Paul A. Karger
2004	—	`conf`	Increased Information Flow Needs for High-Assurance Composite Evaluations. IWIA Paul A. Karger, Helmut Kurth
2003	A	`conf`	Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card. ESORICS Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll
2003	—	`conf`	The Importance of High Assurance Security in Pervasive Computing. SPC Paul A. Karger
2002	A	`conf`	Thirty Years Later: Lessons from the Multics Security Evaluation. ACSAC Paul A. Karger, Roger R. Schell
2002	J	`jnl`	Verified Formal Security Models for Multiapplicative Smart Cards. J. Comput. Secur. Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
2000	A	`conf`	Verification of a Formal Security Model for Multiapplicative Smart Cards. ESORICS Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
1997	J	`jnl`	Two-phase cryptographic key recovery system. Comput. Secur. Rosario Gennaro, Paul A. Karger, Stephen M. Matyas, Mohammad Peyravian, Allen Roginsky, David Safford, Michael Willett, Nevenko Zunic
1995	J	`jnl`	Security issues in a CDPD wireless network. IEEE Wirel. Commun. Yair Frankel, Amir Herzberg, Paul A. Karger, Hugo Krawczyk, Charles A. Kunzinger, Mordechai M. Yung
1991	J	`jnl`	A Retrospective on the VAX VMM Security Kernel. IEEE Trans. Software Eng. Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin, Andrew H. Mason, Clifford E. Kahn
1991	—	`conf`	Storage Channels in Disk Arm Optimization. S&P Paul A. Karger, John C. Wray
1990	—	`conf`	A VMM Security Kernel for the VAX Architecture. S&P Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin, Andrew H. Mason, Clifford E. Kahn
1989	—	`conf`	New Methods for Immediate Revocation. S&P Paul A. Karger
1989	A*	`conf`	Using Registers to Optimize Cross-Domain Call Performance. ASPLOS Paul A. Karger
1988	—	`conf`	Implementing commercial data integrity with secure capabilities. S&P Paul A. Karger
1988	—	`—`	Improving security and performance for capability systems. Paul A. Karger
1987	—	`conf`	Limiting the Damage Potential of Discretionary Trojan Horses. S&P Paul A. Karger
1986	J	`jnl`	Authentication and Discretionary Access Control in Computer Networks. Comput. Networks Paul A. Karger
1986	J	`jnl`	Authentication and discretionary access control in computer networks. Comput. Secur. Paul A. Karger
1984	—	`conf`	An Augmented Capability Architecture to Support Lattice Security and Traceability of Access. S&P Paul A. Karger, A. J. Herbert
1978	—	`conf`	The Lattice Security Model In A Public Computing Network. ACM Annual Conference (1) Paul A. Karger

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.