Author Info
Name
Affiliation
Papers
ADAM FOLTZER
Galois, Inc, Portland, OR, USA
5
Collaborators
Citations 
PageRank 
33
49
2.74
Referers 
Referees 
References 
166
192
70
Search Limit
100192
Title
Citations
PageRank
Year
A Formal Approach to Constructing Secure Air Vehicle Software.40.572018
5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs.120.512016
Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion230.812014
SAW: the software analysis workbench.20.362013
A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud80.492012