Laouen Pablo Killian Fernet – Projects — Welcome to DTU Research Database

Emaillpkfdtudk
Websitehttp://www.compute.dtu.dk

Richard Petersens Plads, 321, 020
2800 Kgs. Lyngby
Denmark

If you made any changes in Pure these will be visible here soon.

1 results

Active

A Logical Approach for Automated Reasoning About Privacy in Security Protocols
Fernet, L. P. K., Mödersheim, S. A. & Viganò, L.
01/12/2021 → 30/11/2024
Project: PhD