Security of Multi-Sensor Fusion Based Perception in Autonomous Driving Under Physical-World Attacks
Explore vulnerabilities in autonomous driving perception systems and learn about physical-world attacks on multi-sensor fusion, enhancing your understanding of automotive cybersecurity.
SoK - Fully Homomorphic Encryption Compilers
Explore the latest advancements in fully homomorphic encryption compilers, their applications, and potential impact on secure computation and data privacy.
OSPREY - Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary
Explore probabilistic analysis techniques for recovering variables and data structures from stripped binaries, enhancing reverse engineering capabilities.
SoK: Computer-Aided Cryptography
Explore computer-aided cryptography techniques, their applications, and implications for enhancing security in digital systems and networks.
Fingerprinting the Fingerprinters - Learning to Detect Browser Fingerprinting Behaviors
Explore techniques to detect and analyze browser fingerprinting behaviors, enhancing online privacy protection and understanding digital tracking methods.
Proof-of-Learning - Definitions and Practice
Explore definitions and practical applications of Proof-of-Learning, a concept revolutionizing educational credentialing and verification systems.
Trust, But Verify - A Longitudinal Analysis Of Android OEM Compliance and Customization
Longitudinal analysis exploring Android OEM compliance and customization practices, examining the balance between manufacturer modifications and adherence to platform standards.
An I/O Separation Model for Formal Verification of Kernel Implementations
Explore a novel I/O separation model for rigorously verifying kernel implementations, enhancing system reliability and security through advanced formal methods.
Compositional Non-Interference for Fine-Grained Concurrent Programs
Explore advanced techniques for ensuring security in concurrent programming, focusing on compositional non-interference and its application in fine-grained systems.
Method Confusion Attack on the Bluetooth Pairing Process
Uncover vulnerabilities in Bluetooth pairing through method confusion attacks, exploring potential security risks and implications for wireless device connections.
Hardware-Software Contracts for Secure Speculation
Explore secure speculation techniques through hardware-software contracts, enhancing system security and performance in modern computing architectures.
Ed25519 Signature Schemes - Theory and Practice
Explore the theoretical foundations and practical applications of Ed25519 signature schemes in cryptography, enhancing your understanding of secure digital signatures.
DynPTA: Combining Static and Dynamic Analysis for Practical Selective Data Protection
Explore innovative techniques combining static and dynamic analysis for enhanced data protection, offering practical insights into selective security measures.
ARBITRAR - User-Guided API Misuse Detection
Explore user-guided techniques for detecting API misuse, enhancing software reliability and security through advanced analysis methods.
Proactive Threshold Wallets with Offline Devices
Explore innovative security measures for cryptocurrency wallets using proactive threshold techniques and offline devices, enhancing protection against cyber threats.
Linking Bluetooth LE & Classic and Implications for Privacy-Preserving Bluetooth-Based Protocols
Explore the connection between Bluetooth LE and Classic, examining privacy implications for Bluetooth-based protocols and potential vulnerabilities in wireless communication systems.
Runtime Recovery of Web Applications under Zero-Day ReDoS Attacks
Explore techniques for protecting web applications against zero-day ReDoS attacks, focusing on runtime recovery strategies to maintain system functionality and security.
A Secure and Formally Verified Linux KVM Hypervisor
Explore a formally verified Linux KVM hypervisor, enhancing security and reliability in virtualization environments through rigorous mathematical proofs and advanced verification techniques.
Bomberman - Defining and Defeating Hardware Ticking Timebombs at Design-time
Explore techniques for identifying and neutralizing potential hardware vulnerabilities during the design phase, enhancing system security and reliability.
Timing-Based Browsing Privacy Vulnerabilities Via Site Isolation
Explore timing-based privacy vulnerabilities in web browsers, focusing on site isolation and its impact on user security and data protection.
Adversarial Prefetch - New Cross-Core Cache Side Channel Attacks
Explore new cross-core cache side channel attacks using adversarial prefetch techniques, uncovering potential security vulnerabilities in modern computer systems.