TASHAROK - Using Mechanism Design for Enhancing Security Resource Allocation in Interdependent Systems
Explore mechanism design for optimizing security resource allocation in interconnected systems, enhancing overall protection and addressing interdependencies.
Cats vs. Spectre - An Axiomatic Approach to Modeling Speculative Execution Attacks
Explore an axiomatic approach to modeling speculative execution attacks, focusing on the comparison between Cats and Spectre vulnerabilities in computer systems.
RT-TEE - Real-time System Availability for Cyber-physical Systems using ARM TrustZone
Explore real-time system availability for cyber-physical systems using ARM TrustZone technology, focusing on enhancing security and performance in critical applications.
SAILFISH - Vetting Smart Contract State-Inconsistency Bugs in Seconds
Discover a groundbreaking technique for rapidly identifying state-inconsistency vulnerabilities in smart contracts, enhancing blockchain security and reliability.
A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP
Explore ciphertext side channels in AMD SEV-SNP, examining vulnerabilities and potential security risks in confidential computing environments.
BEACON - Directed Grey-Box Fuzzing with Provable Path Pruning
Explore advanced grey-box fuzzing techniques with provable path pruning, enhancing software testing efficiency and vulnerability detection in complex systems.
Your Censor is My Censor - Weaponizing Censorship Infrastructure for Availability Attacks
Explore how censorship infrastructure can be exploited for availability attacks, examining potential vulnerabilities and implications for network security and internet freedom.
Adventures in Video Conferencing
Explore security vulnerabilities in popular video conferencing platforms, uncovering potential risks and discussing mitigation strategies for safer online communication.
Undeserved Trust - Exploiting Permutation-Agnostic Remote Attestation
Explore vulnerabilities in remote attestation protocols for Intel SGX, revealing potential exploits and security risks in trusted execution environments.
BlueMirror - Reflections on Bluetooth Pairing and Provisioning Protocols
Explore Bluetooth pairing and provisioning protocols, focusing on security vulnerabilities and potential exploits in wireless communication systems.
Identifying Valuable Pointers in Heap Data
Explore techniques for identifying valuable pointers in heap data, enhancing understanding of memory exploitation and defensive strategies in computer security.
Ethics in Security and Privacy Research Panel
Explore ethical considerations in security and privacy research through expert insights and discussions on best practices, challenges, and future directions.
Birds of a Feather - A Hardware & Security Panel
Engaging panel discussion on hardware security and defense strategies, featuring industry experts debating apocalypse preparedness in the context of cybersecurity.
On-Chip Randomization for Memory Protection Against Hardware Supply Chain Attacks to DRAM
Explore innovative techniques for safeguarding DRAM against hardware supply chain attacks through on-chip randomization, enhancing memory protection in modern computing systems.
Making and Measuring Progress in Adversarial Machine Learning
Explore adversarial machine learning progress with Nicholas Carlini, focusing on measurement techniques and recent advancements in this critical field of AI security research.
Targeted Adversarial Examples for Black Box Audio Systems
Exploring techniques to generate adversarial examples for audio systems, combining genetic algorithms and gradient estimation to achieve high attack success rates while maintaining audio similarity.
Efficient Evaluation of Activation Functions over Encrypted Data
Explore techniques for approximating activation functions on encrypted data, with applications in secure machine learning for image classification and representation learning.
Deep in the Dark - Deep Learning-based Malware Traffic Detection without Expert Knowledge
Explores deep learning models for malware traffic detection using raw network data, comparing performance to traditional approaches and evaluating different input representations.
LBM - A Security Framework for Peripherals within the Linux Kernel
Unified security framework for Linux kernel to protect against malicious peripherals, leveraging eBPF for efficient packet filtering across USB, Bluetooth, and NFC protocols.
Dominance as a New Trusted Computing Primitive for the IoT
Introduces Cider, a system for rapid recovery of compromised IoT devices in large deployments, minimizing manual intervention and addressing unique security challenges in IoT environments.
PhishFarm - A Scalable Framework for Measuring the Effectiveness of Evasion Techniques Against Browser Phishing Blacklists
Explore a framework for testing anti-phishing systems against evasion techniques, revealing vulnerabilities in browser blacklists and mobile security infrastructure.