Usenix Security '22 - Ferry: State-Aware Symbolic Execution For Exploring State-Dependent Program

USENIX Security '22 - Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program

USENIX Security '22 - StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing

USENIX Security '22 - Stateful Greybox Fuzzing

USENIX Security '22 - Oops... Code Execution and Content Spoofing: The First Comprehensive Analysis

USENIX ATC '13 - Redundant State Detection for Dynamic Symbolic Execution

USENIX Security '20 - Symbolic execution with SymCC: Don't interpret, compile!

USENIX Security '18 - QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

USENIX Security '15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code

USENIX Security '22 - LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic...

USENIX Security '22 - Spoki: Unveiling a New Wave of Scanners through a Reactive Network Telescope

USENIX Security '22 - RETBLEED: Arbitrary Speculative Code Execution with Return Instructions

USENIX Security '19 - Fuzzification: Anti-Fuzzing Techniques

USENIX Security '23 - Systematic Assessment of Fuzzers using Mutation Analysis

Introducing Symbolic Execution

Software Security

USENIX Security '22 - FuzzOrigin: Detecting UXSS vulnerabilities in Browsers through Origin Fuzzing

USENIX Security '19 - AntiFuzz: Impeding Fuzzing Audits of Binary Executables

Symbolic execution by compilation with SymCC

CyberFlood Advanced CyberSecurity Assessment - Test Configuration, Execution, and Reporting Overview

Spirent - Video Hub

USENIX Security '21 - Acoustics to the Rescue: Physical Key Inference Attack Revisited

WAF Bypass via XSS | Bug Hunting

Information Security with Swapnesh