Organizer: Moritz Huppert, TU Darmstadt

Abstract

Key Transparency (KT) systems attempt to solve the public key distribution challenge in end-to-end encrypted communication platforms. Despite significant academic and industry interest, a comprehensive formal security analysis of KT systems has been missing, and scalability remains a major challenge for large-scale deployments. This work addresses both issues by providing the first cryptographically sound formalization of KT systems as an ideal functionality. Additionally, we identify a performance bottleneck in current KT architectures and introduce a scalable, privacy-preserving solution with a novel primitive, the verifiable Bloom filter.

Speaker Bio

Sam A. Markelon is a fifth-year PhD student at the Florida Institute for Cybersecurity Research located at the University of Florida. He is advised by Prof. Tom Shrimpton and works in the intersection of data structures and cryptography.