Sabine Oechsner

31 papers A* 1A 5C 1Misc 3Journal 16Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	How Hard Can It Be to Formalize a Proof? Lessons from Formalizing CryptoBox Three Times in EasyCrypt. IACR Cryptol. ePrint Arch. François Dupressoir, Andreas Hülsing, Cameron Low, Matthias Meijers, Charlotte Mylog, Sabine Oechsner
2025	—	`conf`	How Hard can it be to Formalize a Proof? - Lessons from Formalizing CryptoBox Three Times in EasyCrypt. ASIACRYPT (2) François Dupressoir, Andreas Hülsing, Cameron Low, Matthias Meijers, Charlotte Mylog, Sabine Oechsner
2025	Misc	`conf`	Privacy-Preserving Computing in the Music Industry. PoEM Yulu Wang, Charlotte van de Velde, Sabine Oechsner, Jaap Gordijn
2025	A*	`conf`	Rushing at SPDZ: On the Practical Security of Malicious MPC Implementations. SP Alexander Kyster, Frederik Huss Nielsen, Sabine Oechsner, Peter Scholl
2025	J	`jnl`	Rushing at SPDZ: On the Practical Security of Malicious MPC Implementations. IACR Cryptol. ePrint Arch. Alexander Kyster, Frederik Huss Nielsen, Sabine Oechsner, Peter Scholl
2025	A	`conf`	Satisfying Complex Data Security Requirements in Digital Business Ecosystems. RE Yulu Wang, Charlotte van de Velde, Sabine Oechsner, Jaap Gordijn
2025	J	`jnl`	Who Verifies the Verifiers? Lessons Learned From Formally Verified Line-Point Zero-Knowledge. IACR Cryptol. ePrint Arch. Sabine Oechsner, Vitor Pereira, Peter Scholl
2025	J	`jnl`	Who Verifies the Verifiers?: Lessons Learned From Formally Verified Line-Point Zero-Knowledge. IACR Commun. Cryptol. Sabine Oechsner, Vitor Pereira, Peter Scholl
2024	J	`jnl`	Adaptive Distributional Security for Garbling Schemes with 풪(\|x\|) Online Complexity. IACR Cryptol. ePrint Arch. Estuardo Alpirez Bock, Chris Brzuska, Pihla Karanko, Sabine Oechsner, Kirthivaasan Puniamurthy
2023	A	`conf`	A State-Separating Proof for Yao's Garbling Scheme. CSF Chris Brzuska, Sabine Oechsner
2023	—	`conf`	Adaptive Distributional Security for Garbling Schemes with 𝒪(\|x\|) Online Complexity. ASIACRYPT (1) Estuardo Alpirez Bock, Chris Brzuska, Pihla Karanko, Sabine Oechsner, Kirthivaasan Puniamurthy
2023	—	`conf`	CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time. Public Key Cryptography (1) Carsten Baum, Bernardo David, Rafael Dowsley, Ravi Kishore, Jesper Buus Nielsen, Sabine Oechsner
2022	A	`conf`	Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox. CSF François Dupressoir, Konrad Kohbrok, Sabine Oechsner
2021	J	`jnl`	A State-Separating Proof for Yao's Garbling Scheme. IACR Cryptol. ePrint Arch. Chris Brzuska, Sabine Oechsner
2021	J	`jnl`	Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox. IACR Cryptol. ePrint Arch. François Dupressoir, Konrad Kohbrok, Sabine Oechsner
2021	A	`conf`	Formal security analysis of MPC-in-the-head zero-knowledge protocols. CSF Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters
2021	J	`jnl`	Formal security analysis of MPC-in-the-head zero-knowledge protocols. IACR Cryptol. ePrint Arch. Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters
2021	—	`conf`	TARDIS: A Foundation of Time-Lock Puzzles in UC. EUROCRYPT (3) Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen, Sabine Oechsner
2020	Misc	`conf`	Adaptive Security of Practical Garbling Schemes. INDOCRYPT Zahra Jafargholi, Sabine Oechsner
2020	J	`jnl`	CRAFT: Composable Randomness and Almost Fairness from Time. IACR Cryptol. ePrint Arch. Carsten Baum, Bernardo David, Rafael Dowsley, Ravi Kishore, Jesper Buus Nielsen, Sabine Oechsner
2020	J	`jnl`	TARDIS: Time And Relative Delays In Simulation. IACR Cryptol. ePrint Arch. Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen, Sabine Oechsner
2019	J	`jnl`	Adaptive Security of Practical Garbling Schemes. IACR Cryptol. ePrint Arch. Zahra Jafargholi, Sabine Oechsner
2018	—	`conf`	Compact Zero-Knowledge Proofs of Small Hamming Weight. Public Key Cryptography (2) Ivan Damgård, Ji Luo, Sabine Oechsner, Peter Scholl, Mark Simkin
2018	A	`conf`	Computer-Aided Proofs for Multiparty Computation with Active Security. CSF Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub
2018	J	`jnl`	Computer-aided proofs for multiparty computation with active security. CoRR Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub
2018	J	`jnl`	Computer-aided proofs for multiparty computation with active security. IACR Cryptol. ePrint Arch. Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub
2018	Misc	`conf`	More Efficient Commitments from Structured Lattice Assumptions. SCN Carsten Baum, Ivan Damgård, Vadim Lyubashevsky, Sabine Oechsner, Chris Peikert
2018	C	`conf`	Towards Practical Lattice-Based One-Time Linkable Ring Signatures. ICICS Carsten Baum, Huang Lin, Sabine Oechsner
2018	J	`jnl`	Towards Practical Lattice-Based One-Time Linkable Ring Signatures. IACR Cryptol. ePrint Arch. Carsten Baum, Huang Lin, Sabine Oechsner
2017	J	`jnl`	Compact Zero-Knowledge Proofs of Small Hamming Weight. IACR Cryptol. ePrint Arch. Ivan Damgård, Ji Luo, Sabine Oechsner, Peter Scholl, Mark Simkin
2016	J	`jnl`	Efficient Commitments and Zero-Knowledge Protocols from Ring-SIS with Applications to Lattice-based Threshold Cryptosystems. IACR Cryptol. ePrint Arch. Carsten Baum, Ivan Damgård, Sabine Oechsner, Chris Peikert