Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Symbolic Execution

Showing: 53 courses
New York University (NYU)

angr: Binary Analysis Framework - Demonstration and Analysis

0 rewiews
Explore angr, a powerful binary analysis framework, through demos and source code analysis. Learn its capabilities for reverse engineering and vulnerability detection.
Add to list
6 Lesons
31 minutes
On-Demand
Free-Video
IEEE

CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation

0 rewiews
Explores cache-aware symbolic execution for detecting and mitigating side-channel vulnerabilities, offering novel abstract cache models and guidance for effective countermeasures.
Add to list
15 Lesons
17 minutes
On-Demand
Free-Video
IEEE

SPECTECTOR - Principled Detection of Speculative Information Flows

0 rewiews
Principled detection of speculative information flows in computer systems, focusing on security against Spectre-like attacks through speculative non-interference and symbolic execution techniques.
Add to list
10 Lesons
17 minutes
On-Demand
Free-Video
IEEE

TriggerScope - Towards Detecting Logic Bombs in Android Applications

0 rewiews
Explore techniques for detecting logic bombs in Android apps using symbolic execution and path predicate analysis. Learn about TriggerScope, a tool for identifying time-, location-, and SMS-related triggers in mobile applications.
Add to list
11 Lesons
21 minutes
On-Demand
Free-Video
IEEE

Unleashing Mayhem on Binary Code

0 rewiews
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.
Add to list
22 Lesons
22 minutes
On-Demand
Free-Video
Linux Foundation

Triaging Kernel Out-of-Bounds Write Vulnerabilities

0 rewiews
Explore techniques for triaging kernel out-of-bounds write vulnerabilities, including symbolic execution, capability summarization, and exploitability evaluation.
Add to list
13 Lesons
29 minutes
On-Demand
Free-Video
ACM SIGPLAN

Quantitative Robustness for Vulnerability Assessment

0 rewiews
Explore quantitative robust reachability for measuring bug triggering difficulty in software security. Learn about QRSE and functional E-MAJSAT for improved vulnerability assessment.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
ETHTaipei

Practical Symbolic Execution for EVM - ETHTaipei 2023

0 rewiews
Dive into symbolic execution techniques for Ethereum Virtual Machine (EVM), exploring practical applications and implementation strategies for smart contract analysis.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
IEEE

Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

0 rewiews
Efficient binary-level verification tool for constant-time programming, providing bug-finding and bounded-verification through relational symbolic execution and optimizations for information flow analysis.
Add to list
16 Lesons
16 minutes
On-Demand
Free-Video
IEEE

VerX: Safety Verification of Smart Contracts

0 rewiews
Explore automated safety verification for smart contracts using VerX, covering specification challenges, verification techniques, and practical applications in blockchain security.
Add to list
12 Lesons
15 minutes
On-Demand
Free-Video
Linux Foundation

SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs

0 rewiews
Explore SyzScope, a tool revealing high-risk security impacts of fuzzer-exposed bugs. Learn about its workflow, fuzzing techniques, and symbolic execution for effective vulnerability assessment.
Add to list
17 Lesons
32 minutes
On-Demand
Free-Video
Strange Loop Conference

Can a Programming Language Reason About Systems?

0 rewiews
Exploring Fault: A new programming language for modeling and reasoning about diverse systems, from technical to organizational, with programmer-friendly syntax and logic-based problem-solving capabilities.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
Paul G. Allen School

PLSE Seminar Series - Willem Visser, "An Analytical Perspective on Mutations and Coverage"

0 rewiews
Explores symbolic execution and model counting for analyzing mutations and coverage in software testing, discussing reachability, mutation operators, oracle precision, and probabilistic approaches.
Add to list
1 Lesons
1 hour
On-Demand
Free-Video
Cooper

Bug Hunting Using Symbolic Virtual Machines - Hack.lu 2017

0 rewiews
Explore symbolic execution for vulnerability discovery and reverse engineering. Learn KLEE symbolic virtual machine basics to solve complex challenges in software security.
Add to list
1 Lesons
47 minutes
On-Demand
Free-Video
Java

LINQ-style Queries in Java with Jinq - JVM Language Summit 2015

0 rewiews
Explore LINQ-style queries in Java with Jinq, covering embedding database DSLs, lazy evaluation, query generation, and symbolic code execution for efficient database operations.
Add to list
18 Lesons
21 minutes
On-Demand
Free-Video
ACM SIGPLAN

Formally Verifying Optimizations with Block Simulations

0 rewiews
Explore formal verification of compiler optimizations using block simulations. Learn about enhancing CompCert with efficient, verified validators for advanced optimizations like LCM and SR.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
Hack In The Box Security Conference

When Qiling Framework Meets Symbolic Execution

0 rewiews
Exploring Qiling Framework's new symbolic execution capabilities for advanced binary analysis across architectures, with demonstrations and insights into its development and applications.
Add to list
14 Lesons
50 minutes
On-Demand
Free-Video
NorthSec

Logic Against Sneak Obfuscated Malware

