Research output per year
Research output per year
Fingerprint
Dive into the research topics where Laouen Pablo Killian Fernet is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions
Fernet, L. P. K., Mödersheim, S. A. & Viganò, L., 2024, Proceedings of the 37th IEEE Computer Security Foundations Symposium (CSF 2024). IEEE, p. 17-32Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
File -
Private Authentication with Alpha-Beta Privacy
Fernet, L. & Mödersheim, S., 2023, Proceedings of the Open Identity Summit 2023. Gesellschaft für Informatik e.V., p. 61-72Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Open AccessFile -
Deciding a Fragment of (α, β)-Privacy
Fernet, L. P. K. & Mödersheim, S. A., 2021, Proceedings of 17th International Workshop on Security and Trust Management. 22 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile138 Downloads (Pure)
Projects
- 1 Finished
-
A Logical Approach for Automated Reasoning About Privacy in Security Protocols
Fernet, L. P. K. (PhD Student), Mödersheim, S. A. (Main Supervisor), Viganò, L. (Supervisor), Escobar, S. (Examiner) & Sasse, R. (Examiner)
01/12/2021 → 30/11/2024
Project: PhD