USENIX Security '18 - QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
USENIX Security '18 - QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
|
Yükleniyor...
Lütfen bekleyiniz...
Type
Size

 İlgili Videolar

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

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

|
Qsym: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Qsym: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

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

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

|
USENIX Security '18-Inception: System-Wide Security Testing of Real-World Embedded Systems Software

USENIX Security '18-Inception: System-Wide Security Testing of Real-World Embedded Systems Software

|
USENIX Security '22 - SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow

USENIX Security '22 - SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow

|
USENIX Security '18 - Automatic Heap Layout Manipulation for Exploitation

USENIX Security '18 - Automatic Heap Layout Manipulation for Exploitation

|
USENIX Security '19 - Fuzzification: Anti-Fuzzing Techniques

USENIX Security '19 - Fuzzification: Anti-Fuzzing Techniques

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

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

|
USENIX Security '19 - GRIMOIRE: Synthesizing Structure while Fuzzing

USENIX Security '19 - GRIMOIRE: Synthesizing Structure while Fuzzing

|
USENIX Security '20 - Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine

USENIX Security '20 - Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine

|
USENIX Enigma 2017 — StreamAlert: A Serverless, Real-time Intrusion Detection Engine

USENIX Enigma 2017 — StreamAlert: A Serverless, Real-time Intrusion Detection Engine

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

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

|
USENIX Security '19 - MOPT: Optimized Mutation Scheduling for Fuzzers

USENIX Security '19 - MOPT: Optimized Mutation Scheduling for Fuzzers

|
USENIX Security '21 - MAZE: Towards Automated Heap Feng Shui

USENIX Security '21 - MAZE: Towards Automated Heap Feng Shui

|
USENIX Security '19 - EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers

USENIX Security '19 - EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers

|
Fuzzing Symbolic Expressions

Fuzzing Symbolic Expressions

|
NDSS 2019 Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing

NDSS 2019 Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing

|
MACKE - Compositional analysis of vulnerabilities with symbolic execution

MACKE - Compositional analysis of vulnerabilities with symbolic execution

|
USENIX Security '20 - USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation

USENIX Security '20 - USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation

|
OffensiveCon18 - Vitaly Nikolenko - Concolic Testing for Kernel Fuzzing and Vulnerability Discovery

OffensiveCon18 - Vitaly Nikolenko - Concolic Testing for Kernel Fuzzing and Vulnerability Discovery

|
Copyright. All rights reserved © 2025
Rosebank, Johannesburg, South Africa