0 rewiews
Explore SMT solvers for binary analysis and code deobfuscation in IT security. Learn practical applications, limitations, and solutions for enhancing malware analysis capabilities.
Add to list
17 Lesons
22 minutes
On-Demand
Free-Video
NorthSec

Binary Analysis, Meet the Blockchain

0 rewiews
Explore symbolic execution for Ethereum smart contract analysis, addressing technical challenges and introducing Manticore, an open-source tool for enhancing contract security audits.
Add to list
1 Lesons
52 minutes
On-Demand
Free-Video
Recon Conference

Reverse Engineering of Black Box Binaries with Symbolic and Concolic Execution Technique

0 rewiews
Explore symbolic and concolic execution techniques to simplify reverse engineering of complex binaries. Learn to use the angr framework for efficient crackme solving and deobfuscation.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
Recon Conference

Under the Hood of Wslink Multilayered Virtual Machine

0 rewiews
Análisis detallado de la máquina virtual multicapa Wslink, explorando técnicas de ofuscación avanzadas y presentando un enfoque semiautomático para desobfuscar el malware de forma eficiente.
Add to list
1 Lesons
35 minutes
On-Demand
Free-Video
NorthSec

Practical Uses of Program Analysis - Automatic Exploit Generation

0 rewiews
Explore automatic exploit generation through program analysis techniques, including instrumentation and symbolic execution, with practical demonstrations and tool insights.
Add to list
21 Lesons
37 minutes
On-Demand
Free-Video
Cooper

Cyber Grand Shellphish - Shellphish and the DARPA Cyber Grand Challenge

0 rewiews
Explore autonomous hacking with Mechanical Phish, a system for automatic bug detection, exploit creation, and binary patching. Learn about its design, challenges, and implementation in the DARPA Cyber Grand Challenge.
Add to list
21 Lesons
57 minutes
On-Demand
Free-Video
USENIX Enigma Conference

Leveraging the Power of Automated Reasoning - USENIX Enigma Conference - 2017

0 rewiews
Explores automated bug detection and security exploit generation using symbolic execution and SMT solvers, showcasing their application in Web security analysis and potential for broader automation.
Add to list
13 Lesons
26 minutes
On-Demand
Free-Video
Black Hat

Breaking Samsung's ARM TrustZone

0 rewiews
Explore Samsung's TrustZone vulnerabilities and learn techniques to exploit trusted components, execute high-privilege code, and bypass security measures in ARM-based systems.
Add to list
31 Lesons
43 minutes
On-Demand
Free-Video
Black Hat

Code Deobfuscation - Intertwining Dynamic, Static and Symbolic Approaches

0 rewiews
Explore advanced code deobfuscation techniques combining dynamic, static, and symbolic approaches to enhance software analysis and reverse engineering capabilities.
Add to list
17 Lesons
51 minutes
On-Demand
Free-Video
Strange Loop Conference

Your Secrets Are Safe with Julia - A Compiler for Secure Computation

0 rewiews
Explore Ramparts, a compiler translating Julia code for homomorphic encryption, enabling secure computation on encrypted data without cryptography expertise.
Add to list
22 Lesons
39 minutes
On-Demand
Free-Video
USENIX

FUZE - Towards Facilitating Exploit Generation for Kernel Use-After-Free Vulnerabilities

0 rewiews
Explore automated exploit generation for kernel Use-After-Free vulnerabilities using FUZE framework, enhancing security analysis efficiency and exploitability evaluation for complex OS kernels.
Add to list
19 Lesons
21 minutes
On-Demand
Free-Video
USENIX

AntiFuzz - Impeding Fuzzing Audits of Binary Executables

0 rewiews
Explore techniques to protect binary executables against automated bug-finding tools, focusing on impeding fuzzing, symbolic execution, and hybrid fuzzing approaches while maintaining performance.
Add to list
8 Lesons
20 minutes
On-Demand
Free-Video
Black Hat

Bringing the Power of Symbolic Execution to the Fight Against Malicious Excel 4 Macros

0 rewiews
Explore Symbexcel, a tool using symbolic execution to analyze and detect malicious Excel 4.0 macros, enhancing cybersecurity against this common attack vector.
Add to list
21 Lesons
35 minutes
On-Demand
Free-Video
Black Hat

Assessing and Exploiting BigNum Vulnerabilities

0 rewiews
Explore vulnerabilities in multi-precision integer arithmetic used in cryptography implementations. Learn bug patterns, exploitation techniques, and strategies for automated vulnerability detection.
Add to list
18 Lesons
49 minutes
On-Demand
Free-Video
Hack In The Box Security Conference

Rooting Routers Using Symbolic Execution

0 rewiews
Explore advanced techniques for exploiting router vulnerabilities using symbolic execution, uncovering potential security flaws in network devices.
Add to list
1 Lesons
57 minutes
On-Demand
Free-Video
IEEE

T-Fuzz - Fuzzing by Program Transformation

0 rewiews
Innovative fuzzing technique that removes input checks to explore deeper code paths, improving bug discovery in software. Combines program transformation with symbolic execution for effective results.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
IEEE

