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
Static Code Analysis Tool for Laravel Framework Based Web Application
Submitted by aekwall on Fri, 11/18/2022 - 3:25pm
security
Computational modeling
Data models
Analytical models
pubcrawl
Resiliency
Human behavior
composability
Manuals
static analysis
Dictionaries
vulnerabilities
codes
static code analysis
taint analysis
Laravel
biblio
An Automated Pipeline for Privacy Leak Analysis of Android Applications
Submitted by grigby1 on Thu, 07/28/2022 - 2:08pm
Android permission
composability
dynamic analysis
Human behavior
mobile application security
Pipelines
privacy
privacy leak
pubcrawl
resilience
Resiliency
software engineering
static analysis
taint analysis
telecommunication traffic
biblio
OCTOPOCS: Automatic Verification of Propagated Vulnerable Code Using Reformed Proofs of Concept
Submitted by aekwall on Thu, 05/19/2022 - 1:39pm
Software
pubcrawl
Metrics
composability
Ecosystems
taint analysis
C++ languages
Computer crashes
Proofs-of-Concept
Symbolic Execution
Vulnerability Propagation
biblio
Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing
Submitted by aekwall on Thu, 05/19/2022 - 1:39pm
Scalability
tools
optimization
pubcrawl
Metrics
composability
Random access memory
Memory management
taint analysis
IFDS
memory consumption
biblio
Mixed-mode Information Flow Tracking with Compile-time Taint Semantics Extraction and Offline Replay
Submitted by aekwall on Thu, 05/19/2022 - 1:38pm
Servers
Anomaly Detection
pubcrawl
Metrics
composability
Semantics
Runtime
Memory management
taint analysis
application logic vulnerabilities
decoupled dynamic information flow tracking
Runtime library
static information flow tracking
taint propagation
target tracking
biblio
Improving Accuracy and Completeness of Source Code Static Taint Analysis
Submitted by aekwall on Thu, 05/19/2022 - 1:38pm
Resiliency
Human behavior
codes
composability
Metrics
programming
pubcrawl
static analysis
static code analysis
taint analysis
vulnerabilities
biblio
VulChecker: Achieving More Effective Taint Analysis by Identifying Sanitizers Automatically
Submitted by aekwall on Thu, 05/19/2022 - 1:38pm
security
privacy
Conferences
pubcrawl
Metrics
composability
Semantics
Prototypes
static analysis
Dictionaries
vulnerability detection
taint analysis
sanitizers identification
security check
biblio
Increasing Fuzz Testing Coverage for Smart Contracts with Dynamic Taint Analysis
Submitted by aekwall on Thu, 05/19/2022 - 1:37pm
security
IP networks
smart contracts
software reliability
Conferences
pubcrawl
Metrics
composability
fuzzing
ethereum
software quality
taint analysis
dynamic taint analysis
Fuzz Testing
biblio
Detecting Attack Surface With Full-System Taint Analysis
Submitted by aekwall on Thu, 05/19/2022 - 1:37pm
security
Task Analysis
software reliability
Virtual machining
Conferences
pubcrawl
Metrics
composability
malware
fuzzing
software quality
taint analysis
attack surface
dynamic analysis
software certification
virtual machine introspection
biblio
HashMTI: Scalable Mutation-based Taint Inference with Hash Records
Submitted by aekwall on Thu, 05/19/2022 - 1:37pm
Software
Scalability
Conferences
pubcrawl
Metrics
composability
Hash functions
Prototypes
fuzzing
Memory management
taint analysis
program analysis
Software Testing
1
2
3
4
5
6
7
next ›
last »