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
cyber-physical systems
biblio
Securing Concurrent Lazy Programs Against Information Leakage
Submitted by grigby1 on Thu, 08/23/2018 - 11:57am
information-flow control tools
concurrency control
Agda proof assistant
concurrent lazy programs security
covert channel
functional languages
functional programming
Haskell libraries
IFC libraries
IFC tools
Information Leakage
lazy calculus
lazy evaluation
lazy languages
lazyDup
Message systems
noninterference
security library MAC
software libraries
Writing
data structures
Theorem Proving
Haskell
Concurrency
cyber-physical systems
pubcrawl
composability
security of data
data privacy
Sensitivity
security
program diagnostics
resilience
Metrics
Libraries
Lattices
timing
Resiliency
software tools
biblio
Dynamic Service Chaining with Dysco
Submitted by grigby1 on Thu, 08/23/2018 - 11:56am
security
Concurrency
cyber-physical systems
pubcrawl
composability
resilience
Metrics
verification
NFV
Resiliency
Session Protocol
SPIN
biblio
Inferring BGP Blackholing Activity in the Internet
Submitted by grigby1 on Thu, 08/23/2018 - 11:56am
security
Concurrency
cyber-physical systems
pubcrawl
composability
resilience
Metrics
Resiliency
BGP
blackholing
ddos mitigation
biblio
Using Ciphers for Failure-Recovery in ITS Systems
Submitted by grigby1 on Thu, 08/23/2018 - 11:56am
security
Concurrency
cyber-physical systems
pubcrawl
composability
resilience
Metrics
Resiliency
Combined cryptography and error correcting codes
Enhancing system reliability by crypto functions
Error correction by crypto functions
Security and error correction trade-off
biblio
Concurrency and Privacy with Payment-Channel Networks
Submitted by grigby1 on Thu, 08/23/2018 - 11:56am
security
Concurrency
cyber-physical systems
pubcrawl
privacy
Scalability
composability
bitcoin
resilience
Metrics
Resiliency
payment-channel network
biblio
Attribute-based Concurrent Signatures
Submitted by grigby1 on Thu, 08/23/2018 - 11:56am
digital signatures
composability
Concurrency
concurrent signatures
cyber-physical systems
fair exchange
Metrics
network security
pubcrawl
resilience
Resiliency
security
biblio
Synergic Security for Smart Water Networks: Redundancy, Diversity, and Hardening
Submitted by grigby1 on Thu, 08/23/2018 - 11:52am
CPS Privacy
Computing Theory
Cyber-physical attacks
cyber-physical systems
Cybersecurity
diversity
Hardening
pubcrawl
Redundancy
resilience
smart water networks
biblio
Efficient Approximate Medoids of Temporal Sequences
Submitted by grigby1 on Thu, 08/23/2018 - 11:42am
cyber-physical systems
pubcrawl
privacy
composability
resilience
Resiliency
approximation
medoid
visual matching
compressive sampling
biblio
A New Approach to the Block-based Compressive Sensing
Submitted by grigby1 on Thu, 08/23/2018 - 11:42am
cyber-physical systems
pubcrawl
privacy
composability
resilience
Resiliency
Block-based Compressive Sensing
The Number of Blocks
The Rang of Error Probability
compressive sampling
biblio
Geometry-oblivious FMM for Compressing Dense SPD Matrices
Submitted by grigby1 on Thu, 08/23/2018 - 11:42am
cyber-physical systems
pubcrawl
privacy
composability
resilience
Resiliency
fast matrix multiplication
fast multipole methods
geometry-oblivious
Heterogeneous computing
hierarchical matrices
compressive sampling
« first
‹ previous
…
54
55
56
57
58
59
60
61
62
…
next ›
last »
