Sabine Oechsner

31 papers A* 1A 5C 1Misc 3Journal 16Unranked 5
YearRankTypeTitle / 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