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
vulnerability detection
biblio
ForeSee: A Cross-Layer Vulnerability Detection Framework for the Internet of Things
Submitted by
aekwall
on Mon, 09/21/2020 - 3:35pm
security of data
Internet of Things
IoT devices
Internet of Things (IoT)
Resiliency
pubcrawl
graph theory
Protocols
Vulnerability Analysis
Decision Making
Intrusion Detection
firmware
IoT security
vulnerability detection
cyber security
security issues
IoT systems
attack graph
Internet-of-Things devices
model checking
network protocols
composability
catastrophic accidents
corresponding graph-based analysis
cross-layer formal framework
cross-layer vulnerability detection framework
design flaws
device firmware
ForeSee
high-level decision-making processes
IoT privacy
long sequence
low-level physical surroundings
Multiple layer
multiple layers
physical environment
potential attack paths
severe threats
system configurations
Cross Layer Security
biblio
Hardening the Core: Understanding and Detection of XNU Kernel Vulnerabilities
Submitted by
aekwall
on Mon, 07/27/2020 - 12:20pm
security of data
security
Kernel
Resiliency
pubcrawl
Metrics
vulnerability detection
security vulnerabilities
Engines
Human Factors
Instruments
empirical study
Compositionality
fuzzing
operating system kernels
Manuals
statistical analysis
common application vulnerabilities
feedback based fuzzing
feedback-based fuzzing techniques
KInspector framework
macOS/iOS kernel XNU
XNU kernel vulnerabilities
XNU kernel vulnerability
iOS Security
biblio
DifFuzz: Differential Fuzzing for Side-Channel Analysis
Submitted by
aekwall
on Mon, 03/09/2020 - 11:13am
security of data
Scalability
Cryptography
Resiliency
pubcrawl
vulnerability detection
tools
Correlation
Java
program diagnostics
execution time
Instruments
Time factors
side-channel
fuzzing
dynamic analysis
side-channel analysis
side-channel attacks
differential fuzzing
DifFuzz
fuzzing-based approach
Java programs
Performance analysis
resource consumption
resource usage
resource-guided heuristics
secret program data
secret-dependent paths
unknown side-channel vulnerabilities
Security Heuristics
predictability
biblio
Detecting "0-Day" Vulnerability: An Empirical Study of Secret Security Patch in OSS
Submitted by
aekwall
on Mon, 02/17/2020 - 2:42pm
security of data
security
learning (artificial intelligence)
Resiliency
Human behavior
pubcrawl
Metrics
vulnerability detection
Databases
Training
machine learning
Computer bugs
public domain software
software development management
software maintenance
Compositionality
Open Source Software
security patch
0-day attacks
0-day vulnerability
armored attackers
BoringSSL
easy software development management
n-day attacks
secret security patches
secretly patched vulnerabilities
security fixes
security patch database
security patches mapping
software vendors
unpatched OSS versions
vulnerable code public
biblio
A Two-Level Hybrid Model for Anomalous Activity Detection in IoT Networks
Submitted by
aekwall
on Mon, 02/17/2020 - 2:42pm
Intrusion Detection
security of data
telecommunication traffic
Internet of Things
Protocols
nearest neighbour methods
feature extraction
machine learning
Resiliency
Human behavior
pubcrawl
Metrics
pattern classification
vulnerabilities
Training
Cybersecurity
Anomaly Detection
network traffic
vulnerability detection
Compositionality
IoT networks
anomaly detection system
CICIDS2017 dataset
edited nearest neighbors
flow-based anomaly detection
flow-based features extraction
flow-based intrusion detection
level-1 model
level-2 model precision
malicious activity detection
recursive feature elimination
sampling methods
synthetic minority over-sampling technique
two-level hybrid anomalous activity detection
UNSW-15 dataset
biblio
Algebraic Patterns of Vulnerabilities in Binary Code
Submitted by
aekwall
on Mon, 02/17/2020 - 2:42pm
Buffer overflows
Resiliency
Human behavior
pubcrawl
Metrics
vulnerability detection
pattern matching
program diagnostics
algebra
Semantics
Compositionality
Registers
sockets
binary code
Binary codes
algebra equations
algebraic approach
algebraic matching
algebraic matching methods
algebraic patterns
behaviour algebra
cyber reasoning systems
pattern creation
rewriting rules
symbolic modelling
biblio
Detecting Android Security Vulnerabilities Using Machine Learning and System Calls Analysis
Submitted by
aekwall
on Mon, 02/17/2020 - 2:42pm
security
Software
invasive software
learning (artificial intelligence)
Resiliency
Human behavior
pubcrawl
machine learning
Metrics
Correlation
Anomaly Detection
Computer bugs
security vulnerabilities
Measurement
vulnerability detection
android
Android (operating system)
Compositionality
anomaly detection techniques
system calls
Android operating systems
Android security vulnerabilities
cyber attackers
detection algorithm
detection process
malicious Android application
security bugs
security vulnerabilities detection
system call
vulnerabilities detection approach
biblio
Research on Mobile Application Local Denial of Service Vulnerability Detection Technology Based on Rule Matching
Submitted by
aekwall
on Mon, 02/17/2020 - 2:42pm
Monitoring
security
invasive software
mobile computing
feature extraction
Resiliency
Human behavior
pubcrawl
Metrics
pattern matching
Mobile Applications
Communication networks
vulnerability detection
smart phones
Compositionality
formal verification
Computer crashes
-dynamic-detection
-rule-matching
-security-vulnerability
-static-detection
dynamic detection method
hook verification
local denial of service vulnerability detection technology
malicious application flooding
mobile application market
mobile-application
rule matching
smali abstract syntax tree
static detection method
biblio
A Study on Container Vulnerability Exploit Detection
Submitted by
aekwall
on Mon, 02/17/2020 - 2:41pm
security of data
Cloud Computing
security
feature extraction
learning (artificial intelligence)
machine learning
Resiliency
Human behavior
pubcrawl
Metrics
Databases
tools
Anomaly Detection
Containers
vulnerability detection
Heuristic algorithms
Image Processing
Compositionality
cloud computing infrastructures
Container Security
container vulnerability exploit detection
Docker Images
dynamic anomaly detection scheme
dynamic vulnerability attack detection schemes
static vulnerability attack detection schemes
biblio
Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code
Submitted by
aekwall
on Mon, 02/17/2020 - 2:41pm
algebra
algebra expressions
behavior algebra
behavior matching
binary code
Binary codes
Buffer overflows
Compositionality
Cybersecurity
exploit
formal methods
Formal Specification
fuzzing
Human behavior
Mathematical model
Metrics
model checking
pattern matching
pubcrawl
Resiliency
Semantics
Symbolic Execution
two-level algebraic method
vulnerabilities detection
Vulnerability
vulnerability detection
vulnerability pattern matching
1
2
3
4
5
6
next ›
last »
