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
policy-based governance
biblio
SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
computer architecture
privacy
deep learning
deep learning model
learning (artificial intelligence)
security
pubcrawl
policy-based governance
collaboration
computer network security
Data models
Protocols
composability
Local area networks
industrial network
fuzzing
security vulnerabilities
Policy Based Governance
Control Automation Technology devices
Decoding
deep learning perspective
EtherCAT
Fuzz Testing
fuzzing framework
industrial communication processes
industrial communication protocols
industrial protocol fuzzing framework
Industrial Safety
modern industrial control systems
protocol frame structures
protocol frames
security checks
self learning
SeqFuzzer
stateful protocols
target protocol
vulnerability mining
Compositionality
protocol verification
biblio
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
privacy
authorisation
IP networks
pubcrawl
policy-based governance
collaboration
computer network security
Cryptographic Protocols
Protocols
verification
standards
composability
Policy Based Governance
security protocols
computational model
cryptographic proof
cryptographic protocol
CryptoVerif proof assistant
Elliptic curve cryptography
Noise Protocol Framework
open source Virtual Private Network
transport data messages
Virtual private networks
vpn
WireGuard virtual private network protocol
Compositionality
protocol verification
biblio
Resource-Bounded Intruders in Denial of Service Attacks
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
tools
privacy
Servers
pubcrawl
policy-based governance
collaboration
computer network security
Analytical models
Protocols
Computer crime
composability
Denial of Service attacks
Formal Specification
formal verification
Policy Based Governance
DDoS
Bandwidth
amplification DoS attacks
complexity
computational complexity
Dolev-Yao intruder
DoS problem
existing resource-conscious protocol verification models
formal methods
formal protocol verification
formal verification model
powerful intruders
protocol execution
protocol theories
PSPACE-complete
reachability analysis
real-time systems
refined intruder model
resource-bounded intruders
rewriting modulo SMT
rewriting systems
serious security concern
service resource usage
service unavailable
unlimited resources
Compositionality
protocol verification
biblio
Security in Wireless Sensor Networks: A formal verification of protocols
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
privacy
security
pubcrawl
policy-based governance
collaboration
telecommunication security
Cryptographic Protocols
wireless sensor networks
composability
Security analysis
formal verification
Policy Based Governance
analyzed protocols
complex networked control systems
concerns improved guarantees
concerns security aspects
industrial domains
real-time communications
safe transmissions
secure transmissions
security breaches
Security Properties
WSN technology
Compositionality
protocol verification
biblio
On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
encryption
privacy
security of data
security
pubcrawl
policy-based governance
collaboration
telecommunication security
Cryptographic Protocols
composability
formal verification
Policy Based Governance
Reliability
Needham-Schroeder symmetric-key protocol
security vulnerability
Waste materials
witness functions
Compositionality
protocol verification
biblio
Automated Verification of Accountability in Security Protocols
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
tools
privacy
pubcrawl
policy-based governance
collaboration
Cryptographic Protocols
Cryptography
Protocols
composability
computer security
formal verification
Policy Based Governance
accountability
accountability automated verification
accountable algorithms protocol
Calculus
certificate transparency
cognition
formal methods and verification
mechanized method
protocol-agnostic definition
security property
security protocol design
security protocols
security violation
traditional trust assumptions
Compositionality
protocol verification
biblio
Zero-Day Attack Detection and Prevention in Software-Defined Networks
Submitted by
grigby1
on Fri, 03/27/2020 - 11:38am
collaboration
pubcrawl
policy-based governance
composability
SDN
sandboxing
sandbox
controller
Intrusion Detection System (IDS)
Mininet
Switch
zero-day attack
biblio
Cuckoo’s Malware Threat Scoring and Classification: Friend or Foe?
Submitted by
grigby1
on Fri, 03/27/2020 - 11:38am
tools
collaboration
information security
pubcrawl
policy-based governance
composability
pattern classification
malware
invasive software
sandboxing
cuckoo sandbox
dynamic analysis
automated tools
malicious software
malware behavior
Malware behavior analysis
malware detection
malware incident response
malware sample
malware threat classification
measured response
microsoft windows
sandbox
scoring classification
severity classification
threat alert
threat classification
threat classification rating
threat score
threat scoring
victim host system
Virtual machining
biblio
Novel Defense Method against Audio Adversarial Example for Speech-to-Text Transcription Neural Networks
Submitted by
grigby1
on Fri, 03/27/2020 - 11:38am
learning (artificial intelligence)
security of data
collaboration
pubcrawl
policy-based governance
deep learning
composability
sandboxing
neural nets
adversarial example
audio adversarial example
computer security
data representation
Deep Speech
defense method
Neural networks
sandbox approach
Sandbox Method
Speech recognition
speech synthesis
speech-to-text
speech-to-text transcription neural networks
biblio
MicroGuard: Securing Bare-Metal Microcontrollers against Code-Reuse Attacks
Submitted by
grigby1
on Fri, 03/27/2020 - 11:38am
Internet of Things
security of data
collaboration
pubcrawl
policy-based governance
IoT devices
composability
code-reuse attacks
code randomization
source code (software)
sandboxing
automated code randomization
bare-metal micro controllers
bare-metal microcontrollers
component-level sandboxing
Data protection
Internet of Things devices
microcontrollers
MicroGuard
mitigation method
1
2
3
4
5
6
7
8
9
…
next ›
last »
