USENIX Security '23 - Ultimate SLH: Taking Speculative Load Hardening to the Next Level

USENIX Security '23 - Ultimate SLH: Taking Speculative Load Hardening to the Next LevelПодробнее

USENIX Security '23 - The Space of Adversarial StrategiesПодробнее

USENIX Security '23 - HyPFuzz: Formal-Assisted Processor FuzzingПодробнее

USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security...Подробнее

USENIX Security '24 - GhostRace: Exploiting and Mitigating Speculative Race ConditionsПодробнее

USENIX Security '23 - WHIP: Improving Static Vulnerability Detection in Web Application by...Подробнее

USENIX Security '24 - BeeBox: Hardening BPF against Transient Execution AttacksПодробнее

USENIX Security '23 - AlphaEXP: An Expert System for Identifying Security-Sensitive Kernel ObjectsПодробнее

USENIX Security '23 - Adversarial Training for Raw-Binary Malware ClassifiersПодробнее

USENIX Security '23 - Forming Faster Firmware FuzzersПодробнее

USENIX Security '24 - SoK: State of the Krawlers – Evaluating the Effectiveness of Crawling...Подробнее

USENIX Security '23 - Extended Hell(o): A Comprehensive Large-Scale Study on Email...Подробнее

3min Integration - FMC eStreamer to Splunk Cisco Security Cloud App - (New)Подробнее

USENIX Security '23 - NAUTILUS: Automated RESTful API Vulnerability DetectionПодробнее

USENIX Security '23 - A comprehensive, formal and automated analysis of the EDHOC protocolПодробнее

USENIX Security '23 - Formal Analysis of SPDM: Security Protocol and Data Model version 1.2Подробнее

USENIX Security '24 - SpecLFB: Eliminating Cache Side Channels in Speculative ExecutionsПодробнее