FMS
Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States
co-located with PLDI 2016

FMS Contributors

Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (8)

B
Balakrishnan, Gogul
Google
Scalable Security Analysis of Android Apps
C
Chong, Stephen
Harvard University
Report on the NSF Workshop on Formal Methods for Security
D
Dutta, Anupam
Carnegie Mellon University
Privacy and Algorithmic Accountability
E
Emmi, Michael
IMDEA Software Institute
Verifying Constant-Time Implementations
G
Guttman, Joshua
Worcester Polytechnic Institute
Report on the NSF Workshop on Formal Methods for Security
J
Jha, Somesh
University of Wisconsin, Madison
Co-chair in Organizing Committee within the FMS-track
M
Madhusudan, P.
University of Illinois at Urbana-Champaign
Co-chair in Organizing Committee within the FMS-track
P
Parno, Bryan
Ironclad: Full Verification of Complex Systems