Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Weina Chen
Claudia Calabrese
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
M Jeya Chandra
Alexey V. Ermoshkin
Radu Timofte
Kuanrui Yin
Home
/
Author
/
TIMMY WEERWAG
Author Info
Open Visualization
Name
Affiliation
Papers
TIMMY WEERWAG
Radboud University & Open University, Netherlands
1
Collaborators
Citations
PageRank
3
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (3 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
A Coq proof of the correctness of X25519 in TweetNaCl
0
0.34
2021
1