Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Barry J. Bedell
Carl-Johan H. Seger
Maria Concetta Palumbo
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Stephanie H Witt
Radu Timofte
Kuanrui Yin
Home
/
Author
/
JONATHAN HOYLAND
Author Info
Open Visualization
Name
Papers
Collaborators
JONATHAN HOYLAND
1
3
Citations
PageRank
Referers
0
0.34
0
Referees
References
0
0
Publications (1 rows)
Collaborators (3 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
A tale of two models: formal verification of KEMTLS via Tamarin.
0
0.34
2022
1