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
taint analysis
biblio
A Dynamic Taint Analysis Tool for Android App Forensics
Submitted by grigby1 on Thu, 02/14/2019 - 11:19am
Humanoid robots
tools
taint analysis
real-world apps
real-world Android apps
pubcrawl
online app stores
Mobile handsets
mobile forensic toolkits
mobile device
mobile computing
Metrics
Manuals
law enforcement investigators
android
Forensics
forensic evidentiary data
dynamic Taint analysis tool
Digital Forensics
digital forensic practitioners
digital forensic
Databases
composability
benchmark apps
automated mobile app analysis tool
app-generated evidence
Androids
Android app forensics
biblio
Leveraging Historical Versions of Android Apps for Efficient and Precise Taint Analysis
Submitted by grigby1 on Thu, 02/14/2019 - 11:19am
invasive software
user apps
tools
taint checking
taint analysis
simultaneous scalability
security vulnerabilities
security
representative precise taint analysis
real-world evolving Android apps
reachability analysis
pubcrawl
Open Source Software
mobile computing
Metrics
analysis effectiveness
incremental taint analysis
incremental
historical versions
Google
EVOTAINT
Evolution
differencing
composability
Benchmark testing
attacks
Android ecosystem
Android devices
Android (operating system)
android
biblio
User-Guided Program Reasoning Using Bayesian Inference
Submitted by grigby1 on Thu, 02/14/2019 - 11:19am
alarm ranking
Bayesian inference
belief networks
composability
Metrics
pubcrawl
static analysis
taint analysis
biblio
TIFF: Using Input Type Inference To Improve Fuzzing
Submitted by grigby1 on Thu, 02/14/2019 - 11:19am
composability
data-structure Identification
fuzzing
Metrics
pubcrawl
security
taint analysis
Taint-flow analysis
type inference
vulnerability/bug detection
biblio
Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts
Submitted by grigby1 on Thu, 02/14/2019 - 11:19am
composability
ethereum
integer bugs
Metrics
pubcrawl
smart contracts
Symbolic Execution
taint analysis
biblio
Revery: From Proof-of-Concept to Exploitable
Submitted by grigby1 on Thu, 02/14/2019 - 11:19am
composability
exploit
fuzzing
Metrics
pubcrawl
Symbolic Execution
taint analysis
Vulnerability
biblio
Decomposition Instead of Self-composition for Proving the Absence of Timing Channels
Submitted by K_Hooper on Wed, 05/02/2018 - 10:45am
Computing Theory
resilience
Blazer
composability
decomposition
Metrics
pubcrawl
Subtrails
taint analysis
timing attacks
verification
biblio
Dynamic Loader Oriented Programming on Linux
Submitted by K_Hooper on Wed, 05/02/2018 - 10:45am
Address Space Layout Randomization Determinism
composability
Dynamic Loader
glibc
Linux
Loader Oriented Programming
Metrics
pubcrawl
Software Exploitation
software security
Software Vulnerability
taint analysis
biblio
Path Cost Analysis for Side Channel Detection
Submitted by K_Hooper on Wed, 05/02/2018 - 10:45am
edge detection
security
composability
computer security
Metrics
pubcrawl
side-channel analysis
static analysis
taint analysis
biblio
Dynamic Tainting for Automatic Test Case Generation
Submitted by K_Hooper on Wed, 05/02/2018 - 10:45am
composability
dynamic tainting
Input Generation
Metrics
pubcrawl
taint analysis
« first
‹ previous
1
2
3
4
5
6
7
next ›
last »
