Login / Signup
Mariapia Raimondo
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 7
Top Topics
Sensitive Information
Annotated Corpus
Authentication Protocol
Formal Verification
Top Venues
CoRR
ICCSA (Workshops 4)
ICISSP
CSR
</>
Publications
</>