Login / Signup
Sara Tucci Piergiovanni
ORCID
Publication Activity (10 Years)
Years Active: 2002-2024
Publications (10 Years): 58
Top Topics
Safety Analysis
Integer Points
Formal Proof
Random Number
Top Venues
CoRR
OPODIS
IACR Cryptol. ePrint Arch.
SAC
</>
Publications
</>