Jigsaw - Efficient and Scalable Path Constraints Fuzzing
Explore efficient and scalable path constraints fuzzing techniques with Jigsaw, enhancing software testing and vulnerability detection for improved system security and reliability.
The Remote on the Local - Exacerbating Web Attacks Via Service Workers Caches
Explore how service worker caches can amplify web attacks, examining vulnerabilities and potential security risks in modern web applications.
Zeroconf Protocols and Their Numerous Man in the Middle Attacks
Explore vulnerabilities in Zeroconf protocols, focusing on man-in-the-middle attacks. Learn about potential security risks and implications for network configurations.
BadUSB-C - Revisiting BadUSB with Type-C
Explore the evolution of BadUSB attacks with USB Type-C, examining new vulnerabilities and potential security risks in modern devices. Learn about cutting-edge offensive technologies and their implications.
Happer - Unpacking Android Apps via a Hardware-Assisted Approach
Explore a hardware-assisted approach for unpacking Android apps, enhancing security analysis and malware detection through innovative techniques and methodologies.
CanDID: Bootstrapping Decentralized Identity from Legacy Providers
Explore a groundbreaking approach to decentralized identity, leveraging existing providers for seamless integration and enhanced security in digital ecosystems.
SmartPulse - Automated Checking of Temporal Properties in Smart Contracts
Explore automated verification of temporal properties in smart contracts using SmartPulse, enhancing security and reliability in blockchain applications.
Randomized Last-Level Caches Are Still Vulnerable to Cache Side-Channel Attacks! But We Can Fix It
Explore vulnerabilities in randomized last-level caches and discover effective solutions to mitigate cache side-channel attacks in computer systems.
CrawlPhish - Large-scale Analysis of Client-side Cloaking Techniques in Phishing
Explore client-side cloaking techniques in phishing through large-scale analysis, uncovering strategies used by attackers to evade detection and target victims effectively.
Manipulation Attacks in Local Differential Privacy
Explore manipulation attacks in local differential privacy, examining vulnerabilities and potential countermeasures in privacy-preserving data collection systems.
One Engine to Fuzz 'em All - Generic Language Processor Testing with Semantic Validation
Explore innovative techniques for generic language processor testing, focusing on semantic validation to enhance fuzzing efficiency and effectiveness across diverse systems.
CRYLOGGER - Detecting Crypto Misuses Dynamically
Explore dynamic detection of cryptographic misuses with CRYLOGGER, a tool for identifying vulnerabilities in real-time to enhance software security.
Reading Between the Lines - An Extensive Evaluation of the Security and Privacy Implications of EPUB Reading Systems
Comprehensive analysis of security and privacy risks in EPUB reading systems, exploring vulnerabilities and potential threats to user data and digital content protection.
Electromagnetic Covert Channels Can Be Super Resilient
Explore the resilience of electromagnetic covert channels and their implications for secure communication systems in this insightful presentation.
Machine Unlearning
Explore the concept of machine unlearning, its applications, and implications for AI systems in this concise IEEE presentation.
On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols
Explore anonymity guarantees in anonymous proof-of-stake protocols, examining their effectiveness and potential vulnerabilities in blockchain systems.
SoK - Security and Privacy in the Age of Commercial Drones
Explore security and privacy challenges posed by commercial drones, examining potential risks and discussing strategies for mitigation in this comprehensive overview.
Is Private Learning Possible with Instance Encoding?
Explore the potential for private learning through instance encoding, examining its feasibility and implications for data privacy in machine learning.
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
Explore a verified implementation of IETF QUIC's record layer, examining its security model and implications for network protocol design and verification.
Using Selective Memoization to Defeat Regular Expression Denial of Service - ReDoS
Learn how selective memoization can effectively combat Regular Expression Denial of Service attacks, enhancing application security and performance.
High-Frequency Trading on Decentralized On-Chain Exchanges
Explore high-frequency trading strategies for decentralized on-chain exchanges, examining their unique challenges and opportunities in the rapidly evolving blockchain ecosystem.