published [ blog ]
We take measure of where we are in the migration, and what to expect for the coming years.
We propose X-Wing, a concrete, simple and IND-CCA secure PQ/T hybrid KEM based on X25519 and ML-KEM.
submitted [ eprint · code · demo · slides (rwc2023) ]
We show how to construct a practical post-quantum anonymous credential scheme.
drafting [ I-D ]
Large post-quantum signatures force us to rethink the WebPKI. While we’re at it, we get rid of X.509 and simplify transparency.
published [ blog ]
I discuss the impact on the Web of NIST’s choices for post-quantum algorithms.
How much room does TLS have for the big post-quantum signatures? We had a look at Cloudflare: it’s tight.
accepted (CCS) [ eprint · code ]
We proposed chained CmPKE, a Continuous Group Key Agreement and their underlying efficient Post-Quantum Multi-Recipient KEMs based on Kyber, NTRU LPRime, Frodo and SIKE.
invited [ eprint ]
Are there nice assumptions on a category such that any such category must be a category of quantum types with quantum programs between them? (more)
We compare performance of PQ KEMTLS against other TLS variants on the drand system.
short note [ eprint ]
We suggest a small change to the Dilithium signature scheme that allows reusing computation between aborted attempts for a speed-up in signing time.
We show that any normal SEA splits as the direct sum of a complete Boolean algebra, a convex normal SEA and a so-called almost-convex normal SEA.
short note [ eprint ]
We show that there is a consistent choice of square root in a finite field \(\mathbb{F}_{p^k}\) for odd prime \(p \neq 1\) and \(k\neq 0\) if and only if \(k\) is odd.
A non-trivial σ-effectus with normalization has as scalars either {0,1} or [0,1]. When states and predicates are separating, then it must embed into the category Boolean algebras (in the first case) and into the category of Banach order-unit spaces in the second case.
It’s known that affine and relevant monads preserve respectively drop and dup equations. We prove a converse.
We prove a Representation Theorem for \(\omega\)-complete effect monoids. (more)
The title says it all.
We propose a definition of purity for positive linear maps between Euclidean Jordan Algebras. (more)
awarded [ arXiv ]
A mathematical study of quantum computing, concentrating on two related, but independent topics. (more)
submitted [ arXiv ]
We give a new way to bound the security of QKD using only the diagrammatic behavior of complementary observables and essential uniqueness of purification for quantum channels. (more)
We explicitly construct oracles to solve binary MQ, which is the underlying hard problem of many proposed post-quantum cryptographic schemes.
published [ arXiv · EPTCS · video · slides ]
We generalize Stinespring’s Dilation Theorem to arbitrary completely positive normal maps between von Neumann algebra’s. (more)
published [ journal (JMP) ]
We study the sequential product, the operation \(p * q = \sqrt{p} q \sqrt{p}\) on the set of effects of a von Neumann algebra that represents sequential measurement of first \(p\) and then \(q\). We give four axioms which completely determine the sequential product.
done [ arXiv ]
Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. (more)
published [ preprint · EPTCS ]
A universal property for \( A \mapsto \sqrt{B} A \sqrt{B} \) appears in a chain of adjunctions.
published [ preprint · LNCS · slides ]
State spaces in probabilistic and quantum computation are convex sets, that is, Eilenberg–Moore algebras of the distribution monad. This article studies some computationally relevant properties of convex sets. (more)
published [ preprint · EPTCS · video · slides ]
The star-algebra \( M_2 \otimes M_2 \) models a pair of qubits. We show in detail that \( M_3 \oplus \mathbb{C} \) models an unordered pair of qubits. Then we use the late 19th century Schur-Weyl duality, to characterize the star-algebra that models an unordered n-tuple of d-level quantum systems. (more)
published [ preprint · EPTCS · journal · data · sourcecode · video · slides ]
A Kochen-Specker system has at least 22 vertices. (more)
A simplification and slight extension of Statman’s Hierarchy Theorem. (more)
done supervised by prof. Bart Jacobs [ pdf ]
An investigation of the sequential product on predicates in the framework of Jacobs.
done supervised by dr. Wim Veldman [ pdf · arXiv ]
We introduce several notions of effective undecidability and show they are equivalent to previously investigated notions of completeness and creativity.