Cristina Onete

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 34

Top Topics

Mobile Networks

Formal Treatment

Cryptographic Protocols

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Ghada Arfaoui, Thibaut Jacques, Marc Lacoste, Cristina Onete, Léo Robert
Towards a Privacy-Preserving Attestation for Virtualized Networks. ESORICS (4) (2023)
Ghada Arfaoui, Thibaut Jacques, Marc Lacoste, Cristina Onete, Léo Robert
Privacy-preserving Attestation for Virtualized Network Infrastructures. IACR Cryptol. ePrint Arch. 2023 (2023)
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. USENIX Security Symposium (2023)
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. IACR Cryptol. ePrint Arch. 2022 (2022)
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing. IACR Cryptol. ePrint Arch. 2022 (2022)
Xavier Bultel, Cristina Onete
Pairing-free secure-channel establishment in mobile networks with fine-grained lawful interception. IACR Cryptol. ePrint Arch. 2022 (2022)
Xavier Bultel, Cristina Onete
Pairing-free secure-channel establishment in mobile networks with fine-grained lawful interception. SAC (2022)
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALing. SAC (2022)
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert
A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-Linking. ACNS (2022)
Ghada Arfaoui, Olivier Blazy, Xavier Bultel, Pierre-Alain Fouque, Thibaut Jacques, Adina Nedelcu, Cristina Onete
How to (Legally) Keep Secrets from Mobile Operators. ESORICS (1) (2021)
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking. IACR Cryptol. ePrint Arch. 2021 (2021)
Angèle Bossuat, Xavier Bultel, Pierre-Alain Fouque, Cristina Onete, Thyla van der Merwe
Designing Reverse Firewalls for the Real World. IACR Cryptol. ePrint Arch. 2020 (2020)
Ghada Arfaoui, Olivier Blazy, Xavier Bultel, Pierre-Alain Fouque, Adina Nedelcu, Cristina Onete
Legally keeping secrets from mobile operators: Lawful Interception Key Exchange (LIKE). IACR Cryptol. ePrint Arch. 2020 (2020)
Angèle Bossuat, Xavier Bultel, Pierre-Alain Fouque, Cristina Onete, Thyla van der Merwe
Designing Reverse Firewalls for the Real World. ESORICS (1) (2020)
Ghada Arfaoui, Xavier Bultel, Pierre-Alain Fouque, Adina Nedelcu, Cristina Onete
The privacy of the TLS 1.3 protocol. IACR Cryptol. ePrint Arch. 2019 (2019)
Olivier Blazy, Angèle Bossuat, Xavier Bultel, Pierre-Alain Fouque, Cristina Onete, Elena Pagnin
SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting. IACR Cryptol. ePrint Arch. 2019 (2019)
Olivier Blazy, Angèle Bossuat, Xavier Bultel, Pierre-Alain Fouque, Cristina Onete, Elena Pagnin
SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting. EuroS&P (2019)
Ghada Arfaoui, Xavier Bultel, Pierre-Alain Fouque, Adina Nedelcu, Cristina Onete
The privacy of the TLS 1.3 protocol. Proc. Priv. Enhancing Technol. 2019 (4) (2019)
Nicolas Desmoulins, Pierre-Alain Fouque, Cristina Onete, Olivier Sanders
Pattern Matching on Encrypted Streams. ASIACRYPT (1) (2018)
Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete
A Formal Treatment of Accountable Proxying Over TLS. IEEE Symposium on Security and Privacy (2018)
Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol. IACR Cryptol. ePrint Arch. 2017 (2017)
Olivier Sanders, Cristina Onete, Pierre-Alain Fouque
Pattern Matching on Encrypted Streams: Applications to DPI and searches on genomic data. IACR Cryptol. ePrint Arch. 2017 (2017)
Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol. AsiaCCS (2017)
Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete
Breaking and Fixing the HB+DB protocol. IACR Cryptol. ePrint Arch. 2017 (2017)
Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard
Content delivery over TLS: a cryptographic analysis of keyless SSL. EuroS&P (2017)
Aikaterini Mitrokotsa, Cristina Onete, Elena Pagnin, Mahesh Perera
Multi-Hop Distance Estimation: How Far are You? IACR Cryptol. ePrint Arch. 2017 (2017)
Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete
Breaking and fixing the HB+DB protocol. WISEC (2017)
Pierre-Alain Fouque, Cristina Onete, Benjamin Richard
Achieving Better Privacy for the 3GPP AKA Protocol. Proc. Priv. Enhancing Technol. 2016 (4) (2016)
Stéphanie Alt, Pierre-Alain Fouque, Gilles Macario-Rat, Benjamin Richard, Cristina Onete
A Cryptographic Analysis of UMTS/LTE AKA. IACR Cryptol. ePrint Arch. 2016 (2016)
Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol. WISEC (2016)
Pierre-Alain Fouque, Cristina Onete, Benjamin Richard
Achieving Better Privacy for the 3GPP AKA Protocol. IACR Cryptol. ePrint Arch. 2016 (2016)
Stéphanie Alt, Pierre-Alain Fouque, Gilles Macario-Rat, Cristina Onete, Benjamin Richard
A Cryptographic Analysis of UMTS/LTE AKA. ACNS (2016)
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi
(De-)Constructing TLS 1.3. INDOCRYPT (2015)
Sébastien Gambs, Carlos Eduardo Rosar Kós Lassance, Cristina Onete
The Not-so-Distant Future: Distance-Bounding Protocols on Smartphones. CARDIS (2015)
Sébastien Gambs, Cristina Onete, Jean-Marc Robert
Prover Anonymous and Deniable Distance-Bounding Authentication. IACR Cryptol. ePrint Arch. 2014 (2014)
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi
(De-)Constructing TLS. IACR Cryptol. ePrint Arch. 2014 (2014)
Aikaterini Mitrokotsa, Cristina Onete, Serge Vaudenay
Location leakage in distance bounding: Why location privacy does not work. Comput. Secur. 45 (2014)
Sébastien Gambs, Cristina Onete, Jean-Marc Robert
Prover anonymous and deniable distance-bounding authentication. AsiaCCS (2014)
Caroline Fontaine, Sébastien Gambs, Julien Lolive, Cristina Onete
Private Asymmetric Fingerprinting: A Protocol with Optimal Traitor Tracing Using Tardos Codes. LATINCRYPT (2014)
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi
Anonymity-Preserving Public-Key Encryption: A Constructive Approach. Privacy Enhancing Technologies (2013)
Aikaterini Mitrokotsa, Cristina Onete, Serge Vaudenay
Location Leakage in Distance Bounding: Why Location Privacy does not Work. IACR Cryptol. ePrint Arch. 2013 (2013)
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi
Anonymity-preserving Public-Key Encryption: A Constructive Approach. IACR Cryptol. ePrint Arch. 2013 (2013)
Özgür Dagdelen, Marc Fischlin, Tommaso Gagliardoni, Giorgia Azzurra Marson, Arno Mittelbach, Cristina Onete
A Cryptographic Analysis of OPACITY - (Extended Abstract). ESORICS (2013)
Marc Fischlin, Cristina Onete
Terrorism in Distance Bounding: Modeling Terrorist-Fraud Resistance. ACNS (2013)
Jens Hermans, Roel Peeters, Cristina Onete
Efficient, secure, private distance bounding without key updates. WISEC (2013)
Marc Fischlin, Cristina Onete
Subtle kinks in distance-bounding: an analysis of prominent protocols. WISEC (2013)
Özgür Dagdelen, Marc Fischlin, Tommaso Gagliardoni, Giorgia Azzurra Marson, Arno Mittelbach, Cristina Onete
A Cryptographic Analysis of OPACITY. IACR Cryptol. ePrint Arch. 2013 (2013)
Cristina Onete
Key Updates for RFID Distance-Bounding Protocols: Achieving Narrow-Destructive Privacy. IACR Cryptol. ePrint Arch. 2012 (2012)
Marc Fischlin, Cristina Onete
Provably Secure Distance-Bounding: an Analysis of Prominent Protocols. IACR Cryptol. ePrint Arch. 2012 (2012)
Aikaterini Mitrokotsa, Cristina Onete, Serge Vaudenay
Mafia fraud attack against the RČ Distance-Bounding Protocol. RFID-TA (2012)
Marc Fischlin, Cristina Onete
Relaxed Security Notions for Signatures of Knowledge. ACNS (2011)
Ulrich Dürholz, Marc Fischlin, Michael Kasper, Cristina Onete
A Formal Approach to Distance-Bounding RFID Protocols. ISC (2011)
Cristina Onete, Daniele Venturi
Security & Indistinguishability in the Presence of Traffic Analysis. IACR Cryptol. ePrint Arch. 2011 (2011)
Ulrich Dürholz, Marc Fischlin, Michael Kasper, Cristina Onete
A Formal Approach to Distance-Bounding RFID Protocols. IACR Cryptol. ePrint Arch. 2011 (2011)
Christina Brzuska, Heike Busch, Özgür Dagdelen, Marc Fischlin, Martin Franz, Stefan Katzenbeisser, Mark Manulis, Cristina Onete, Andreas Peter, Bertram Poettering, Dominique Schröder
Redactable Signatures for Tree-Structured Data: Definitions and Constructions. ACNS (2010)