Speaking in Tongues - Practical Evaluation of TLS Cipher Suites Compatibility. - Manuel Koschuch; Taro Fruhwirth; Alexander Glaser; Silvie Schmidt; Matthias Hudler (DCNET, 2015)

What a Difference a Year Makes: Long Term Evaluation of TLS Cipher Suite Compatibility. - Stefan Prinz; Silvie Schmidt; Manuel Koschuch; Alexander Glaser; Taro Fruhwirth; Matthias Hudler (ICETE (Selected Papers), 2015)

Hardware Security at the Limit: Nuclear Verification and Arms Control. - Alexander Glaser (ASHES@CCS, 2018)

A Cryptographic Escrow for Treaty Declarations and Step-by-Step Verification. - Sébastien Philippe; Alexander Glaser; Edward W. Felten (CoRR, 2018)

Privacy-Preserving Map-Free Exploration for Confirming the Absence of a Radioactive Source. - Eric Lepowsky; David Snyder; Alexander Glaser; Anirudha Majumdar (IROS, 2024)

Generating Synthetic Satellite Imagery for Rare Objects: An Empirical Comparison of Models and Metrics. - Tuong Vy Nguyen; Johannes Hoster; Alexander Glaser; Kristian Hildebrand; Felix Biessmann (PI-AI@KI, 2024)

Generating Synthetic Satellite Imagery With Deep-Learning Text-to-Image Models - Technical Challenges and Implications for Monitoring and Verification. - Tuong Vy Nguyen; Alexander Glaser; Felix Biessmann (CoRR, 2024)

Using Game Engines and Machine Learning to Create Synthetic Satellite Imagery for a Tabletop Verification Exercise. - Johannes Hoster; Sara Al-Sayed; Felix Biessmann; Alexander Glaser; Kristian Hildebrand; Igor Moric; Tuong Vy Nguyen (CoRR, 2024)