Publications

Contributions to cryptography, verifiable AI, and arithmetic geometry.

Upcoming

FALAFEL: Verifiable AI & Federated Learning

Sven Bootsma et al.

TBD

Upcoming

Journal Article

Secure Addition of Floating Points

Thijs Veugen, Robert Wezeman, Alessandro Amadori, Sven Bootsma, Bart Kamphorst

International Journal of Applied Cryptography

2025

AbstractSecure multi-party computation (MPC) and homomorphic encryption are powerful tools for computing with secret numbers without revealing inputs or intermediate values. To securely achieve high accuracy with varying number sizes, one needs to work with floating points in the secret domain. The main bottleneck of secure floating points is addition. We improve its efficiency by designing a protocol for multiple additions, using standard building blocks available in most MPC platforms. The more additions n are combined, the larger the relative gain — up to a factor of 13 with n = 1,024. Additionally, we introduce a new protocol for securely computing the bitlength (given upper bound M), the first with linear time complexity and constant round complexity.
DOI
Journal Article

A Survey on the Quantum Security of Block Cipher-Based Cryptography

S. E. Bootsma, M. De Vries

IEEE Access

2024

AbstractThe development of quantum computers represents an important advancement in computing, using quantum mechanics to address problems that were previously difficult to solve. This technological advancement poses a challenge for cryptographic systems. While some methods are known to be vulnerable, the impact of quantum computing on symmetric cryptography has received less research attention, largely because the common advice is to simply double the key size. This paper explores how quantum computing affects symmetric cryptography, focusing on block cipher-based cryptography. It surveys existing literature on the quantum resilience of symmetric cryptographic primitives based on block ciphers and their security in various scenarios. Not all symmetric cryptographic functionalities are quantum-secure, and their security depends on the specific adversary model being considered. We provide an overview of the research conducted and pinpoint areas where further investigation is needed.
DOI
Master's Thesis

On Certain Elliptic Surfaces With j-Invariant Zero Over Prime Fields of Positive Characteristic

S.E. Bootsma

University of Groningen

2023

AbstractWe find prime numbers p such that the elliptic surface defined by y² = x³ + t³⁶⁰ + 1 has Mordell-Weil rank 68 over F_p. We show that, up to finite index, the generating sections are obtained from a reduction modulo p of the characteristic zero case. Furthermore, using the Tate conjecture for abelian varieties over finite fields and the theory of F_{q²}-maximal curves, we prove that the family of elliptic surfaces over F_p defined by y² = x³ + t^(p+1) + 1 has Mordell-Weil rank p − 1.
Thesis