Real-World Cryptography: A Generic Framework for Side-Channel Attacks against LWE-based Cryptosystems.- INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis.- Physical-bit Leakage Resilience of Linear Code-based Secret Sharing.- New Techniques for Random Probing Security and Application to Raccoon Signature Scheme.- Tighter Security Notions for a Modular Approach to Private Circuits.- Ciphertext-Ciphertext Matrix Multiplication: Fast for Large Matrices.- Drifting Towards Better Error Probabilities in Fully Homomorphic Encryption Schemes.- Analysis of the Telegram Key Exchange.- Formal Analysis of Multi-Device Group Messaging in WhatsApp.- Analyzing Group Chat Encryption in MLS, Session, Signal, and Matrix.- Triple Ratchet: A Bandwidth Efficient Hybrid-Secure Signal Protocol.- The 2Hash OPRF Framework and Efficient Post-Quantum Instantiations.- Hollow LWE: A New Spin, Unbounded Updatable Encryption from LWE and PCE.- Key Derivation Functions Without a Grain of Salt.
