Michèle Feltz

According to our database, Michèle Feltz authored at least 7 papers between 2011 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A Formal Treatment of the Limits of Authenticated Key Exchange Security.

Michèle Feltz, Cas Cremers

Proceedings of the Juggling Formal Methods and Security, 2026

2018

Strengthening the security of authenticated key exchange against bad randomness.

Michèle Feltz, Cas Cremers

Des. Codes Cryptogr., 2018

2014

Strengthening the security of key exchange protocols.

Michèle Feltz

PhD thesis, 2014

On the Limits of Authenticated Key Exchange Security with an Application to Bad Randomness.

Michèle Feltz, Cas Cremers

IACR Cryptol. ePrint Arch., 2014

2013

ASICS: Authenticated Key Exchange Security Incorporating Certification Systems.

Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal.

Cas Cremers, Michèle Feltz

Proceedings of the Computer Security - ESORICS 2012, 2012

2011

One-round Strongly Secure Key Exchange with Perfect Forward Secrecy and Deniability.

Cas Cremers, Michèle Feltz

IACR Cryptol. ePrint Arch., 2011