Sabine Oechsner

According to our database, Sabine Oechsner authored at least 19 papers between 2016 and 2025.

Collaborative distances:

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

2025

How Hard Can It Be to Formalize a Proof? Lessons from Formalizing CryptoBox Three Times in EasyCrypt.

François Dupressoir, Andreas Hülsing, Cameron Low, Matthias Meijers, Charlotte Mylog, Sabine Oechsner

IACR Cryptol. ePrint Arch., 2025

Who Verifies the Verifiers?: Lessons Learned From Formally Verified Line-Point Zero-Knowledge.

Sabine Oechsner, Vitor Pereira, Peter Scholl

IACR Commun. Cryptol., 2025

Rushing at SPDZ: On the Practical Security of Malicious MPC Implementations.

Alexander Kyster, Frederik Huss Nielsen, Sabine Oechsner, Peter Scholl

Proceedings of the IEEE Symposium on Security and Privacy, 2025

Satisfying Complex Data Security Requirements in Digital Business Ecosystems.

Yulu Wang, Charlotte van de Velde, Sabine Oechsner, Jaap Gordijn

Proceedings of the 33rd IEEE International Requirements Engineering Conference, 2025

2024

Adaptive Distributional Security for Garbling Schemes with 풪(|x|) Online Complexity.

Estuardo Alpirez Bock, Chris Brzuska, Pihla Karanko, Sabine Oechsner, Kirthivaasan Puniamurthy

IACR Cryptol. ePrint Arch., 2024

2023

CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time.

Carsten Baum, Bernardo David, Rafael Dowsley, Ravi Kishore, Jesper Buus Nielsen, Sabine Oechsner

Proceedings of the Public-Key Cryptography - PKC 2023, 2023

A State-Separating Proof for Yao's Garbling Scheme.

Chris Brzuska, Sabine Oechsner

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

Adaptive Distributional Security for Garbling Schemes with 𝒪(|x|) Online Complexity.

Estuardo Alpirez Bock, Chris Brzuska, Pihla Karanko, Sabine Oechsner, Kirthivaasan Puniamurthy

Proceedings of the Advances in Cryptology - ASIACRYPT 2023, 2023

2022

Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox.

François Dupressoir, Konrad Kohbrok, Sabine Oechsner

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

TARDIS: A Foundation of Time-Lock Puzzles in UC.

Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen, Sabine Oechsner

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

Formal security analysis of MPC-in-the-head zero-knowledge protocols.

Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

CRAFT: Composable Randomness and Almost Fairness from Time.

Carsten Baum, Bernardo David, Rafael Dowsley, Ravi Kishore, Jesper Buus Nielsen, Sabine Oechsner

IACR Cryptol. ePrint Arch., 2020

TARDIS: Time And Relative Delays In Simulation.

Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen, Sabine Oechsner

IACR Cryptol. ePrint Arch., 2020

Adaptive Security of Practical Garbling Schemes.

Zahra Jafargholi, Sabine Oechsner

Proceedings of the Progress in Cryptology - INDOCRYPT 2020, 2020

2018

More Efficient Commitments from Structured Lattice Assumptions.

Carsten Baum, Ivan Damgård, Vadim Lyubashevsky, Sabine Oechsner, Chris Peikert

Proceedings of the Security and Cryptography for Networks - 11th International Conference, 2018

Compact Zero-Knowledge Proofs of Small Hamming Weight.

Ivan Damgård, Ji Luo, Sabine Oechsner, Peter Scholl, Mark Simkin

Proceedings of the Public-Key Cryptography - PKC 2018, 2018

Towards Practical Lattice-Based One-Time Linkable Ring Signatures.

Carsten Baum, Huang Lin, Sabine Oechsner

Proceedings of the Information and Communications Security - 20th International Conference, 2018

Computer-Aided Proofs for Multiparty Computation with Active Security.

Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2016

Efficient Commitments and Zero-Knowledge Protocols from Ring-SIS with Applications to Lattice-based Threshold Cryptosystems.

Carsten Baum, Ivan Damgård, Sabine Oechsner, Chris Peikert

IACR Cryptol. ePrint Arch., 2016