Computer Security - ESORICS 2022

Formal Analysis.- A Formal Analysis of the FIDO2 Protocols.- Composable Security Treatment of ECVRF and Batch Verifications.- Effcient Proofs of Knowledge for Threshold Relations.- A tale of two models: formal verification of KEMTLS via Tamarin.- Web Security.- Browser-based CPU Fingerprinting.- Polymorphic Protocols at the Example of Mitigating Web Bots.- Unlinkable Delegation of WebAuthn Credentials.- Large Scale Analysis of DoH Deployment on the Internet.- Equivocal URLs: Understanding the Fragmented Space of URL Parser Implementations.- Exploring the Characteristics and Security Risks of Emerging Emoji Domain Names.- Hardware Security.- CPU Port Contention Without SMT.- Protocols for a Two-Tiered Trusted Computing Base.- Using Memristor Arrays as Physical Unclonable Functions.- Multiparty Computation.- SecureBiNN: 3-Party Secure Computation for Binarized Neural Network Inference.- MixedTechnique Multi-Party Computations Composed of Two-Party Computations.- PEA: Practical Private Epistasis Analysis using MPC.- ML Techniques.- Hide and Seek: on the Stealthiness of Attacks against Deep Learning Systems.- Precise Extraction of Deep Learning Models via Side-Channel Attacks on Edge/Endpoint Devices.- Real-time Adversarial Perturbations against Deep Reinforcement Learning Policies: Attacks and Defenses.- FLMJR: Improving Robustness of Federated Learning via Model Stability.- MaleficNet: Hiding Malware into Deep Neural Networks using Spread-Spectrum Channel Coding.- Long-Short History of Gradients is All You Need: Detecting Malicious and Unreliable Clients in Federated Learning.- MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV).- Cyber-Physical Systems Security.- Perspectives from a Comprehensive Evaluation of Reconstruction-based Anomaly Detection in Industrial Control Systems.- A Novel High-performance Implementation