Title
Verified Implementations for Secure and Verifiable Computation.
Year
Venue
DocType
2014
IACR Cryptology ePrint Archive
Journal
Volume
Citations 
PageRank 
2014
0
0.34
References 
Authors
0
7
Name
Order
Citations
PageRank
José Bacelar Almeida11028.34
Manuel Barbosa233724.91
Gilles Barthe32337152.36
Guillaume Davy400.34
François Dupressoir51749.68
Benjamin Grégoire681748.93
Pierre-Yves Strub754029.87