Sabine Oechsner
I am a Postdoc in the Security and Privacy group at the University of Edinburgh, UK.
Previously, I was a Postdoc in the Cryptography and Security group at Aarhus University, Denmark, hosted by Jesper Buus Nielsen.
I got my PhD in the Cryptography and Security group at Aarhus University under the supervision of Ivan Damgård in 2019 and hold an M.Sc. in Computer Science from Karlsruhe Institute of Technology, Germany.
In Fall 2017, I was a long-term visitor at NTT Secure Platform Laboratories, and in Spring 2018 at IDC Herzliya (now Reichman University), visiting Elette Boyle.
News
-
Update of "A State-Separating Proof for Yao’s Garbling Scheme" on eprint, extending our result to fully align with standard security notions.
- "Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox" with François Dupressoir and Konrad Kohbrok was accepted to CSF 2022. (eprint version)
-
I'm a program committee member in the Formal Methods and Programming Languages track of ACM CCS 2022.
Research
I study cryptography and its intersection with formal methods. I am particularly interested in making the two worlds meet in what I believe is the right way: Instead of merely reproducing existing cryptographic proofs with tool support, my goal is to use formal verification as an opportunity to understand how to write better proofs with high assurance, both on paper and in a machine-checkable way. My current focus is on secure computation and similar protocols. I also study the security of secure computation protocols in general.
During my PhD, I worked on the design of efficient privacy-preserving cryptographic primitives, in particular zero-knowledge proofs and ring signatures.
Pre-Prints
- A State-Separating Proof for Yao’s Garbling Scheme
with Chris Brzuska
[eprint]
- CRAFT: Composable Randomness and Almost Fairness from Time
with Carsten Baum, Bernardo David, Rafael Dowsley, and Jesper Buus Nielsen
[eprint]
Publications
- Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox
with François Dupressoir and Konrad Kohbrok
CSF 2022
[eprint]
- Formal security analysis of MPC-in-the-head zero-knowledge protocols
with Nikolaj Sidorenco and Bas Spitters
CSF 2021
[eprint] [video]
- TARDIS: A Foundation of Time-Lock Puzzles in UC
with Carsten Baum, Bernardo David, Rafael Dowsley, and Jesper Buus Nielsen
Eurocrypt 2021
[eprint] [video]
- Adaptive Security of Practical Garbling Schemes
with Zahra Jafargholi
Indocrypt 2020
[eprint] [video]
- Towards Practical Lattice-Based One-Time Linkable Ring Signatures
with Carsten Baum and Huang Lin
ICICS 2018
[eprint]
- More Efficient Commitments from Structured Lattice Assumptions
with Carsten Baum, Ivan Damgård, Vadim Lyubashevsky, and Chris Peikert
SCN 2018
[eprint]
- Computer-Aided Proofs for Multiparty Computation with Active Security
with Helene Haagh, Aleksandr Karbyshev, Bas Spitters, and Pierre-Yves Strub
CSF 2018
[eprint]
- Compact Zero-Knowledge Proofs of Small Hamming Weight
with Ivan Damgård, Ji Luo, Peter Scholl, and Mark Simkin
PKC 2018
[eprint] [slides]
Selected Talks
- Modelling security - A cryptographer's view of the world
Logic and Semantics group, Aarhus University, December 2, 2019
- On Simulation-Based Security Proofs with State Separation
IT-University Copenhagen, November 5, 2019
- Exploring State-Separating Proofs for Multi-Party Computation
TPMPC 2019, Tel Aviv, June 17-20, 2019
- Computer-Aided Proofs for Multiparty Computation with Active Security
DIMACS/MACS Workshop on Usable, Efficient, and Formally Verified Secure Computation, Boston, March 14-15, 2019
[video]
- Computer-Aided Proofs for Multiparty Computation with Active Security
TPMPC 2018, Aarhus, May 28-31, 2018
[video]
- Towards a Proof of Active Security for Multiparty Computation in EasyCrypt
PhD Course on Computer-Aided Security Proofs, Aarhus, October 9-13, 2017
Activities
Program Committees
- ACM CCS 2022
- CSF 2022, 2021
- ACNS 2022
- Indocrypt 2021, 2020
Organization
- 2021: WRePP: Workshop on Reduction Proofs in Pseudocode, co-organized with Chris Brzuska, co-located with CRYPTO 2021, Location: Santa Barbara, USA/virtual
- 2020: WoDUP: Workshop on developing, using and teaching cryptographic proofs, co-organized with Chris Brzuska and Markulf Kohlweiss, co-located with EUROCRYPT 2020, Location: Zagreb, Croatia/cancelled due to pandemic
- 2019-2020: Aarhus Crypto Seminar, the weekly seminar of the Cryptography group at Aarhus University. Here is the list of talks during that time.
- 2019: Aarhus Crypto Day 2019
Informatics Forum
10 Crichton St.
Edinburgh, EH8 9AB
initial.lastname (at) ed.ac.uk
How to pronounce my last name
The combination OE is an old spelling of the German letter Ö. The pronounciation is similar to the Scandinavian Ø or the French Œ, or the vowel in the English word learn. If you are in doubt, use O instead.
The CHS in the middle of my name is pronounced like X or KS in English.