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.- W eb 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 of CRYSTALS-Kyber with AI Accelerator.- From Click To Sink: utilizing AIS for command and control in maritime cyber attacks.- Effcient Hash-Based Redactable Signature for Smart Grid Applications.- Can Industrial Intrusion Detection Be SIMPLE.- For your Voice Only: Exploiting Side Channels in Voice Messaging for Environment Detection.- Towards Effcient Auditing for Real-Time Systems.- Network and Software Security .- Towards a Systematic and Automatic Use of State Machine Inference to Uncover Security Flaws and Fingerprint TLS Stacks.- PanoptiCANs - Adversary-resilient Architectures for Controller Area Networks.- Detecting Cross-Language Memory Management Issues in Rust.- Reach Me if You Can: On Native Vulnerability Reachability in Android Apps.- Extensible Virtual Call Integrity.- Posters .- Is your password sexist? A gamification-based analysis of the cultural context of leaked passwords.- A Fast, Practical and Simple Shortest Path Protocol for Multiparty Computation.- Audio Spoofing Detection Using Constant-Q Spectral Sketches and Parallel-Attention SE-ResNet.- MixCT: Mixing Confidential Transactions from Homomorphic Commitment.- Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python.- The Devil is in the GAN: Backdoor Attacks and Defenses in Deep Generative Models.