
Explore automated exploit generation for binary programs using hybrid symbolic execution and index-based memory modeling. Learn techniques to find and demonstrate exploitable vulnerabilities efficiently.

Explore formal modeling techniques to uncover design vulnerabilities in Bluetooth protocols, focusing on key sharing, modular design, and coexistence issues.

Uncover complex backdoors in NLP transformer models using PICCOLO, addressing challenges in trigger inversion and proposing innovative solutions for enhanced model security.

Explore social cybersecurity concepts, from shared resource access to social authentication, self-presentation management, and future directions in this comprehensive overview.

Explore vulnerabilities in ICS remote management devices, including discovery methods, attack patterns, and effective remediation strategies for enhancing industrial control system security.

Explore techniques for identifying and analyzing user data remnants on servers post-account deletion, addressing privacy concerns and data retention practices in mobile applications.

Explore mobile gambling scam tactics, data analysis, and infrastructure, uncovering social engineering tricks, app delivery methods, and payment channels used by cybercriminals.

Learn to authenticate USB flash drives using innovative timing fingerprints, exploring latency-based testing, device identification, and practical applications in cybersecurity.

Explore SameSite cookies' usage, effectiveness, and adequacy in web security. Analyze adoption, functionality issues, CSRF threats, policy downgrades, and browser inconsistencies.

Explore CPU vulnerabilities through MSR templating, uncovering hidden features and potential security risks in modern processors. Learn techniques for identifying and exploiting undocumented CPU capabilities.

Explore Heapster's innovative approach to analyzing dynamic allocators in monolithic firmware, enhancing security through advanced identification and evaluation techniques.

Explores authentication challenges and solutions in AR/VR, analyzing existing methods and proposing innovative approaches for secure user verification in immersive environments.

Unified framework for aggregating malicious entity detectors, addressing varying scanner accuracy, label flips, and correlations through self-supervised learning and pretext tasks for improved threat detection.

Explore the robustness of watermarking techniques for image classification neural networks, analyzing various schemes and attacks to provide guidelines for effective protection of intellectual property.

Explore timing and floating-point vulnerabilities in differential privacy systems, uncovering potential privacy leaks and discussing mitigation strategies for enhanced data protection.

Explore frequency-domain Rowhammer attacks bypassing Target Row Refresh, with insights on mitigations, experiments, and scalable solutions for compromising DRAM security.

Explore practical last-level cache side-channel attacks, their implementation, and impact on security across cores and VMs, with a focus on GnuPG vulnerabilities.

Explore formal security analysis of W3C Web Payment APIs, including potential attacks and verification methods. Learn about browser models and gain insights into API security.

Explore innovative approaches to hypervisor isolation, focusing on secret-free design to mitigate speculative vulnerabilities and enhance system security.

Explore a low-cost attack method targeting the hCaptcha system, analyzing its effectiveness, accuracy, and potential countermeasures in this IEEE workshop presentation.

Explore a novel approach to detect differential privacy violations using classifiers, enhancing data protection and privacy in machine learning systems.