Login / Signup
Mario Lilli
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 5
Top Topics
Wave Equation
Security Protocols
Formal Proof
Automated Design
Top Venues
ABZ
SECRYPT
Comput. Secur.
MODELSWARD
</>
Publications
</>