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
Protocols
biblio
Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake
Submitted by
grigby1
on Wed, 12/11/2019 - 11:23am
adaptive-security
bitcoin
blockchain
coin evolution technique
composability
cryptocurrencies
Cryptographic Protocols
data privacy
distributed ledger
distributed-ledger
key-private forward secure encryption
Leadership
Ouroboros Crypsinous
privacy
privacy-preserving proof-of-stake blockchain protocol
private blockchain
private ledgers
proof-of-stake
proof-of-work-based Zerocash
Protocols
pubcrawl
SNARKs
universal-composability
zero-knowledge
biblio
Lattice Based Authenticated Key Exchange with Universally Composable Security
Submitted by
grigby1
on Wed, 12/11/2019 - 11:23am
authenticated channels
authenticated key exchange
authenticated key exchange protocol
authenticated key exchange scheme
composability
Cryptographic Protocols
Cryptography
data privacy
Encapsulation
Hash functions
Internet of Things
IoT nodes
key encapsulation mechanism
lattice based cryptography
Lattices
message authentication
Peer-to-peer computing
Protocols
pubcrawl
public key cryptography
quantum computation
quantum computers
rapid development these years
ring-SIS based KEM
secure channels
small integer solution
telecommunication security
universal composability
universally composable security
biblio
On Composability of Game-Based Password Authenticated Key Exchange
Submitted by
grigby1
on Wed, 12/11/2019 - 11:22am
composability
Composition Theorem.
Computational modeling
Cryptographic Protocols
Cryptography
data payload encryption
find-then-guess model
FtG model
game theory
game-based models
game-based password authenticated key exchange protocols
game-based real-or-random definition
Games
higher-level applications
higher-level SKPs
message authentication
PAKE protocols
password
Password Authenticated Key Exchange
PKI
practical interest
Protocols
provably secure PAKEs
pubcrawl
public key cryptography
public-key infrastructure
Secret key
secure channels
secure composition guarantees
simulation models
standards
Symmetric Key Protocol
telecommunication security
weak forward secrecy
biblio
A Flexible Anti-Jamming Channel Hopping for Cognitive Radio Networks
Submitted by
grigby1
on Thu, 12/05/2019 - 9:56am
anti-jamming channel hopping protocol
Anti-jamming strategy
channel hopping sequences
cognitive radio
cognitive radio networks
Cognitive radio networks (CRNs)
Cognitive Radio Security
computer science
CRN
Extended Langford pairing (ELP)
flexible anti-jamming channel hopping
frequency hop communication
Jamming
LAA scheme
load awareness anti-jamming channel hopping scheme
Load modeling
Oceans
Protocols
pubcrawl
resilience
Resiliency
SU node
telecommunication security
Throughput
Topology
traffic load
wireless channels
biblio
Implementation of a C-UNB Module for NS-3 and Validation for DLMS-COSEM Application Layer Protocol
Submitted by
grigby1
on Thu, 12/05/2019 - 9:52am
access protocols
Adaptation models
advanced metering infrastructure
asynchronous bandwidth devices
bandwidth channels
Base stations
C-UNB wireless networks
cellular radio
clean slate
clean-slate cellular network technology
collaboration
Device Language Message Specification-Companion Specification
DLMS-COSEM application layer protocol
embedded devices
Human behavior
Human Factors
Internet of Things (IoT)
lightweight random access protocol
low-bandwidth devices
low-power wide area wireless network technologies
machine-to-machine (M2M)
Mathematical model
medium access control layer
Metrics
network simulation module
ns-3
Physical layer
Policy
Policy Based Governance
policy governance
power meters
probability of successful transmission
Protocols
pubcrawl
random access
remote site
resilience
Resiliency
Servers
smart meters
smart power grids
ultra narrow band
urban area
wide area networks
Zigbee
biblio
Considerations on the Adoption of Named Data Networking (NDN) in Tactical Environments
Submitted by
grigby1
on Thu, 12/05/2019 - 9:52am
Ad hoc networks
application-specific extensions
clean slate
clean slate networking approach
collaboration
communication scenario
Engines
Face
fairly stable infrastructure-based environments
Human behavior
Human Factors
ICN
information centric networking
Information-Centric Networking (ICN)
internet
IP networks
Metrics
military communication
mobile computing
mobile military networks
named data networking
Named Data Networking (NDN)
NDN
node mobility
performance tuning
Policy
Policy Based Governance
policy governance
practical adoption
Protocols
pubcrawl
resilience
Resiliency
stable connections
tactical applications
tactical edge networks
tactical environments
tactical networks
transport protocols
unreliable capacity limited performance
wireless nature
wireless sensor networks
biblio
Formally Verified Cryptographic Web Applications in WebAssembly
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
authoring languages
Browsers
CoMP
compilation pipeline
compiler
compiler security
Compositionality
cryptographic code
Cryptographic Protocols
cryptographic-library
cryptographic-protocol-verification
Cryptography
formal verification
high-assurance cryptographic libraries
high-profile attacks
instruction set
Java
JavaScript runtimes
Libraries
low-level subset
Metrics
modern Web applications
program compilers
program diagnostics
program verification
Protocols
pubcrawl
public domain software
Resiliency
Scalability
security-critical software
Servers
Signal
sophisticated custom cryptographic components
standard protocols
standards
toolchain
verification
verification techniques
verification-oriented programming languages
verified cryptographic Web applications
verified HACL cryptographic library
verified implementation
verified-software
web-security
Webassembly
WebAssembly compilers
WebAssembly version
whatsapp
biblio
Security-Aware Synthesis of Human-UAV Protocols
Submitted by
aekwall
on Mon, 12/02/2019 - 11:05am
autonomous aerial vehicles
collaboration protocols
collected experimental data
command and control systems
command injection attacks
composability
control engineering computing
formal verification
Games
geolocation strategies
geolocation task
Geology
Global Positioning System
H-UAV protocol synthesis
human operators
human-UAV coalition
human-UAV protocols
human-unmanned aerial vehicle
learning (artificial intelligence)
Metrics
military aircraft
model checkers
Protocols
pubcrawl
RESCHU-SA testbed
Resiliency
security
security-aware synthesis
stealthy false-data injection attacks
stochastic game-based model
stochastic games
Stochastic processes
Task Analysis
UAV hidden-information constraint
biblio
Stealthy Injection Attacks Against IEC61850's GOOSE Messaging Service
Submitted by
aekwall
on Mon, 12/02/2019 - 11:04am
security of data
security
Protocols
Resiliency
pubcrawl
composability
Metrics
Substations
IEC standards
power engineering computing
power system security
quality of service
command injection attacks
communications channels
generic object oriented substation events messaging service
IEC61850s GOOSE messaging service
Message service
QoS requirements
Queueing analysis
SaS
security technologies
stealthy injection attacks
substation automation
substation automation system
Time factors
biblio
Intrusion Detection Model of SCADA Using Graphical Features
Submitted by
aekwall
on Mon, 12/02/2019 - 11:04am
security of data
Protocols
Industrial Control Systems
SCADA
SCADA systems
feature extraction
Resiliency
pubcrawl
composability
Metrics
pattern classification
production engineering computing
Mathematical model
Intrusion Detection
data set
power systems
data visualisation
industrial control
message transmission
time series
command injection attacks
classification model
command injection
denial of service
graphic area features
graphical features
iec 60870-5-104
information scanning
intrusion detection experiment environment
intrusion detection model
Intrusion Detection System (IDS)
Law
response injection
supervisory control and data acquisition (SCADA)
supervisory control and data acquisition system
time series features
1
2
3
4
5
6
7
8
9
…
next ›
last »
