Cristina Onete

Publications

Publications in cryptography:

• O. Blazy, I. Boureanu, P. Lafourcade, C. Onete, L. Robert: How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment Published at USENIX Security Symposium. Full paper
• G. Arfaoui, T. Jacques, M. Lacoste, C. Onete, L. Robert: Privacy-preserving Attestation for Virtualized Network Infrastructures Accepted at ESORICS 2023. Full paper
• X. Bultel, C. Onete: Pairing-free secure-channel establishment in mobile networks with fine-grained lawful interception Published (short) at SAC 2022. Full paper
• O. Blazy, P.-A. Fouque, T. Jacques, P. Lafourcade, C. Onete, L. Robert: MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing , Published at SAC 2022. Full paper
• G. Arfaoui, P.-A. Fouque, T. Jacques, P. Lafourcade, A. Nedelcu, C. Onete, L. Robert: A cryptographic view of deep-attestation, or how to do provably-secure layer-linking , Published at ACNS 2022.Full paper
• G. Arfaoui, O. Blazy, X. Bultel, P.-A. Fouque, T. Jacques, A. Nedelcu, C. Onete: How to (legally) keep secrets from mobile operators , Published at ESORICS 2021. Full paper
• A. Bossuat, X. Bultel, P.-A. Fouque, C. Onete, T. van der Merwe: Designing Reverse Firewalls for the Real World , Published at ESORICS 2020. Full paper
• G. Arfaoui, X. Bultel, P.-A. Fouque, A. Nedelcu, C. Onete: The privacy of the TLS 1.3 protocol , Published at PoPETS 2019 (4). Full paper
• O. Blazy, A. Bossuat, X. Bultel, P.-A. Fouque, C. Onete, E. Pagnin: SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting, Published at Euro S & P 2019. Full paper
• N. Desmoulins, P.-A. Fouque, C. Onete, O. Sanders: Pattern Matching on Encrypted Streams . Proceedings of Asiacrypt 2018. Full paper
• K. Bhargavan, I. Boureanu, A. Delignat-Lavaud, P.A. Fouque, C. Onete: A formal treatment of accountable proxying over TLS . Published at S & P 2018. Full paper
• I. Boureanu, D. Gerault, P. Lafourcade, C. Onete: Breaking and fixing the HB+DB protocol. Proceedings of WiSec 2017. ACM Full paper
• G. Avoine, X. Bultel, D. Gerault, S. Gambs, P. Lafourcade, C. Onete, J.-M. Robert: A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol. Proceedings of AsiaCCS 2017. Full paper
• K. Bhargavan, I. Boureanu, P.-A. Fouque, C. Onete, and B. Richard: Content Delivery over TLS: A cryptographic analysis of Keyless SSL. Proceedings of EURO S&P 2017.IEEE
• S. Alt, P.-A. Fouque, G. Macario-Rat, C. Onete, and B. Richard: A Cryptographic Analysis of UMTS/LTE AKA Protocol. Proceedings of ACNS 2016. Springer
• X. Bultel, S. Gambs, D. Gerault, P. Lafourcade, C. Onete, and J.-M. Robert: A Prover-Anonymous and Terrorist-Fraud Resistant Distance Bounding Protocol. Proceedings of WiSec 2016. ACMFull paper
• P.-A. Fouque, C. Onete, and B. Richard: Achieving Better Privacy for the 3GPP AKA Protocol. PoPETS 2016. De Gruyter
• M. Kohlweiss, U. Maurer, C. Onete, B. Tackmann, and D. Venturi: TLS 1.3 — Ready or Not?. TRON 1.0, 2016.
• S. Gambs, M.-O. Killijian, C. Lauradoux, C. Onete, M. Roy, and M. Traoré: VSSDB: A Verifiable Secret-Sharing and Distance-Bounding Protocol. Will appear in proceedings of BalkanCryptSec 2015.
• A. Mitrokotsa, C. Onete, S. Vaudenay: Mafia Fraud Attack against the RC Distance-Bounding Protocol. Conference on RFID-Technologies and Applications RFID-TA'12 IEEEFull paper
• C. Fontaine, S. Gambs, J. Lolive, C. Onete: Private Asymmetric Fingerprinting: a Protocol with Optimal Traitor Tracing using Tardos Codes, Accepted to LatinCrypt 2014.
• S. Gambs, C. Onete, and J.M. Robert: Prover Anonymous and Deniable Distance-Bounding Authentication. Proceedings of AsiaCCS 2014, pp. 501-506 ePrintACM
• M. Kohlweiss, U. Maurer, C. Onete, B. Tackmann, D. Venturi: (De-)Constructing TLS. Accepted at Indocrypt 2015. ePrint
• Ö. Dagdelen, M. Fischlin, T. Gagliardoni, G. A. Marson, A. Mittelbach, and C. Onete: A Cryptographic Analysis of OPACITY. Ext. abstract, ESORICS 2013, pp. 345-362 SpringerePrint (full version)
• A. Mitrokotsa, C. Onete, and S. Vaudenay: Location Leakage in Distance Bounding: Why Location Privacy does not Work. ePrint
• M. Fischlin and C. Onete: Terrorism in Distance Bounding: Modeling Terrorist Fraud Resistance. ACNS 2013, pp. 414-431. SpringerFull paper
• M. Kohlweiss, U. Maurer, C. Onete, B. Tackmann, and D. Venturi: Anonymity-preserving Public-Key Encryption: A Constructive Perspective. Ext. abstract, PETS 2013, pp. 19-39. SpringerePrint (full version)
• M. Fischlin and C. Onete: Subtle Kinks in Distance-Bounding: an Analysis of Prominent Protocols. WiSec 2013, pp. 195–206. ACMePrint
• J. Hermans, R. Peeters, and C. Onete: Efficient, Secure, Private Distance Bounding without Key Updates. WiSec 2013, pp. 207–218. ACMFull paper
• C. Onete: Key Updates for RFID Distance-Bounding Protocols: Achieving Narrow-Destructive Privacy. ePrint
• M. Fischlin and C. Onete: RFID Distance-Bounding: What is Wrong and How to Fix it. Accepted to 5th MPICC Interdisciplinary Conference on Current Issues in IT Security, 2012. Full paper
• C. Onete and D. Venturi: Security & Indistinguishability in the Presence of Traffic Analysis ePrint
• U. Dürholz, M. Fischlin, M. Kasper, and C. Onete: A Formal Approach to Distance-Bounding RFID Protocols. ISC 2011, pp. 47–64. SpringerePrint (full version)
• M. Fischlin and C. Onete: Relaxed Security Notions for Signatures of Knowledge. ACNS 2011, pp. 309–326. SpringerFull paper
• C. Brzuska, H. Busch, Ö. Dagdelen, M. Fischlin, M. Franz, S. Katzenbeisser, M. Manulis, C. Onete, A. Peter, B. Poettering, and D. Schröder: Redactable Signatures for Tree-Structured Data: Definitions and Constructions. ACNS 2010, pp. 87–104. SpringerFull paper

Publications in electrical engineering (DBLP):

• C.N. Onete and C. Onete: Building Hamiltonian Networks Using the Cycles Laplacian of the Underlying Graph. ISCAS 2015 (Accepted, will appear in proceedings).
• C.N. Onete and C. Onete: Finding ground traces using the laplacian of the meshes of the associated graph. SOCC 2013. IEEE
• C.N. Onete and C. Onete: Finding spanning trees and Hamiltonian circuits in an un-oriented graph: an algebraic approach. ECCTD 2011. IEEE
• C. Onete and C.N. Onete: A novel condition for Hamiltonicity; constructing Hamiltonian Circuits. EUROCON 2011. IEEE
• C.N. Onete and C. Onete: Enumerating all the spanning trees in an un-oriented graph – a Novel approach. SM2ACD 2010. IEEE
• C.N. Onete and C. Onete: Indefinite Matrices of Linear Electric Circuits, their Pseudoinverses, and Applications in Related Fields. IEEE