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

#SMT Solvers

Showing: 15 courses
Conference on Computer-Aided Verification

Privacy-preserving Automated Reasoning

0 rewiews
Explore privacy-preserving formal reasoning techniques, including ppSAT solver and zero-knowledge protocols for Boolean formula unsatisfiability, advancing automated verification while maintaining data privacy.
Add to list
1 Lesons
1 hour 16 minutes
On-Demand
Free-Video
Cooper

SMT Solvers in IT Security - Deobfuscating Binary Code with Logic

0 rewiews
Explore SMT solvers for deobfuscating binary code in IT security. Learn practical applications, theoretical limitations, and solutions for enhancing malware analysis and vulnerability identification.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
ACM SIGPLAN

Complete First-Order Reasoning for Properties of Functional Programs - OOPSLA 2023

0 rewiews
Explore complete first-order reasoning for functional program properties, uncovering theoretical foundations of verification tools and explaining their efficacy, limitations, and user assistance role.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Reasoning About Hilbert's Choice Operator in SMT

0 rewiews
Explore implementing Hilbert's ε-terms in SMT solvers, gaining access to a new logical choice primitive for enhanced reasoning capabilities.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
ACM SIGPLAN

Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols

0 rewiews
Explore a novel interactive verification methodology using relational abstraction to tackle quantifier reasoning challenges in infinite-state systems, with applications to distributed protocols.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
ACM SIGPLAN

Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions

0 rewiews
Explore a novel framework for mostly automated verification of liveness properties in distributed protocols using ranking functions, reducing complex problems to simpler safety property verifications.
Add to list
1 Lesons
19 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

Jumping the Fence - Comparison and Improvements for Existing Jump Oriented Programming Tools

0 rewiews
Explore Jump Oriented Programming, comparing tools and discussing improvements. Covers gadget search, comprehension strategies, and architecture support for various platforms including ARM and AVR.
Add to list
29 Lesons
34 minutes
On-Demand
Free-Video

Jumping the Fence - Comparison and Improvements for Existing Jump Oriented Programming Tools

0 rewiews
Exploring Jump Oriented Programming tools, comparing techniques, and discussing improvements. Covers dispatcher gadgets, functional gadgets, and AVR support with demos and practical insights.
Add to list
18 Lesons
33 minutes
On-Demand
Free-Video
Simons Institute

Grisette: Symbolic Compilation as a Functional Programming Library

0 rewiews
Explore symbolic compilation techniques in functional programming with Grisette, enhancing model and system synthesis capabilities for advanced software development.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
CarolinaCon

Deconstructing Firewalls - Automated Rules in Distributed SDN Networks

0 rewiews
Explore automated firewall management through Software Defined Networking and SMT solvers, enabling scalable security solutions that integrate with IDS systems without compromising network performance.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
ACM SIGPLAN

Explicit Refinement Types - A Type Theory with Embedded Proofs

0 rewiews
Explore λert, a type theory with explicit proof refinement types. Learn about its soundness, denotational semantics, and formalization in Lean 4.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
ACM SIGPLAN

Trustworthy Runtime Verification via Bisimulation - Experience Report

0 rewiews
Explore trustworthy runtime verification using bisimulation in the Copilot framework. Learn how CopilotVerifier generates correctness proofs for compiled monitors, enhancing safety-critical system assurance.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
ACM SIGPLAN

Trust but Verify: Scaling Deductive Verification with Abstract Interpretation - N40AI'24

0 rewiews
Explore scaling deductive verification for smart contracts using abstract interpretation. Learn about pointer analysis algorithms, program simplifications, and challenges in low-level code analysis.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
PapersWeLove

Liquid Type Systems - Understanding Type Theory and SMT Solvers

0 rewiews
Explore the innovative Liquid Types system, combining traditional type theory with SMT solvers to enhance type system expressivity while maintaining practical usability in programming languages.
Add to list
1 Lesons
1 hour 9 minutes
On-Demand
Free-Video