How the BIOS Assures Its Handling of Inputs

0 rewiews
Explore BIOS input handling, firmware interfaces, and analysis techniques for formal validation and vulnerability detection, including static, dynamic, and symbolic execution approaches.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video
IEEE

SymCerts - Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation

0 rewiews
Explore practical symbolic execution techniques to uncover noncompliance in X.509 certificate validation implementations, enhancing security in SSL/TLS protocols and IoT systems.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
Black Hat

Contemporary Automatic Program Analysis

0 rewiews
Explore automatic program analysis techniques for vulnerability discovery, from historical context to cutting-edge methods, with practical examples and demos for effective security research.
Add to list
29 Lesons
42 minutes
On-Demand
Free-Video
Black Hat

How to Grow a TREE from CBASS

0 rewiews
Innovative binary analysis toolset for cross-platform programs. Integrates with IDA Pro, enabling interactive visualization and on-demand analysis for efficient reverse engineering and vulnerability detection.
Add to list
1 Lesons
56 minutes
On-Demand
Free-Video

Automating Windows Kernel Analysis With Symbolic Execution

0 rewiews
Explore automated Windows kernel analysis using symbolic execution techniques for enhanced security and vulnerability detection.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video

Symbolically Executing a Fuzzy Tyrant

0 rewiews
Explore symbolic execution and fuzzing techniques for software security analysis, focusing on practical applications and advanced methodologies.
Add to list
1 Lesons
43 minutes
On-Demand
Free-Video
linux.conf.au

Compiling Your Story - Using Techniques from Compiler Design to Check Your Narrative

0 rewiews
Explore compiler techniques applied to narrative design, enhancing dialogue error-checking and streamlining testing processes for branching stories in game development.
Add to list
13 Lesons
46 minutes
On-Demand
Free-Video
USENIX Enigma Conference

Hardware Is the New Software - Finding Exploitable Bugs in Hardware Designs

0 rewiews
Explore techniques for identifying and exploiting security vulnerabilities in hardware designs, focusing on RISC-V and OR1k CPU architectures using innovative tools and symbolic execution.
Add to list
12 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Owi: An Interpreter and Toolkit for WebAssembly in OCaml

0 rewiews
Explore Owi, an OCaml-based interpreter and toolkit for WebAssembly. Learn about its architecture, features, and advantages for experimentation and symbolic manipulations of Wasm code.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
ACM SIGPLAN

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable - OOPSLA 2023

0 rewiews
Explore a novel graph IR for aggressive global optimizations in impure higher-order languages, combining reachability types and effect systems for precise dependency tracking and efficient code optimization.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Sound Gradual Verification with Symbolic Execution

0 rewiews
Explore sound gradual verification using symbolic execution techniques. Learn about optimized run-time check generation and its implementation in verification tools.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Obtaining Information Leakage Bounds via Approximate Model Counting

0 rewiews
Explore a sound symbolic quantitative information flow analysis for bounding information leakage in programs using approximate model counting and symbolic execution.
Add to list
1 Lesons
14 minutes
On-Demand
Free-Video
ACM SIGPLAN

Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding

0 rewiews
Explore a novel symbolic execution technique for efficient bug finding, reducing path explosion through compatible branch coverage and program dependency analysis for faster software testing.
Add to list
1 Lesons
14 minutes
On-Demand
Free-Video
ACM SIGPLAN

SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures

0 rewiews
Explore a novel approach for detecting data races in concurrent data structures using summarization-guided concolic testing, enhancing efficiency in exploring dynamic shapes and exposing hidden races.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Symbolic Execution with Separating Decision Diagrams

0 rewiews
Explore symbolic execution techniques using Separating Decision Diagrams in this advanced computer science talk by Josh Berdine.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
ACM SIGPLAN

Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform - Incorrectness'24

0 rewiews
Explore unified compositional formal methods for program correctness and incorrectness reasoning, focusing on exact separation logic and the Gillian platform.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
ACM SIGPLAN

Unified Compositional Symbolic Execution - N40AI'24

0 rewiews
Explore unified compositional symbolic execution techniques for program analysis, enhancing software reliability and performance optimization.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
GeeCON Conference

Rethinking Unit Testing: Automating the Generation of Java Tests

0 rewiews
Explore automated Java unit test generation to improve productivity, catch bugs on-the-fly, and enhance code quality beyond manual testing limitations.
Add to list
18 Lesons
39 minutes
On-Demand
Free-Video
Ubuntu OnAir

Finding Vulnerabilities in Your Codebase Using Open Source Tools

0 rewiews
Discover techniques and open-source tools for identifying vulnerabilities in codebases, with practical examples using C and Python. Learn static and dynamic methods to enhance code security.
Add to list
1 Lesons
1 hour 10 minutes
On-Demand
Free-Video
USENIX

SymFit: Making the Common Concrete Case Fast for Binary-Code Concolic Execution

0 rewiews
Explore optimizations in binary concolic execution, focusing on concrete instruction performance and symbolic tracing for enhanced crash deduplication efficiency in software testing.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video