Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
sarah frederiksen
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Yoichi Hayashi
Gaurvi Goyal
Home
/
Author
/
SANTIAGO ZANELLA BÉGUELIN
Author Info
Open Visualization
Name
Papers
Collaborators
SANTIAGO ZANELLA BÉGUELIN
8
33
Citations
PageRank
Referers
114
6.28
224
Referees
References
269
132
Search Limit
100
269
Publications (8 rows)
Collaborators (33 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
A Monadic Framework for Relational Verification (Functional Pearl).
1
0.35
2017
Everest: Towards a Verified, Drop-in Replacement of HTTPS.
0
0.34
2017
Automated Analysis and Synthesis of Padding-Based Encryption Schemes.
0
0.34
2012
Computer-Aided Cryptographic Proofs.
0
0.34
2012
Computer-aided security proofs for the working cryptographer
97
2.45
2011
Verifiable security of Boneh-Franklin identity-based encryption
1
0.35
2011
A Machine-Checked Formalization of Sigma-Protocols
7
0.49
2010
A formal specification of the MIDP 2.0 security model
8
1.63
2006
1
