Author Info
Name
Affiliation
Papers
ERNIE COHEN
Amazon Web Services, New York, NY, USA
1
Collaborators
Citations 
PageRank 
9
3
0.40
Referers 
Referees 
References 
11
0
0
Title
Citations
PageRank
Year
A Machine-Checked Proof of Security for AWS Key Management Service30.402019