Adam Foltzer

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 4

Top Topics

Android Application

Security Analysis

Semantic Models

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart
A Formal Approach to Constructing Secure Air Vehicle Software. Computer 51 (11) (2018)
Kevin Lewi, Alex J. Malozemoff, Daniel Apon, Brent Carmer, Adam Foltzer, Daniel Wagner, David W. Archer, Dan Boneh, Jonathan Katz, Mariana Raykova
5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs. CCS (2016)
Kevin Lewi, Alex J. Malozemoff, Daniel Apon, Brent Carmer, Adam Foltzer, Daniel Wagner, David W. Archer, Dan Boneh, Jonathan Katz, Mariana Raykova
5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs. IACR Cryptol. ePrint Arch. 2016 (2016)
Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb
Constructing Semantic Models of Programs with the Software Analysis Workbench. VSTTE (2016)
Tristan Ravitch, E. Rogan Creswick, Aaron Tomb, Adam Foltzer, Trevor Elliott, Ledah Casburn
Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion. PPREW@ACSAC (2014)
Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb
SAW: the software analysis workbench. HILT (2013)
Adam Foltzer, Abhishek Kulkarni, Rebecca Swords, Sajith Sasidharan, Eric Jiang, Ryan Newton
A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud. ICFP (2012)