Sven Bootsma

Sven Bootsma

Cryptographer · TNO

Zero-Knowledge Proofs Verifiable AI Cryptography Rust Python Quantum Optimisation

I am a cryptographer at TNO. I work on verifiable AI, using cryptographic proof systems to make machine learning trustworthy. I also work on post-quantum cryptography and formal verification. My most recent work is FALAFEL, a zero-knowledge proof of training for federated learning. Occasionally I work on quantum design optimisation.

Publications Projects Playground About CV