Login / Signup
Pierpaolo Degano
ORCID
Publication Activity (10 Years)
Years Active: 1979-2023
Publications (10 Years): 50
Top Topics
Static Analysis
Petri Net
Model Checking
Information Leakage
Top Venues
CoRR
J. Comput. Secur.
ITASEC
PaCT
</>
Publications
</>