Title
Computer-Aided Cryptographic Proofs.
Year
DOI
Venue
2012
10.1007/978-3-642-32347-8_2
ITP
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
10
5
Name
Order
Citations
PageRank
Gilles Barthe12337152.36
Juan Manuel Crespo21647.25
Benjamin Grégoire381748.93
César Kunz416710.81
Santiago Zanella Béguelin51146.28