Aaron Tomb - RankMe

20 papers A* 1A 2B 2C 1Journal 4Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Formally Verified Cloud-Scale Authorization. ICSE Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2025	B	`conf`	Static Coverage in Deductive Software Verification. FMCAD Aaron Tomb, Anjali Joshi
2024	J	`jnl`	Crux, a Precise Verifier for Rust and Other Languages. CoRR Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins, Mike Dodds, Joe Hendrix, Tristan Ravitch, Patrick Redmond, Ryan G. Scott, Aaron Tomb
2023	—	`ed.`	Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023 FTfJP@ECOOP Aaron Tomb
2021	J	`jnl`	A type system for extracting functional specifications from memory-safe imperative programs. Proc. ACM Program. Lang. Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic
2020	—	`conf`	Symbolic Testing for C and Rust. SecDev Aaron Tomb, Stuart Pernsteiner, Mike Dodds
2018	—	`conf`	Continuous Formal Verification of Amazon s2n. CAV (2) Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook
2018	—	`conf`	Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System. CAV (2) Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb
2018	—	`conf`	Tutorial: Continuous Verification of Critical Software. SecDev Mike Dodds, Stephen Magill, Aaron Tomb
2016	J	`jnl`	Automated Verification of Real-World Cryptographic Implementations. IEEE Secur. Priv. Aaron Tomb
2016	—	`conf`	Constructing Semantic Models of Programs with the Software Analysis Workbench. VSTTE Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb
2016	B	`conf`	TrackOS: A Security-Aware Real-Time Operating System. RV Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb
2014	—	`conf`	Formal Verification of kLIBC with the WP Frama-C Plug-in. NASA Formal Methods Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb
2014	—	`conf`	Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion. PPREW@ACSAC Tristan Ravitch, E. Rogan Creswick, Aaron Tomb, Adam Foltzer, Trevor Elliott, Ledah Casburn
2013	—	`conf`	SAW: the software analysis workbench. HILT Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb
2012	A	`conf`	Detecting inconsistencies via universal reachability analysis. ISSTA Aaron Tomb, Cormac Flanagan
2010	J	`jnl`	Space-efficient gradual typing. High. Order Symb. Comput. David Herman, Aaron Tomb, Cormac Flanagan
2007	—	`conf`	Space-Efficient Gradual Typing. Trends in Functional Programming David Herman, Aaron Tomb, Cormac Flanagan
2007	A	`conf`	Variably interprocedural program analysis for runtime error detection. ISSTA Aaron Tomb, Guillaume P. Brat, Willem Visser
2005	C	`conf`	Automatic type inference via partial evaluation. PPDP Aaron Tomb, Cormac Flanagan

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.