Computer Security – ESORICS 2022

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Formal Analysis of the FIDO2 Protocols
3. Altmetric Badge
   Chapter 2 A Composable Security Treatment of ECVRF and Batch Verifications
4. Altmetric Badge
   Chapter 3 Efficient Proofs of Knowledge for Threshold Relations
5. Altmetric Badge
   Chapter 4 A Tale of Two Models: Formal Verification of  KEMTLS via Tamarin
6. Altmetric Badge
   Chapter 5 Browser-Based CPU Fingerprinting
7. Altmetric Badge
   Chapter 6 Polymorphic Protocols at the Example of Mitigating Web Bots
8. Altmetric Badge
   Chapter 7 Unlinkable Delegation of WebAuthn Credentials
9. Altmetric Badge
   Chapter 8 Large Scale Analysis of DoH Deployment on the Internet
10. Altmetric Badge
    Chapter 9 Equivocal URLs: Understanding the Fragmented Space of URL Parser Implementations
11. Altmetric Badge
    Chapter 10 Exploring the Characteristics and Security Risks of Emerging Emoji Domain Names
12. Altmetric Badge
    Chapter 11 CPU Port Contention Without SMT
13. Altmetric Badge
    Chapter 12 Protocols for a Two-Tiered Trusted Computing Base
14. Altmetric Badge
    Chapter 13 Using Memristor Arrays as Physical Unclonable Functions
15. Altmetric Badge
    Chapter 14 SecureBiNN: 3-Party Secure Computation for Binarized Neural Network Inference
16. Altmetric Badge
    Chapter 15 Mixed-Technique Multi-Party Computations Composed of Two-Party Computations
17. Altmetric Badge
    Chapter 16 PEA: Practical Private Epistasis Analysis Using MPC
18. Altmetric Badge
    Chapter 17 Hide and Seek: On the Stealthiness of Attacks Against Deep Learning Systems
19. Altmetric Badge
    Chapter 18 Precise Extraction of Deep Learning Models via Side-Channel Attacks on Edge/Endpoint Devices
20. Altmetric Badge
    Chapter 19 Real-Time Adversarial Perturbations Against Deep Reinforcement Learning Policies: Attacks and Defenses
21. Altmetric Badge
    Chapter 20 FLMJR: Improving Robustness of Federated Learning via Model Stability
22. Altmetric Badge
    Chapter 21 MaleficNet: Hiding Malware into Deep Neural Networks Using Spread-Spectrum Channel Coding
23. Altmetric Badge
    Chapter 22 Long-Short History of Gradients Is All You Need: Detecting Malicious and Unreliable Clients in Federated Learning
24. Altmetric Badge
    Chapter 23 MLFM : Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV)
25. Altmetric Badge
    Chapter 24 Perspectives from a Comprehensive Evaluation of Reconstruction-based Anomaly Detection in Industrial Control Systems
26. Altmetric Badge
    Chapter 25 A Novel High-Performance Implementation of CRYSTALS-Kyber with AI Accelerator
27. Altmetric Badge
    Chapter 26 From Click to Sink: Utilizing AIS for Command and Control in Maritime Cyber Attacks
28. Altmetric Badge
    Chapter 27 Efficient Hash-Based Redactable Signature for Smart Grid Applications
29. Altmetric Badge
    Chapter 28 Can Industrial Intrusion Detection Be SIMPLE?
30. Altmetric Badge
    Chapter 29 For Your Voice Only: Exploiting Side Channels in Voice Messaging for Environment Detection
31. Altmetric Badge
    Chapter 30 Towards Efficient Auditing for Real-Time Systems
32. Altmetric Badge
    Chapter 31 Towards a Systematic and Automatic Use of State Machine Inference to Uncover Security Flaws and Fingerprint TLS Stacks
33. Altmetric Badge
    Chapter 32 PanoptiCANs - Adversary-Resilient Architectures for Controller Area Networks
34. Altmetric Badge
    Chapter 33 Detecting Cross-language Memory Management Issues in Rust
35. Altmetric Badge
    Chapter 34 Reach Me if You Can: On Native Vulnerability Reachability in Android Apps
36. Altmetric Badge
    Chapter 35 Extensible Virtual Call Integrity
37. Altmetric Badge
    Chapter 36 Is Your Password Sexist? a Gamification-Based Analysis of the Cultural Context of Leaked Passwords
38. Altmetric Badge
    Chapter 37 A Fast, Practical and Simple Shortest Path Protocol for Multiparty Computation
39. Altmetric Badge
    Chapter 38 Audio Spoofing Detection Using Constant-Q Spectral Sketches and Parallel-Attention SE-ResNet
40. Altmetric Badge
    Chapter 39 MixCT: Mixing Confidential Transactions from Homomorphic Commitment
41. Altmetric Badge
    Chapter 40 Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python
42. Altmetric Badge
    Chapter 41 The Devil Is in the GAN: Backdoor Attacks and Defenses in Deep Generative Models