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
biblio
Formal Security Verification of Concurrent Firmware in SoCs Using Instruction-Level Abstraction for Hardware*
Submitted by grigby1 on Tue, 12/17/2019 - 12:21pm
resilience
Metrics
microprocessor chips
Microprogramming
multi-threading
multithreaded program verification problem
Predictive Metrics
program verification
pubcrawl
intellectual property security
Resiliency
Secure Boot design
security of data
SoC security verification
software verification techniques
system-on-chip
Systems-on-Chip
cyber-physical systems
architecture level
bit-precise reasoning
cognition
composability
Concurrency
concurrency (computers)
concurrent firmware
cyber-physical system
Access Control
firmware
firmware-visible behavior
formal security verification
Frequency modulation
Hardware
Instruction-Level Abstraction
intellectual property blocks
biblio
UFO: Predictive Concurrency Use-After-Free Detection
Submitted by grigby1 on Tue, 12/17/2019 - 12:21pm
security of data
program diagnostics
program operating
provably higher detection capability
pubcrawl
rare thread schedules
resilience
Resiliency
Schedules
scheduling
program debugging
single observed execution trace
tools
UAF
UAF detection
UAF vulnerabilities
UFO
UFO scales
use-after-free vulnerabilities
vulnerabilities
cyber-physical system
Chromium
common attack vectors
composability
Concurrency
concurrency UAF
concurrency use-after-free detection
Concurrent computing
concurrent programs
critical software systems
Browsers
cyber-physical systems
encoding
extended maximal thread causality model
Instruction sets
larger thread scheduling space
Metrics
multi-threading
multithreaded execution trace
Predictive Metrics
biblio
IoT Security Model and Performance Evaluation: A Blockchain Approach
Submitted by grigby1 on Tue, 12/17/2019 - 12:21pm
model construction
Throughput
theoretical data support
System performance
security risks
security problems
security of data
security model
Resiliency
resilience
Public key
pubcrawl
Predictive Metrics
performance evaluation
Packaging
blockchain
Metrics
IoT security model
InterPlanetary File System
Internet of Things
distributed large capacity storage
cyber-physical systems
cyber-physical system
Cryptography
concurrency (computers)
Concurrency
composability
blockchain-based security model
blockchain technology
biblio
OWL: Understanding and Detecting Concurrency Attacks
Submitted by grigby1 on Tue, 12/17/2019 - 12:21pm
Computer bugs
Predictive Metrics
Concurrency
Software Testing
single-threaded programs
OWL source code
OWL
knowledge representation languages
concurrency bug detectors
concurrency attack exploit scripts
Concurrency Attack
bug-inducing inputs
Concurrent computing
concurrency control
security
cyber-physical system
cyber-physical systems
Instruction sets
program debugging
public domain software
Linux
composability
Resiliency
Metrics
pubcrawl
resilience
tools
biblio
Concurrency Strategies for Attack Graph Generation
Submitted by grigby1 on Tue, 12/17/2019 - 12:21pm
pubcrawl
Multi-threaded Programming
network attack graph
network security
network state space
OpenMP
OpenMP-based programming implementation
parallel algorithms
Predictive Metrics
Metrics
resilience
Resiliency
Scalability
scalable attack graphs
security of data
storage costs
storage management
telecommunication security
Concurrent computing
security
attack graph
attack graph generation
attack graphs
composability
Computational modeling
concurrency control
concurrency strategies
Concurrency
cyber-physical system
cyber-physical systems
cyberphysical
Generators
graph theory
Instruction sets
large-scale graph
message passing
biblio
Romulus: Efficient Algorithms for Persistent Transactional Memory
Submitted by aekwall on Mon, 12/09/2019 - 12:16pm
Resiliency
pubcrawl
Concurrency
crash resilience
failure atomicity
persistent memory
transactions
Computing Theory and Resilience
biblio
VerifiedFT: A Verified, High-Performance Precise Dynamic Race Detector
Submitted by grigby1 on Thu, 12/05/2019 - 10:52am
clean slate
collaboration
Concurrency
Data Races
dynamic analysis
Human behavior
Human Factors
Metrics
Policy
Policy Based Governance
policy governance
pubcrawl
resilience
Resiliency
biblio
Analysis of Concurrent Moving Target Defenses
Submitted by aekwall on Mon, 09/09/2019 - 10:46am
Concurrency
security
ip reconfiguration
metasploit
metasploitable
moving target defense
MTD
Predictive Metrics
pubcrawl
Resiliency
Scalability
service reconfiguration
biblio
A Heuristic Framework to Detect Concurrency Vulnerabilities
Submitted by grigby1 on Mon, 07/01/2019 - 10:06am
Concurrency
security
Concurrency Vulnerabilities
fuzzing test
power grid vulnerability analysis
pubcrawl
resilience
Resiliency
Scalability
Security Heuristics
Thread Schedule
biblio
More Practical Privacy-Preserving Machine Learning As A Service via Efficient Secure Matrix Multiplication
Submitted by grigby1 on Fri, 03/22/2019 - 12:39pm
Concurrency
security
big data security
cloud
Homomorphic encryption
Metrics
multiplication triple
privacy-preserving machine learning
pubcrawl
resilience
Resiliency
Scalability
secure two-party computation
« first
‹ previous
1
2
3
4
5
6
7
8
next ›
last »
