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
Read-only archive of site from September 29, 2023.
CPS-VO
concurrency and security
biblio
Avoiding Leakage and Synchronization Attacks Through Enclave-Side Preemption Control
Submitted by grigby1 on Wed, 05/17/2017 - 12:55pm
composability
concurrency and security
concurrency security
information-flow
Metrics
microkernels
preemption
pubcrawl
Resiliency
SGX-enclaves
biblio
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
Submitted by grigby1 on Wed, 05/17/2017 - 12:55pm
composability
concurrency and security
concurrency security
distributed hybrid systems
Metrics
pals
pubcrawl
Resiliency
SMT
synchronizers
biblio
Event-driven Network Programming
Submitted by grigby1 on Wed, 05/17/2017 - 12:54pm
composability
concurrency and security
concurrency security
consistent update
event structure
Metrics
NetKAT
network update
pubcrawl
Resiliency
SDN
software-defined networking
biblio
Fault-Tolerant Multi-Agent Optimization: Optimal Iterative Distributed Algorithms
Submitted by grigby1 on Wed, 05/17/2017 - 12:54pm
byzantine faults
complete net- works
composability
concurrency and security
concurrency security
distributed optimization
fault-tolerant computing
Metrics
pubcrawl
Resiliency
biblio
SecDCP: Secure Dynamic Cache Partitioning for Efficient Timing Channel Protection
Submitted by grigby1 on Wed, 05/17/2017 - 12:54pm
composability
concurrency and security
concurrency security
Metrics
pubcrawl
Resiliency
biblio
LDX: Causality Inference by Lightweight Dual Execution
Submitted by grigby1 on Wed, 05/17/2017 - 12:54pm
causality inference
composability
concurrency and security
concurrency security
dual execution
dynamic analysis
Dynamical Systems
Metrics
pubcrawl
Resiliency
taint analysis
biblio
Concurrent Error Detection for Reliable SHA-3 Design
Submitted by grigby1 on Wed, 05/17/2017 - 12:54pm
composability
concurrency and security
concurrency security
Fault injection
Keccak
Metrics
pubcrawl
random errors
Reliability
Resiliency
SHA-3
biblio
Enforcing Least Privilege Memory Views for Multithreaded Applications
Submitted by grigby1 on Wed, 05/17/2017 - 12:54pm
composability
concurrency and security
concurrency security
linux operating systems security
Metrics
operating system security
privilege separation
pubcrawl
Resiliency
threads isolation
biblio
Securing Recognizers for Rich Video Applications
Submitted by grigby1 on Wed, 05/17/2017 - 12:54pm
applications
composability
computer vision
concurrency and security
concurrency security
Metrics
mobile computing
privilege-separation
pubcrawl
Resiliency
security and privacy
security architecture
wearable computing
biblio
Bypassing Parity Protected Cryptography Using Laser Fault Injection in Cyber-Physical System
Submitted by grigby1 on Mon, 03/20/2017 - 9:45am
injection
Resiliency
register bit-flip
pubcrawl
parity
Metrics
Lightweight Ciphers
laser fault injection
injection attacks
command injection attacks
FPGA
cyber-physical system
controller area network security
concurrent error detection (CED)
concurrency security
concurrency and security
composability
