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
Attack and Defense of Dynamic Analysis-Based, Adversarial Neural Malware Detection Models
Submitted by
aekwall
on Mon, 06/24/2019 - 2: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 - 1:05pm
Dynamical Systems
Temporal Logic
Systems modeling
system security specifications
SysML connectivity profile
SysML
static system modeling
system verification
system validation
system specifications
Adaptation models
embedded systems
security of data
IoT
software tools
program verification
program diagnostics
Petri nets
model checking
model checker
Formal Specification
extended attack tree
error propagation
error detection
dynamic system modeling
critical systems
connected system security
Attack Modeling
Software Architecture
systems engineering
Unified modeling language
Metrics
composability
pubcrawl
Resiliency
security
biblio
The Android Malware Static Analysis: Techniques, Limitations, and Open Challenges
Submitted by
grigby1
on Fri, 02/22/2019 - 4:11pm
pubcrawl
Human behavior
Resiliency
composability
feature extraction
Hardware
invasive software
malware
Cryptography
malware detection
android
Android (operating system)
static code analysis
semantic features
Semantics
obfuscation
static analysis
program diagnostics
android malware static analysis
application metadata-based features
code-based features
commercial antiviruses
malicious applications
manifest-based features
meta data
obfuscation techniques
static analysis frameworks
biblio
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions
Submitted by
grigby1
on Fri, 02/22/2019 - 4:11pm
security
Databases
security of data
tools
pubcrawl
Human behavior
Resiliency
composability
Conferences
Java
relational databases
static analysis
static code analysis
security vulnerabilities
program diagnostics
applications code
C/C++ systems code
Java EE
low false positives
PL/SQL server stack
scalable static analysis
SQL
Static Analysis Tool
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 - 4:10pm
pubcrawl
Human behavior
Resiliency
composability
Indexes
embedded systems
static code analysis
Semantics
Containers
static analysis
program diagnostics
Syntactics
diagnostic rules
embedded computing
increase of efficiency
potentially unsafe data
program code
semantic information
software quality
static analysis methodology
static program code analysis
syntactic information
unsafe data
biblio
T-Fuzz: Fuzzing by Program Transformation
Submitted by
grigby1
on Thu, 02/14/2019 - 11: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 - 11: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
biblio
Symbolic execution and probabilistic reasoning
Submitted by
grigby1
on Wed, 09/05/2018 - 10:42am
Security Metrics
pubcrawl
Symbolic Execution
safety-critical software
Computational modeling
program diagnostics
Software systems
probability
inference mechanisms
Atmospheric modeling
Metrics
reliability theory
Systematics
Probabilistic logic
cognition
Computing Theory
event occurrence probability
probabilistic reasoning
program behaviors
program paths
software system safety
software system security
symbolic path conditions
systematic program analysis technique
biblio
Securing Concurrent Lazy Programs Against Information Leakage
Submitted by
grigby1
on Thu, 08/23/2018 - 11:57am
security
Theorem Proving
Haskell
Concurrency
cyber-physical systems
pubcrawl
composability
security of data
data privacy
Sensitivity
data structures
program diagnostics
resilience
Metrics
Libraries
Lattices
timing
Resiliency
software tools
Information Leakage
concurrency control
Agda proof assistant
concurrent lazy programs security
covert channel
functional languages
functional programming
Haskell libraries
IFC libraries
IFC tools
information-flow control tools
lazy calculus
lazy evaluation
lazy languages
lazyDup
Message systems
noninterference
security library MAC
software libraries
Writing
biblio
A Lightweight Malware Classification Method Based on Detection Results of Anti-Virus Software
Submitted by
grigby1
on Wed, 06/20/2018 - 12:57pm
antivirus software detection
arrays
computer viruses
cyber threats
Data mining
Databases
dynamic analysis
Electronic mail
Human behavior
internet
lightweight malware classification
malware
Malware Analysis
malware classification
Malware Clustering
Metrics
pattern classification
Phased arrays
privacy
program diagnostics
pubcrawl
resilience
Resiliency
static analysis
1
2
3
4
next ›
last »
