Lightnews — Scholar-powered news

Reposted by Christoph Striecks

Martin R. Albrecht @malb.bsky.social · Aug 25

We are recruiting for at Postdoc Position in Lattice-Based Cryptography at King's College London martinralbrecht.wordpress.com/2025/08/24/p...

Postdoc Position in Lattice-Based Cryptography

We are recruiting a postdoc to work with us on “practical advanced post-quantum cryptography from lattices”, the title of my ERC selected, UKRI Frontier Research funded project: Standardisation eff…

martinralbrecht.wordpress.com

5 8

Reposted by Christoph Striecks

Kenny Paterson @kennyog.bsky.social · Mar 21

Grateful to @iacrcrypto.bsky.social for acting quickly to address serious concerns from the community.

Martin R. Albrecht @malb.bsky.social · Mar 21

Update on crypto.iacr.org/2025/

Given recent instances of US visa holders and residents being detained or deported by US immigration authorities, we understand that some members of our community may not feel safe traveling to the US for Crypto this year. We want to assure everyone that we will provide the option to present and attend remotely.

1 6 25

Reposted by Christoph Striecks

Daniel Slamanig @drl3c7er.bsky.social · Mar 20

We have extended the submission deadline for the International Workshop on Foundations and Applications of Privacy-Enhancing Cryptography (PrivCrypt) by two weeks to April 4, 2025, AoE. Please help spread the word and consider submitting your work to join us in Munich in Summer 😎

Daniel Slamanig @drl3c7er.bsky.social · Jan 24

We are organising the International Workshop on Foundations and Applications of Privacy-Enhancing Cryptography (PrivCrypt) - co-located with ACNS 2025 end of June in beautiful Munich.

Submission deadline is March 21, 2025 (AoE).

Please help spread the word! 🙏

privcryptworkshop.github.io

PrivCrypt 2025

privcryptworkshop.github.io

5 3

Reposted by Christoph Striecks

Daniel Slamanig @drl3c7er.bsky.social · Feb 24

If you are looking for a PhD or PostDoc position in Cryptographic Engineering, please check the openings of Michael Hutter at our Research Institute CODE here in beautiful Munich. Please consider and help spread the word: iacr.org/jobs/item/3908

PhDs / PostDocs in Cryptographic Engineering

iacr.org

12 11

Reposted by Christoph Striecks

ePrint Updates @eprint.ing.bot · Feb 21

Malleable SNARKs and Their Applications (Suvradip Chakraborty, Dennis Hofheinz, Roman Langrehr, Jesper Buus Nielsen, Christoph Striecks, Daniele Venturi) ia.cr/2025/311

Abstract. Succinct non-interactive arguments of knowledge (SNARKs) are variants of non-interactive zero-knowledge proofs (NIZKs) in which complex statements can be proven in a compact way. SNARKs have had tremendous impact in several areas of cryptography, including verifiable computing, blockchains, and anonymous communication. A recurring concept in many applications is the concept of recursive SNARKs, in which a proof references a previous proof to show an evolved statement.

In this work, we investigate malleable SNARKs, a generalization of this concept of recursion. An adaptation of the existing concept of malleable NIZKs, malleable SNARKs allow to modify SNARK proofs to show related statements, but such that such mauled proofs are indistinguishable from “properly generated” fresh proofs of the related statement. We show how to instantiate malleable SNARKs for universal languages and relations, and give a number of applications: the first post-quantum RCCA-secure rerandomizable and updatable encryption schemes, a generic construction of reverse firewalls, and an unlinkable (i.e., computation-hiding) targeted malleable homomorphic encryption scheme.

Technically, our malleable SNARK construction relies on recursive proofs, but with a twist: in order to support the strong indistinguishability properties of mauled and fresh SNARK proofs, we need to allow an unbounded recursion depth. To still allow for a reasonable notion of extractability in this setting (and in particular to guarantee that extraction eventually finishes with a “proper” witness that does not refer to a previous SNARK proof), we rely on a new and generic computational primitive called adversarial one-way function (AOWF) that may be of independent interest. We give an AOWF candidate and prove it secure in the random oracle model.

2 2

Christoph Striecks @cstriecks.bsky.social · Feb 10

Ludovic Perret (EPITA & SORBONNE) and I are organizing a workshop on "Quantum-Safe Hybrid Cryptography (QSHC)" under the umbrella of ACNS 2025.

Please consider submitting a contributed talk (2-page abstract) and helping us spread the word.

Link: sites.google.com/view/qshc25/...

QSHC 2025

About the Workshop This workshop aims to explore the synergies between (symmetric/asymmetric) quantum-safe and quantum cryptography. A leading example is the design of Hybrid Authenticated Key Exchang...

sites.google.com

1 3

Reposted by Christoph Striecks

Daniel Slamanig @drl3c7er.bsky.social · Jan 24

We are organising the International Workshop on Foundations and Applications of Privacy-Enhancing Cryptography (PrivCrypt) - co-located with ACNS 2025 end of June in beautiful Munich.

Submission deadline is March 21, 2025 (AoE).

Please help spread the word! 🙏

privcryptworkshop.github.io

PrivCrypt 2025

privcryptworkshop.github.io

7 15