Login / Signup
Damián Aparicio-Sánchez
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 6
Top Topics
Function Symbols
Formal Verification
Theorem Proving
Lightweight
Top Venues
CoRR
ICLP Technical Communications
Protocols, Strands, and Logic
INDOCRYPT
</>
Publications
</>