Jonas Schneider-Bensch

According to our database, Jonas Schneider-Bensch authored at least 14 papers between 2013 and 2025.

Collaborative distances:

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

2025

Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust.

Karthikeyan Bhargavan, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

hax: Verifying Security-Critical Rust Software Using Multiple Provers.

Karthikeyan Bhargavan, Maxime Buyse, Lucas Franceschino, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters

Proceedings of the Verified Software. Theories, Tools and Experiments, 2024

2022

ROAST: Robust Asynchronous Schnorr Threshold Signatures.

Tim Ruffing, Viktoria Ronge, Elliott Jin, Jonas Schneider-Bensch, Dominique Schröder

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

New approaches to privacy preserving signatures.

Jonas Schneider-Bensch

PhD thesis, 2021

2019

Ring Signatures: Logarithmic-Size, No Setup - from Standard Assumptions.

Michael Backes, Nico Döttling, Lucjan Hanzlik, Kamil Kluczniak, Jonas Schneider

Proceedings of the Advances in Cryptology - EUROCRYPT 2019, 2019

Membership Privacy for Fully Dynamic Group Signatures.

Michael Backes, Lucjan Hanzlik, Jonas Schneider-Bensch

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Signatures with Flexible Public Key: A Unified Approach to Privacy-Preserving Signatures (Full Version).

Michael Backes, Lucjan Hanzlik, Kamil Kluczniak, Jonas Schneider

IACR Cryptol. ePrint Arch., 2018

Signatures with Flexible Public Key: Introducing Equivalence Classes for Public Keys.

Michael Backes, Lucjan Hanzlik, Kamil Kluczniak, Jonas Schneider

Proceedings of the Advances in Cryptology - ASIACRYPT 2018, 2018

2016

Efficient Unlinkable Sanitizable Signatures from Signatures with Re-randomizable Keys.

Nils Fleischhacker, Johannes Krupp, Giulio Malavolta, Jonas Schneider, Dominique Schröder, Mark Simkin

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

Efficient Cryptographic Password Hardening Services from Partially Oblivious Commitments.

Jonas Schneider, Nils Fleischhacker, Dominique Schröder, Michael Backes

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Foundations of Reconfigurable PUFs (Full Version).

Jonas Schneider, Dominique Schröder

IACR Cryptol. ePrint Arch., 2015

Efficient Unlinkable Sanitizable Signatures from Signatures with Rerandomizable Keys.

Nils Fleischhacker, Johannes Krupp, Giulio Malavolta, Jonas Schneider, Dominique Schröder, Mark Simkin

IACR Cryptol. ePrint Arch., 2015

Foundations of Reconfigurable PUFs.

Jonas Schneider, Dominique Schröder

Proceedings of the Applied Cryptography and Network Security, 2015

2013

Identity-based steganography and its applications to censorship resistance.

Tim Ruffing, Jonas Schneider, Aniket Kate

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013