Login / Signup
Roberto Guanciale
ORCID
Publication Activity (10 Years)
Years Active: 2006-2024
Publications (10 Years): 45
Top Topics
Information Flow
Embedded Devices
Provably Secure
Flow Analysis
Top Venues
CoRR
FMCAD
J. Log. Algebraic Methods Program.
ICE
</>
Publications
</>