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
Concurrent computing
biblio
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
Submitted by grigby1 on Fri, 05/12/2023 - 9:28am
pubcrawl
composability
Concurrency
Concurrent computing
Metrics
microarchitecture
Out of order
Predictive models
privacy
Prototypes
resilience
Resiliency
security
Semantics
biblio
High-Performance, All-Scenario COVID-19 Pathogen Detection, Prevention, and Control System
Submitted by grigby1 on Fri, 05/12/2023 - 9:27am
Metrics
surveillance
Sociology
security
Resiliency
resilience
process control
Pathogens
Pandemics
pubcrawl
information processing system
High-Performance concurrent processing
COVID-19 PCR testing System
COVID-19
Concurrent computing
Concurrency
composability
Cloud computering
biblio
Intellectual Property Right Confirmation System Oriented to Crowdsourced Testing Services
Submitted by grigby1 on Fri, 05/12/2023 - 9:27am
pubcrawl
codes
composability
Concurrency
Concurrent computing
crowdsourced testing
crowdsourcing
File systems
information security
intellectual property
Metrics
Plagiarism
resilience
Resiliency
Right Confirmation
security
biblio
TCS Security Analysis in Intel SGX Enclave MultiThreading
Submitted by grigby1 on Fri, 05/12/2023 - 9:26am
Metrics
Thread Control Structure
Software
security
Resists
Resiliency
resilience
operating systems
multithreading
Multithread Concurrency
pubcrawl
Intel SGX
Instruction sets
Flood Attacks
Enclave
Concurrent computing
Concurrency
composability
codes
biblio
A Comprehensive Analysis of NVD Concurrency Vulnerabilities
Submitted by grigby1 on Fri, 05/12/2023 - 9:26am
empirical study
software quality
security
Resiliency
resilience
programming
network security
Metrics
Market research
pubcrawl
Databases
CVE
Concurrent computing
Concurrency Vulnerability
Concurrency
composability
codes
biblio
Remote Attestation of Large-scale Virtual Machines in the Cloud Data Center
Submitted by grigby1 on Fri, 09/09/2022 - 1:54pm
cloud data center
integrity measurement
Hybrid Communication Framework
Group Verification
Resiliency
Remote Attestation
data centers
Concurrent computing
Scalability
virtualization privacy
Cloud Computing
Virtual machining
composability
data privacy
privacy
Conferences
resilience
Metrics
Human behavior
pubcrawl
biblio
Countering Concurrent Login Attacks in “Just Tap” Push-based Authentication: A Redesign and Usability Evaluations
Submitted by grigby1 on Fri, 08/26/2022 - 10:25am
security
pubcrawl
resilience
Resiliency
authentication
process control
Prototypes
composability
Metrics
Browsers
Systematics
Shape
Concurrent computing
Concurrency
biblio
Compositional Non-Interference for Fine-Grained Concurrent Programs
Submitted by grigby1 on Fri, 08/26/2022 - 10:25am
Metrics
Separation Logic
logical relations
fine-grained concurrency
non-interference
Coq
Concurrency
Iris
automation
Concurrent computing
security
Buildings
Computer languages
Manuals
composability
privacy
Resiliency
resilience
pubcrawl
biblio
Enabling MapReduce based Parallel Computation in Smart Contracts
Submitted by grigby1 on Fri, 08/26/2022 - 10:24am
smart contracts
MapReduce
distributed systems
Concurrency
Concurrent computing
distributed computing
Scalability
Task Analysis
Metrics
security
composability
Big Data
Throughput
Resiliency
resilience
pubcrawl
blockchain
biblio
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs
Submitted by grigby1 on Fri, 08/26/2022 - 10:24am
software engineering
leaky assertions
Information Leak
correctness
concurrent programs
axiomatic approach
Concurrency
Context
Concurrent computing
security
Software algorithms
Metrics
programming
real-time systems
composability
Resiliency
resilience
pubcrawl
1
2
3
next ›
last »
