FMS 2018 Contributors -

Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States

co-located with PLDI 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (11)

A Andrew W. AppelAppel, Andrew W. Princeton Modular Verification of Deep Specifications of Security-Critical Components
G Vinod GanapathyGanapathy, Vinod Indian Institute of Science, Bangalore Committee Member in Program Committee within the FMS-track
Aarti GuptaGupta, Aarti Princeton University Committee Member in Program Committee within the FMS-track
J Somesh JhaJha, Somesh University of Wisconsin, MadisonUnited States Committee Member in Organizing Committee within the FMS-track Conference Chair in Program Committee within the FMS-track
K Boris KöpfKöpf, Boris IMDEA Software Institute, SpainSpain Committee Member in Program Committee within the FMS-track
M P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Committee Member in Organizing Committee within the FMS-track Committee Member in Program Committee within the FMS-track
Matteo MaffeiMaffei, Matteo TU Wien Committee Member in Program Committee within the FMS-track
Andrew MyersMyers, Andrew Cornell UniversityUnited States Designing hardware to be free of covert channels by construction
S Cynthia SturtonSturton, Cynthia A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem
Z Rui ZhangZhang, Rui A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs