Post-doc researcher at CISPA, working on secure group messaging & machine-checked security proofs.
No posts yet.