Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Sridhar Poosapadi Arjunan
Anke I R Kottink
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Tetsuya Murai
Radu Timofte
Kuanrui Yin
Home
/
Author
/
DAMIÁN APARICIO-SÁNCHEZ
Author Info
Open Visualization
Name
Papers
Collaborators
DAMIÁN APARICIO-SÁNCHEZ
3
7
Citations
PageRank
Referers
0
1.01
0
Referees
References
0
0
Publications (3 rows)
Collaborators (7 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Protocol Analysis with Time and Space.
0
0.34
2021
Protocol Analysis with Time
0
0.34
2020
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA.
0
0.34
2018
1