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
Safety
biblio
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
Safety
security of data
Scalability
Resiliency
pubcrawl
Cryptography
Metrics
Libraries
program diagnostics
program verification
Writing
Space exploration
Security Properties
Compositionality
program compilers
secure code
source program
adversarial contexts
arbitrary adversarial contexts
compiled program
Computer languages
equivalent property-free
formal secure compilation criteria
full abstraction
fully abstract compilation chain
good programming languages
hyperproperties
linked adversarial code
linked adversarial target code
linked source code
linked target code
liveness
low-level target language
multiple programs
noninterference
property classes
relational hyperproperties
relational properties
robust preservation
robust property preservation
secure compilation
secure compilation chain
Secure interoperability
secure linking
Security Foundations
source language
source-level abstraction
strictly stronger security guarantees
supported security goals
trace properties
compiler security
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
Vulnerability and Protocol Association of Device Firmware in Power Grid
Submitted by
grigby1
on Tue, 11/19/2019 - 2:42pm
composability
Control equipment
features extraction
firmware
firmware preprocessing
industrial control
industrial control device firmware protocol vulnerabilities
industrial control equipment safety inspection
industrial control system device firmware
industrial power systems
Inspection
intelligent power grid
mass grid device firmware device attributes
Metrics
power grid vulnerability analysis
power grids
power system control
power system security
protocol association
Protocols
pubcrawl
resilience
Resiliency
Safety
security vulnerability
vulnerability association
vulnerability information correlation
biblio
Detecting Buffer-Overflow Vulnerabilities in Smart Grid Devices via Automatic Static Analysis
Submitted by
grigby1
on Tue, 11/19/2019 - 2:41pm
Analytical models
automatic static analysis
buffer-overflow vulnerabilities
buffer-overflow vulnerability detection
composability
Computer bugs
device program information
error reporting
feature extraction
Metrics
modern power transmission network
power engineering computing
power grid vulnerability analysis
power system
power system security
predefined vulnerability patterns
program diagnostics
pubcrawl
resilience
Resiliency
Safety
security of data
security threats
smart grid devices
Smart Grids
smart meters
smart power grids
smart terminals
static analysis
Syntactics
terminal devices
terminal security
vulnerability detection
biblio
Deductive Verification of Distributed Protocols in First-Order Logic
Submitted by
grigby1
on Tue, 11/12/2019 - 3:30pm
automated provers
automated theorem provers
cognition
collaboration
complex systems
composability
Compositionality
Computer languages
deductive verification approach
design automation
distributed protocols
distributed systems
first-order logic
formal logic
Formal Specification
formal verification
infinite-state systems
logical verification conditions
long standing research goal
policy-based governance
privacy
program verification
protocol verification
Protocols
pubcrawl
Safety
SMT solvers
Theorem Proving
tools
Tutorials
validity checking
verification problem
biblio
Security Assessment of Libyan Government Websites
Submitted by
grigby1
on Wed, 10/23/2019 - 11:39am
Computer crime
Cryptography
data privacy
E-Government
encryption
Government
government data processing
Human behavior
In formation Security
internet
Libya E-government
Libyan government websites
Metrics
Penetration Testing
privacy
privacy polic
Privacy Policy
pubcrawl
Reconnaissance
resilience
Resiliency
Safety
Scalability
secure programming practices
security assessment
security assessment results
security issues
security level
security of data
security policies
SSL Trust Models
vulnerability assessment
Web sites
Website Vulnerability
biblio
Security for Safety: A Path Toward Building Trusted Autonomous Vehicles
Submitted by
grigby1
on Wed, 10/23/2019 - 11:35am
cyber-physical system
estimation
Human behavior
Human Factors
Metrics
pubcrawl
resilience
Resiliency
Safety
Scalability
security
Security Risk Estimation
Self-Driving Car
Sensor attack
biblio
A Blockchain-Based Secure Cloud Files Sharing Scheme with Fine-Grained Access Control
Submitted by
grigby1
on Thu, 09/26/2019 - 9:43am
Access Control
authorisation
blockchain
blockchain technology
blockchain-based secure cloud file sharing scheme
blockchains
ciphertext-policy attribute based encryption
Cloud Computing
cloud server
cloud service provider
cloud storage
composability
CP-ABE
Cryptography
data integrity
Data Security
decentralized safety administration
Distributed databases
encryption
fine-grained data access control
Human behavior
Human Factors
Metrics
outsourcing
outsourcing data
Peer-to-peer computing
pubcrawl
resilience
Resiliency
Safety
Secure File Sharing
Security analysis
biblio
Checked C: Making C Safe by Extension
Submitted by
grigby1
on Thu, 09/26/2019 - 9:24am
backward-compatibility
Benchmark testing
bounds-safe interfaces
C safe
C++ language
checked C's design
checked pointer
checked region
collaboration
Computer bugs
Cyclones
developer control
highly performant code
Human behavior
Human Factors
incremental conversion
Metrics
performance evaluation
policy-based governance
program debugging
programming languages
pubcrawl
resilience
Resiliency
Safe Coding
Safety
security
spatial safety
static analysis
storage management
tools
biblio
CapeVM: A Safe and Fast Virtual Machine for Resource-Constrained Internet-of-Things Devices
Submitted by
grigby1
on Thu, 09/26/2019 - 9:24am
ahead-of-time compilers
collaboration
fault isolation
Human behavior
Human Factors
Metrics
Performance
policy-based governance
pubcrawl
resilience
Resiliency
Safe Coding
Safety
sandbox
sensor nodes
virtual machines
1
2
3
4
5
6
7
8
9
…
next ›
last »
