Elsa Lpez Prez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AsiaCCS | Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+. | Elsa Lpez Prez, Thomas Watteyne, Cristina Onete, Dhekra Mahmoud, Pascal Lafourcade, Vaishnavi Sundararajan, Malisa Vucinic |
| 2026 | PERCOM | embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms. | Elsa Lpez Prez, William Takeshi Pereira, Thomas Watteyne, Christian Amsss, Franziskus Kiefer, Jonas Schneider-Bensch, Karthikeyan Bhargavan, Malisa Vucinic |
| 2025 | ESORICS | Fine-Grained, Privacy-Augmenting LI-Compliance in the LAKE Standard. | Pascal Lafourcade, Elsa Lpez Prez, Charles Olivier-Anclin, Cristina Onete, Clment Papon, Malisa Vucinic |
| 2024 | SENSYS | Ph.D. Forum: Enhancing EDHOC Protocol with Pre-Shared Key Authentication. | Elsa Lpez Prez |