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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
program diagnostics
biblio
Hardware-Based Adversary-Controlled States Tracking
Submitted by
aekwall
on Mon, 10/14/2019 - 9:20am
classic dynamic taint analysis method
code-reuse attack
composability
control flow
dynimic taint analysis
Hardware
Hardware-based Adversary-controlled States
HAST
Human behavior
Linux
Linux applications
memory data
memory vulnerabilities
Pipelines
program diagnostics
programming
pubcrawl
Registers
Resiliency
return oriented programming
rop attacks
Scalability
security of data
Software
software security challenges
target tracking
biblio
Locating SQL Injection Vulnerabilities in Java Byte Code Using Natural Language Techniques
Submitted by
grigby1
on Thu, 09/26/2019 - 9:25am
code analysis
code analysis tools
collaboration
Decision trees
Human behavior
Human Factors
Java
Java byte code
Java program
Metrics
natural language processing
natural language techniques
policy-based governance
program diagnostics
pubcrawl
Python
resilience
Resiliency
Safe Coding
Secure Coding
security
security of data
singular decision trees
Software
software vulnerabilities
source code (software)
SQL
SQL injection
SQL injection vulnerabilities
standards
Text Mining
tools
biblio
Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language
Submitted by
grigby1
on Thu, 09/26/2019 - 9:24am
automatic analysis
Bianry Analysis
collaboration
Computational modeling
Conferences
Control Flow Recovery
control-flow recovery
data flow analysis
data-flow analyses
Explosions
Formal Specification
Human behavior
Human Factors
low-level object code
Memory management
Metrics
policy-based governance
program compilers
program diagnostics
program verification
pubcrawl
resilience
Resiliency
restricted control transition intermediate language
Safe Coding
safe control flow recovery
security
security mechanisms
security of data
security policies
Security Validation
Semantics
software fault tolerance
source code level
biblio
Attack and Defense of Dynamic Analysis-Based, Adversarial Neural Malware Detection Models
Submitted by
aekwall
on Mon, 06/24/2019 - 1:43pm
adversarial attacks
adversarial learning
adversarial learning-based attacks
adversarial neural malware detection models
anti-malware companies
anti-malware engine
classification algorithm
computer security
crafting adversarial samples
deep learning
deep learning classification systems
deep learning-based systems
dynamic analysis-based
Dynamic Malware Classification
Engines
Human behavior
invasive software
Jacobian matrices
learning (artificial intelligence)
malware
Malware Analysis
malware classification accuracy
malware detection
Metrics
Neural networks
pattern classification
program diagnostics
pubcrawl
Resiliency
static analysis-based malware classifiers
Training
biblio
Attack Modeling and Verification for Connected System Security
Submitted by
aekwall
on Wed, 05/01/2019 - 12:05pm
Adaptation models
Attack Modeling
composability
connected system security
critical systems
dynamic system modeling
Dynamical Systems
embedded systems
error detection
error propagation
extended attack tree
Formal Specification
IoT
Metrics
model checker
model checking
Petri nets
program diagnostics
program verification
pubcrawl
Resiliency
security
security of data
Software Architecture
software tools
static system modeling
SysML
SysML connectivity profile
system security specifications
system specifications
system validation
system verification
systems engineering
Systems modeling
Temporal Logic
Unified modeling language
biblio
The Android Malware Static Analysis: Techniques, Limitations, and Open Challenges
Submitted by
grigby1
on Fri, 02/22/2019 - 3:11pm
android
Android (operating system)
android malware static analysis
application metadata-based features
code-based features
commercial antiviruses
composability
Cryptography
feature extraction
Hardware
Human behavior
invasive software
malicious applications
malware
malware detection
manifest-based features
meta data
obfuscation
obfuscation techniques
program diagnostics
pubcrawl
Resiliency
semantic features
Semantics
static analysis
static analysis frameworks
static code analysis
biblio
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions
Submitted by
grigby1
on Fri, 02/22/2019 - 3:11pm
applications code
C/C++ systems code
composability
Conferences
Databases
Human behavior
Java
Java EE
low false positives
Metrics
PL/SQL server stack
program diagnostics
pubcrawl
relational database security
relational databases
Resiliency
scalable static analysis
security
security of data
security vulnerabilities
SQL
static analysis
Static Analysis Tool
static code analysis
tools
Trademarks
biblio
Detecting the Use of Unsafe Data in Software of Embedded Systems by Means of Static Analysis Methodology
Submitted by
grigby1
on Fri, 02/22/2019 - 3:10pm
composability
Containers
diagnostic rules
embedded computing
embedded systems
Human behavior
increase of efficiency
Indexes
potentially unsafe data
program code
program diagnostics
pubcrawl
Resiliency
semantic information
Semantics
software quality
static analysis
static analysis methodology
static code analysis
static program code analysis
syntactic information
Syntactics
unsafe data
biblio
T-Fuzz: Fuzzing by Program Transformation
Submitted by
grigby1
on Thu, 02/14/2019 - 10:20am
security
security of data
Software
tools
pubcrawl
Metrics
composability
taint analysis
program debugging
program testing
Libraries
fuzzing
program diagnostics
bug finding
code paths
Computer bugs
coverage-guided fuzzer
deep execution paths
dynamic tracing based technique
Fuzz
fuzzer-generated inputs
fuzzing transformed programs
input checks
input mutation techniques
program analysis
program transformation
program verification
randomly generated inputs
software bugs
symbolic execution-based approach
t-fuzz approach
biblio
Detecting Cache-Timing Vulnerabilities in Post-Quantum Cryptography Algorithms
Submitted by
grigby1
on Thu, 02/14/2019 - 10:19am
tools
pubcrawl
Metrics
composability
cache storage
taint analysis
encryption
source code
NIST
quantum cryptography
static analysis
cache-timing attacks
cache-timing vulnerabilities
cryptographic algorithms
dedicated vulnerability research tool
development cycle
execution behavior
leakage pattern detection
NIST post-quantum cryptography project submissions
NIST post-quantum standardization project
post-quantum cryptography algorithms
program diagnostics
Proposals
validation tools
1
2
3
4
next ›
last »
