Michael Reichle

Postdoc, ETH Zurich
michael.reichle@inf.ethz.ch

Abstract

I am a Postdoc at ETH Zurich under the guidance of Dennis Hofheinz. Previously, I was a PhD student at École Normale Supérieure in Paris under the supervision of Brice Minaud and Michel Abdalla. I wrote my master and bachelor thesis under the supervision of Geoffroy Couteau.
The topic of my PhD was Searchable Encryption with a focus on memory-efficient constructions. My thesis can be found here. I am interested in cryptography at large, particularly in efficient constructions of encryption or signature variants.

Publications

An up-to-date list of my publications can be found on dblp.

AC
2024
Practical Blind Signatures in Pairing-Free Groups. Michael Klooß, Michael Reichle, Benedikt Wagner. pdf.
Crypto
2024
Adaptively Secure 5 Round Threshold Signatures from MLWE/MSIS and DL with Rewinding. Shuichi Katsumata, Michael Reichle, Kaoru Takemure. pdf.
Crypto
2024
Pairing-Free Blind Signatures from Standard Assumptions in the ROM. Julia Kastner, Ky Nguyen, Michael Reichle. pdf.
PKC
2024
Breaking Parallel ROS: Implication for Isogeny and Lattice-based Blind Signatures. Shuichi Katsumata, Yi-Fu Lai, Michael Reichle. pdf.
AC
2023
Hermes: I/O-Efficient Forward-Secure Searchable Symmetric Encryption. Brice Minaud, Michael Reichle. pdf.
AC
2023
Practical Round-Optimal Blind Signatures in the ROM from Standard Assumptions. Shuichi Katsumata, Michael Reichle, Yusuke Sakai. pdf.
CCS
2022
Sharp: Short Relaxed Range Proofs. Geoffroy Couteau, Dahmun Goudarzi, Michael Klooß, Michael Reichle. pdf.
Crypto
2022
Dynamic Local Searchable Symmetric Encryption. Brice Minaud, Michael Reichle. Paper invited to the Journal of Cryptology. pdf.
Crypto
2021
SSE and SSD: Page-Efficient Searchable Symmetric Encryption. Angèle Bossuat, Raphael Bost, Pierre-Alain Fouque, Brice Minaud, Michael Reichle. pdf.
EC
2021
Efficient Range Proofs with Transparent Setup from Bounded Integer Commitments. Geoffroy Couteau, Michael Klooß, Huang Lin, Michael Reichle. pdf.
PKC
2019
Non-interactive Keyed-Verification Anonymous Credentials. Geoffroy Couteau, Michael Reichle. pdf.

Presentations

An incomplete list of some recorded talks.

Crypto
08/2024
Adaptively Secure 5 Round Threshold Signatures from MLWE/MSIS and DL with Rewinding. video.
Crypto
08/2022
Dynamic Local Searchable Symmetric Encryption. video.
Brown ESL Seminar
01/2022
SSE and SSD: Page-Efficient Searchable Symmetric Encryption. video.
EC
10/2021
Efficient Range Proofs with Transparent Setup from Bounded Integer Commitments. video.
Monash Cybersecurity Seminar
06/2021
Efficient Range Proofs with Transparent Setup from Bounded Integer Commitments. video.
Crypto
10/2021
SSE and SSD: Page-Efficient Searchable Symmetric Encryption. video.

Teaching

An overview of teaching-related experience.

2023 - 2024
ETH Zurich
Seminar: Current Topics in Cryptography
2023 - 2024
ETH Zürich
Exercise: Information Security
2023
École Normale Supérieure
TD: Initiation à la Cryptologie
2021 - 2022
Université Paris
TP: Initiation à la Programmation 1
2020 - 2022
Université Paris
TD et TP: Initiation à la Programmation 2
2020 - 2021
Université Paris
TD: Concepts Informatique
2017 - 2018
Karlsruhe Institute of Technology
Tutorium: Analysis 1

Supervision

An overview of student projects I supervised.

2023 - 2024 Analyzing system-wide leakage of SSE schemes. Theresa Wakonig. Semester project.