Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Symbolic Execution
biblio
S2F: Discover Hard-to-Reach Vulnerabilities by Semi-Symbolic Fuzz Testing
Submitted by K_Hooper on Wed, 04/04/2018 - 9:58am
program testing
vulnerability detection tools
vulnerability detection
tools
test case generation
Symbolic Execution
Software Vulnerability
software tools
semisymbolic fuzz testing
Resiliency
pubcrawl
Prototypes
Binary Analysis
path explosion
Metrics
low frequency input
Human behavior
hard-to-reach vulnerabilities
fuzzy set theory
Fuzz Testing
fuzzing
Explosions
Computer bugs
Compositionality
biblio
Making Smart Contracts Smarter
Submitted by grigby1 on Tue, 10/03/2017 - 11:50am
bitcoin
bitcoin security
blockchain
blockchain security
cryptocurrencies
ethereum
Human behavior
pubcrawl
Ransomware
Resiliency
Scalability
security
smart contract
Symbolic Execution
biblio
SemFix and Beyond: Semantic Techniques for Program Repair
Submitted by grigby1 on Tue, 05/30/2017 - 1:04pm
composability
Program repair
pubcrawl
Resiliency
self-healing networks
Symbolic Execution
biblio
Symbolic Execution of High-level Transformations
Submitted by grigby1 on Wed, 03/29/2017 - 12:39pm
automated white-box test generation
composability
Metrics
Model transformation
program transformation
pubcrawl
Resiliency
Symbolic Execution
white box
white box cryptography
biblio
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
Submitted by rvmeush on Fri, 09/26/2014 - 1:04pm
Computerized monitoring
dynamic analysis
Filters
Heuristic algorithms
Information analysis
information security
Performance analysis
privacy
Reactive power
Runtime
Symbolic Execution
taint analysis
testing
file
A Lazy SMT Bit-vector Solver for Binary Symbolic
Submitted by TimTh on Tue, 05/28/2013 - 12:39pm. Contributors:
Clark Barrett
David Brumley
Cesare Tinelli
Presented as part of the
2013 HCSS conference
.
ABSTRACT:
Bit-vectors
Carnegie Mellon University
NYU
SMT
Symbolic Execution
University of Iowa
Academia
Presentation
HCSS'13
SMT (HCSS'13)
« first
‹ previous
1
2
3
