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
Servers
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
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
Degenerate Fault Attacks on Elliptic Curve Parameters in OpenSSL
Submitted by
aekwall
on Mon, 12/02/2019 - 11:04am
Servers
encryption
Resiliency
pubcrawl
composability
Metrics
public key cryptography
Elliptic curve cryptography
Elliptic curves
command injection attacks
Bitcoin curve
elliptic curve parameters
embedded security
Fault attack
Invalid curve attack
Loading
Neves curve attack
OpenSSL
OpenSSL command line tools
Rapsberry Pi single board computer
Singular curve
singular curve point decompression attacks
Supersingular curve
Tibouchis degenerate curve attack
biblio
Secure IoT for a Pervasive Platform
Submitted by
grigby1
on Tue, 11/26/2019 - 2:42pm
computer architecture
computer network security
end-to-end security level
Hardware
Human behavior
human factor
Human Factors
Internet of Things
Metrics
pervasive applications
pervasive computing
Pervasive Computing Security
pervasive platform
pervasive systems
pubcrawl
Public key
public key cryptography
public key infrastructure
resilience
Resiliency
Scalability
secure element
secure IoT
security
Servers
smart communication-enable devices
Software
software elements
ubiquitous computing
biblio
Simulating Worm Propagation in Interconnected Peer-to-Peer Networks
Submitted by
grigby1
on Tue, 11/26/2019 - 2:38pm
attacking networks
Communication Systems
competitive networks
fault tolerance
Grippers
Human behavior
human factor
Human Factors
interconnected networks
Mathematical model
Metrics
Peer to Peer
peer to peer security
Peer-to-peer computing
peer-to-peer network
protected network
pubcrawl
resilience
Resiliency
Safety
Scalability
security
Servers
simulation
Synapses
unprotected network
worm propagation
biblio
IoT Data Management and Lineage Traceability: A Blockchain-based Solution
Submitted by
aekwall
on Mon, 11/25/2019 - 1:12pm
Cloud Computing
Servers
authorization
Cryptography
data privacy
Internet of Things
data integrity
Internet of Things (IoT)
Trusted Computing
Resiliency
pubcrawl
composability
privacy
Metrics
blockchain
Distributed databases
smart contracts
security threats
program diagnostics
unauthorized access
data provenance
Privacy Threats
blockchain-based data management
data management
edge clouds
fog nodes
interoperability
IoT data management
lineage traceability
open systems
untrusted IoT devices
Outsourced Database Integrity
biblio
ServeDB: Secure, Verifiable, and Efficient Range Queries on Outsourced Database
Submitted by
aekwall
on Mon, 11/25/2019 - 1:12pm
Servers
Cryptography
encrypted data
data privacy
privacy concerns
data encryption
Resiliency
pubcrawl
composability
privacy
Metrics
query processing
SQL
Indexes
database management systems
SQL queries
outsourcing
cloud adoption
data outsourcing
efficiency
efficient range queries
formal security analysis
Multi-dimensional range query
multidimensional data records
multidimensional range query
one-dimensional query
Outsourced Database
query results
result integrity
scalable scheme
secure scheme
secure tree index
sublinear query time
tree data structures
verifiability
verifiable range queries
Outsourced Database Integrity
biblio
Assured Delegation on Data Storage and Computation via Blockchain System
Submitted by
aekwall
on Mon, 11/25/2019 - 1:12pm
Cloud Computing
Servers
Cryptography
Data Security
data privacy
data integrity
integrity checking
Resiliency
pubcrawl
composability
Metrics
blockchain
privacy
Distributed databases
smart contracts
Proposals
application program interfaces
user privacy
outsourcing
API
challenge-response model
cryptographic algorithms
data opening
data query security
data storage
delegation
outsourced data
owner authentication
privacy issues
public verifiable delegation
remote storage
transparent public verifiable delegation
untrusted remote data manipulation
verifiable computation
verifiable computation problems
Outsourced Database Integrity
biblio
Don't Talk Unless I Say So! Securing the Internet of Things with Default-Off Networking
Submitted by
grigby1
on Wed, 10/30/2019 - 9:53am
Access Control
authorisation
Bark phrases access control policies
Bluetooth
bluetooth low energy
Cloud Computing
Computer crime
default-off networking
internet
Internet of Things
IoT application protocols
IoT device communications
IoT networks
Logic gates
minimal access permissions
network security
policy language
pubcrawl
resilience
Resiliency
Scalability
Security by Default
Servers
smart devices
smart lock
Web browser
biblio
Container Cluster Model Development for Legacy Applications Integration in Scientific Software System
Submitted by
aekwall
on Mon, 10/28/2019 - 9:38am
Servers
Big Data
computer architecture
Resiliency
pubcrawl
Computational modeling
database
Databases
Software systems
software maintenance
Containers
Load modeling
pattern clustering
business data processing
visualization
Predictive Metrics
scientific information systems
Compositionality
cluster
computer experiments results
computer simulation systems
computer software
computing applications
container
container cluster model development
containerization systems
distributed computer simulation
high-efficiency computing
high-performance computing
intellectual processing
legacy applications integration
mathematical analysis
MD - SLAG – MELT
MD-SLAG-MELT system
modern scientific information systems
molecular dynamic Modeling
nonstandardized interfaces
programming languages
scientific software system
system MD-SLAG-MELT
ubiquitous computing
Scientific Computing Security
1
2
3
4
5
6
7
8
9
…
next ›
last »
