Adam Foltzer

According to our database, Adam Foltzer authored at least 6 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

A Formal Approach to Constructing Secure Air Vehicle Software.

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

Computer, 2018

2016

5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs.

Kevin Lewi, Alex J. Malozemoff, Daniel Apon, Brent Carmer, Adam Foltzer, Daniel Wagner, David W. Archer, Dan Boneh, Jonathan Katz, Mariana Raykova

IACR Cryptol. ePrint Arch., 2016

Constructing Semantic Models of Programs with the Software Analysis Workbench.

Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2014

Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion.

Tristan Ravitch, E. Rogan Creswick, Aaron Tomb, Adam Foltzer, Trevor Elliott, Ledah Casburn

Proceedings of the 4th Program Protection and Reverse Engineering Workshop, 2014

2013

SAW: the software analysis workbench.

Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2012

A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud.

Adam Foltzer, Abhishek Kulkarni, Rebecca Swords, Sajith Sasidharan, Eric Jiang, Ryan Newton

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012