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
security vulnerabilities
biblio
An Empirical Study on API-Misuse Bugs in Open-Source C Programs
Submitted by
grigby1
on Fri, 08/14/2020 - 11:44am
security of data
pubcrawl
resilience
Resiliency
Benchmark testing
Libraries
static analysis
program debugging
program diagnostics
APIs
application program interfaces
Computer bugs
security vulnerabilities
public domain software
Compositionality
Detectors
application programming interfaces
API misuse
API-misuse bugs
API-misuse detection
API-misuse detectors
APIMU4C
benchmark
bug detection
C code
C language
empirical study
fix patterns
Open Source Software
open-source C programs
static analysis detectors
usage statistics
application programming interface
biblio
Edge AI and Blockchain for Privacy-Critical and Data-Sensitive Applications
Submitted by
grigby1
on Fri, 08/07/2020 - 3:47pm
Logic gates
Internet of Things
feature extraction
Artificial Intelligence
IoT
blockchain
Distributed databases
pubcrawl
Human behavior
Human Factors
resilience
Resiliency
data privacy
privacy
Medical services
Cloud Computing
edge computing
security vulnerabilities
network load
ethereum
Scalability
fog computing paradigms
AI
cloud servers
Data processing
data-sensitive applications
e-health
edge AI
edge artificial intelligence
Electrocardiography
Ethereum blockchain based architecture
Fall Detection
network architecture
privacy-critical systems
responsive systems
smarter systems
U-Health
Ubiquitous Health
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
CAN Radar: Sensing Physical Devices in CAN Networks based on Time Domain Reflectometry
Submitted by
aekwall
on Mon, 07/20/2020 - 10:43am
Intrusion Detection
IDS
Internet of Things
cyber-physical systems
Resiliency
pubcrawl
Anomaly Detection
security vulnerabilities
security mechanisms
sensors
Intrusion Detection Systems
protocol
automotive security
controller area network
controller area network security
Impedance
power transmission lines
Transmission line measurements
Resistance
controller area networks
automotive networks
broadcast medium
CAN radar networks
Distance measurement
Impedance measurement
malicious message transmission
radar detection
radar receivers
Resistors
sensing unit
TDR technique
time domain reflectometry technique
time-domain reflectometry
transceivers
vehicle network
biblio
Study of hardware trojans based security vulnerabilities in cyber physical systems
Submitted by
grigby1
on Thu, 07/16/2020 - 11:57am
closed loop systems
closed-loop systems
completely virtual simulation platform
complex computing environment
composability
Computational modeling
computing chip
computing hardware design
computing platform
CPS modeling
critical CPS application
cyber physical systems
cyber-physical systems
gas pipeline based SCADA system
Hardware
hardware internals
Hardware Trojans
hardware-in-the loop simulation
hardware-in-the-loop based simulation platform
IC industry
integrated circuits
invasive software
malicious modifications
Metrics
pubcrawl
reliable functionality
resilience
Resiliency
SCADA systems
secure functionality
security
Security Awareness
security vulnerabilities
simulations
software peripherals
threat models
Trojan horses
biblio
A Multi-factor Biometric Authentication Scheme Using Attack Recognition and Key Generator Technique for Security Vulnerabilities to Withstand Attacks
Submitted by
aekwall
on Mon, 06/01/2020 - 11:04am
attack recognition
authorisation
biometric
biometrics (access control)
Communication networks
data privacy
Data Security
Databases
Fingerprint recognition
Human behavior
Human Factors
information sharing
internet
key generator technique
Metrics
Multi-factor authentication
multifactor authentication
multifactor biometric authentication scheme
password
pubcrawl
resilience
Resiliency
security
security vulnerabilities
withstand external attacks
World Wide Web
biblio
A Study and Enhancement to the Security of MANET AODV Protocol Against Black Hole Attacks
Submitted by
aekwall
on Tue, 05/26/2020 - 11:03am
ad hoc on-demand distance vector routing
AODV based adhoc networks
AODV protocol
automata
Compositionality
delays
disaster recovery
Internet of Things
IoT
Loss measurement
MANET
MANET AODV protocol
MANET routing protocol
MANET security
Metrics
mobile ad hoc networks
mobile adhoc networks
network security
NS3 simulator
pubcrawl
Resiliency
Routing
Routing Protocol
Routing protocols
security
security vulnerabilities
telecommunication security
uav
unmanned aerial unit
biblio
Using Safety Properties to Generate Vulnerability Patches
Submitted by
aekwall
on Mon, 04/20/2020 - 10:45am
Safety
security of data
security
Software
Resiliency
Human behavior
pubcrawl
composability
Metrics
tools
Libraries
security vulnerabilities
software maintenance
program diagnostics
program verification
relational databases
Engines
program debugging
relational database security
Automated-Program-Repair
automatic program repair methods
Buffer storage
Program-Analysis
property-based APR
safety property
safety-property
Software-Patch
Software-Vulnerability
source code patches
vulnerability-specific safety properties
biblio
SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
collaboration
composability
Compositionality
computer architecture
computer network security
Control Automation Technology devices
Data models
Decoding
deep learning
deep learning model
deep learning perspective
EtherCAT
Fuzz Testing
fuzzing
fuzzing framework
industrial communication processes
industrial communication protocols
industrial network
industrial protocol fuzzing framework
Industrial Safety
learning (artificial intelligence)
Local area networks
modern industrial control systems
Policy Based Governance
policy-based governance
privacy
protocol frame structures
protocol frames
protocol verification
Protocols
pubcrawl
security
security checks
security vulnerabilities
self learning
SeqFuzzer
stateful protocols
target protocol
vulnerability mining
biblio
Smarter Smart Contract Development Tools
Submitted by
grigby1
on Fri, 03/27/2020 - 11:29am
blockchain
blockchain environments
blockchain platforms
blockchain software development tools
blockchain software engineering tool set
buggy code
collaboration
Computer bugs
Computer languages
contracts
Human behavior
Human Factors
Metrics
policy-based governance
program compilers
program debugging
Programming Language
pubcrawl
resilience
Resiliency
Safe Coding
security of data
security vulnerabilities
smart contracts
smarter smart contract development
Software
software engineering
software tools
tools
usability of programming languages
1
2
3
4
next ›
last »
