Login / Signup
Alessandro Coglio
Publication Activity (10 Years)
Years Active: 1998-2023
Publications (10 Years): 16
Top Topics
Formal Verification
Injection Attacks
Theorem Prover
Code Generator
Top Venues
ACL2
VSTTE
CoRR
IACR Cryptol. ePrint Arch.
</>
Publications
</>