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
protocol verification
biblio
IPv6 Routing Protocol for Low-Power and Lossy Networks Implementation in Network Simulator \#x2014; 3
Submitted by
grigby1
on Thu, 05/24/2018 - 12:22pm
Compositionality
efficient energy management system
Hardware
IP networks
IPv6 Routing Protocol
Linear programming
lossy environments
lossy networks implementation
maintenance engineering
network simulator
ns-3 implementation
NS3
physical environments
Policy
policy-based collaboration
privacy
protocol verification
pubcrawl
reliable communication
Routing
Routing protocols
RPL
RPL multiple instances
telecommunication power management
Topology
wireless sensor networks
biblio
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach
Submitted by
grigby1
on Thu, 05/24/2018 - 12:22pm
Analytical models
automated verification
Compositionality
Computational modeling
Computer bugs
cryptographic protocol code
Cryptographic Protocols
Cryptography
CryptoVerif proof
Domain-Specific Language
end-to end secure messaging protocols
formal verification
Java
JavaScript programs
Policy
policy-based collaboration
privacy
ProScript protocol code
protocol verification
ProVerif
pubcrawl
secure messaging
biblio
Design, Verification and Implementation of a Lightweight Remote Attestation Protocol for Process Control Systems
Submitted by
grigby1
on Thu, 05/24/2018 - 12:22pm
closed process control applications
commodity-off-the-shelf hardware
commodity-off-the-shelf software
Compositionality
COTS
Cryptographic Protocols
data integrity
formal verification
gas transportation network automation
Hardware
industrial applications
industrial communications
industrial control
isolated components
lightweight remote attestation protocol
Nickel
PCS
Phoenix-Contact industrial controller
physically secured locations
Policy
policy-based collaboration
privacy
process control
process control systems
program verification
protocol implementation
protocol verification
Protocols
pubcrawl
Remote Attestation
remote network infrastructures
Romania
Scyther model checking tool
secure software integrity verification scheme
security
Software
software integrity
specialized components
biblio
Fast Real-Time Authentication Scheme for Smart Grids
Submitted by
grigby1
on Thu, 05/24/2018 - 12:22pm
Batch verification
bilinear pairings
Compositionality
Policy
policy-based collaboration
privacy
protocol verification
pubcrawl
sensor nodes
Signatures
smart grid consumer privacy
Smart Grids
smart meters
biblio
Secure Transmission Protocol for the IoT
Submitted by
grigby1
on Thu, 05/24/2018 - 12:22pm
Compositionality
information security
Internet of Thing
Policy
policy-based collaboration
privacy
protocol verification
pubcrawl
transmission protocol
biblio
A General Approach to Network Configuration Verification
Submitted by
grigby1
on Thu, 05/24/2018 - 12:22pm
Compositionality
Control plane analysis
network verification
Policy
policy-based collaboration
privacy
protocol verification
pubcrawl
biblio
Verification of Randomized Security Protocols
Submitted by
grigby1
on Thu, 05/24/2018 - 12:22pm
Complexity theory
Compositionality
computability
computational complexity
coNEXPTIME
Cryptographic Protocols
Electronic mail
encryption
formal logic
Indistinguishability
matching lower bound
monadic first order logic
nonsatisfiability problem
Policy
policy-based collaboration
privacy
probability
protocol verification
Protocols
pubcrawl
randomized security protocol Verification
secrecy problem
secret sec
sequence
sequences
standard cryptographic primitives
Upper bound
biblio
Design and Verification of a Novel IoT Node Protocol
Submitted by
grigby1
on Thu, 05/24/2018 - 12:21pm
Compositionality
dynamic reconfigurable features
field programmable gate arrays
Hardware
intelligent features
Internet of Things
IoT
IoT node protocol verification
Microprocessors
Policy
policy-based collaboration
Ports (Computers)
privacy
protocol verification
Protocols
pubcrawl
Servers
Switches
transport protocol
transport protocols
Verilog
wireless sensor networks
biblio
Towards Efficient Verification of Population Protocols
Submitted by
grigby1
on Thu, 05/24/2018 - 12:21pm
automated verification
Compositionality
Policy
policy-based collaboration
population protocols
privacy
protocol verification
pubcrawl
termination
biblio
Continuous Verification for Cryptographic Protocol Development
Submitted by
grigby1
on Thu, 05/24/2018 - 12:21pm
Compositionality
Cryptographic Protocols
IoT
Policy
policy-based collaboration
privacy
protocol verification
pubcrawl
verification
1
2
3
next ›
last »
