Login / Signup
Damián Aparicio
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Commercial Systems
Formal Verification
Model Checker
Application Programming Interfaces
Top Venues
CoRR
</>
Publications
</>
Antonio González-Burgueño
,
Damián Aparicio
,
Santiago Escobar
,
Catherine A. Meadows
,
José Meseguer
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA.
CoRR
(2018)