Claudia Raffaelli

Dott. mag. Univ.Ass.

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

Roles

• PreDoc Researcher

Contact

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