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
Resiliency
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
On the Complexity and Performance of Parsing with Derivatives
Submitted by grigby1 on Wed, 05/17/2017 - 12:53pm
exponentiation
parsing
Parsing with derivatives
Performance
pubcrawl
Resiliency
biblio
Fully Succinct Garbled RAM
Submitted by grigby1 on Wed, 05/17/2017 - 12:53pm
delegation
exponentiation
garbling
obfuscation
pubcrawl
randomized encodings
Resiliency
« first
‹ previous
…
1172
1173
1174
1175
1176
1177
1178
1179
1180
…
next ›
last »
