About

My focus is on formal methods leveraging program verification and type theory to prove security properties of systems such as cryptographic protocols.

Role

• PreDoc Researcher
  Security and Privacy, E192-06

Contact

• claudia.raffaelli@tuwien.ac.at
• Favoritenstrasse 9, Room HA0110
• vCard from TISS

• orcid.org/0009-0006-7865-4022
• informatics.tuwien.ac.at/people/claudia-raffaelli
• tiss.tuwien.ac.at/person/382362