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
ConDySTA: Context-Aware Dynamic Supplement to Static Taint Analysis
Submitted by aekwall on Thu, 05/19/2022 - 1:36pm
Benchmark testing
privacy
tools
Heuristic algorithms
pubcrawl
Metrics
composability
static analysis
Sensitivity
Context Sensitivity
Dynamic Supplement
Software systems
taint analysis
biblio
SecuCheck: Engineering configurable taint analysis for software developers
Submitted by aekwall on Thu, 05/19/2022 - 1:36pm
composability
Conferences
domain-specific languages
integrated development environment
Java
Metrics
pubcrawl
Runtime
security
Software
static analysis
taint analysis
tools
biblio
Revealing Injection Vulnerabilities by Leveraging Existing Tests
Submitted by grigby1 on Mon, 11/29/2021 - 2:30pm
Benchmark testing
composability
injection attacks
Metrics
Open Source Software
Pathology
Production
pubcrawl
software engineering
static analysis
taint analysis
taint tracking
Test pattern generators
vulnerability testing
biblio
Identifying Vulnerable IoT Applications Using Deep Learning
Submitted by grigby1 on Mon, 11/29/2021 - 2:29pm
codes
composability
deep learning
Metrics
Predictive models
pubcrawl
Software algorithms
taint analysis
tools
Training
Transforms
biblio
MITOS: Optimal Decisioning for the Indirect Flow Propagation Dilemma in Dynamic Information Flow Tracking Systems
Submitted by grigby1 on Mon, 11/29/2021 - 2:29pm
Metrics
taint analysis
tag propagation
Spatiotemporal phenomena
Semantics
pubcrawl
Performance analysis
optimization
Open Source Software
composability
Measurement
Iterative algorithms
in memory attacks
indirect flows
Fingerprint recognition
DTA
DIFT
biblio
Language-Agnostic Injection Detection
Submitted by grigby1 on Mon, 11/29/2021 - 2:28pm
composability
Conferences
Data mining
formal languages
fuzzing
Metrics
privacy
pubcrawl
security
Software systems
taint analysis
biblio
Using Taint Analysis and Reinforcement Learning (TARL) to Repair Autonomous Robot Software
Submitted by grigby1 on Mon, 11/29/2021 - 2:28pm
automated repair
autonomous robots
autonomous system
composability
formal verification
maintenance engineering
Metrics
Monitoring
performance guarantee
pubcrawl
Reinforcement learning
ROS
self-healing
Software
taint analysis
uncertainty
biblio
Compositional Taint Analysis of Native Codes for Security Vetting of Android Applications
Submitted by grigby1 on Mon, 11/29/2021 - 2:27pm
Binary Analysis
composability
dynamic programming
Explosions
Function Summaries
Metrics
Mobile Security
operating systems
Performance analysis
privacy
pubcrawl
static analysis
Symbolic Execution
taint analysis
tools
biblio
Scaling Application-Level Dynamic Taint Analysis to Enterprise-Scale Distributed Systems
Submitted by grigby1 on Mon, 11/29/2021 - 2:27pm
Complexity theory
composability
distributed systems
dynamic taint analysis
faces
Metrics
new bugs
pubcrawl
Scalability
software engineering
software tools
static analysis
taint analysis
tools
biblio
Neutaint: Efficient Dynamic Taint Analysis with Neural Networks
Submitted by grigby1 on Mon, 11/29/2021 - 2:27pm
composability
fuzzing
Metrics
Neural networks
Performance analysis
pubcrawl
Runtime
security
taint analysis
Task Analysis
tools
« first
‹ previous
1
2
3
4
5
6
7
next ›
last »
