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
distributed systems
biblio
The Case for Robust Adaptation: Autonomic Resource Management is a Vulnerability
Submitted by aekwall on Mon, 08/24/2020 - 12:47pm
load dynamics
Dynamic scheduling
ADAPT2
Autonomic computing
autonomic resource management techniques
crippling applications
distributed edge computing systems
dynamic placement
edge security
side-channel attacks
moving-target defense
obfuscate resource management
resource management substrate
single compromised node
state estimation techniques
valuable system
Autonomic Security
composability
Internet of Things
Internet-of-Things
security
attack surface
Software
Adaptation models
Resiliency
pubcrawl
computer network security
resource management
Robustness
resource allocation
fault tolerant computing
quality of service
distributed systems
state estimation
biblio
Intrusion-Tolerant Autonomous Driving
Submitted by aekwall on Mon, 07/27/2020 - 12:11pm
Sophisticated Attacks
intrusion tolerance
well equipped adversarial teams
real time systems
predictable hardware
killer application
intrusion-tolerant autonomous driving
intrusion-tolerant architecture
intrusion tolerant design
highly skilled equipped adversarial teams
fault-and-intrusion tolerance toolboxes
fault and intrusion tolerance
complex software
real-time systems
automobiles
Autonomous Driving
distributed systems
fault tolerant computing
composability
pubcrawl
Resiliency
computer architecture
Kernel
Task Analysis
traffic engineering computing
security of data
Safety
autonomous vehicles
biblio
An efficient modular security plane AM-SecP for hybrid distributed SDN
Submitted by grigby1 on Wed, 03/18/2020 - 11:58am
SDN layers which ease packets inspections
Internet service providers
invasive software
malwares
mobile operators
pubcrawl
resilience
Resiliency
Scalability
SDN
internet
SDN security
SDN's security issues
SDNs
security
security of data
Servers
software defined networking
technical challenges
telecommunication traffic
detecting intrusions
centralized network architecture
centralized security layer
computer architecture
Computer crime
computer network security
Conferences
control planes
data plane
denying services
AM-SecP
distributed systems
DoS/DDoS
efficient modular security plane AM-SecP
end user layer
Firewalls (computing)
flexibility
Forensics
hybrid distributed SDN
biblio
Efficient Estimation of Read Density When Caching for Big Data Processing
Submitted by grigby1 on Tue, 02/18/2020 - 11:55am
resilience
hit rate
Human behavior
MapReduce deployment
Mathematical model
Metrics
parallel processing
policy-based technique
read density
Histograms
Resiliency
runtime-space efficient computation
Scalability
Spark deployment
trace-based simulation
traditional database
Web Caching
workload traces representative
caching policy
approximate histogram
arrays
Big Data
big data processing systems
big data workloads
cache policy
cache storage
cached objects
pubcrawl
Cloud Computing
cloud workloads
Conferences
data handling
Data models
database management systems
distributed systems
file
Real-Time Spatial Audio on the Internet of Things.pdf
Submitted by Anonymous on Thu, 01/16/2020 - 5:02pm. Contributors:
Robert LiKamWa
Visar Berisha
Spatial Audio
distributed systems
Posters
1932377
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster
biblio
Towards Solving the Data Availability Problem for Sharded Ethereum
Submitted by aekwall on Mon, 12/09/2019 - 12:16pm
Resiliency
pubcrawl
blockchain
ethereum
data availability
distributed systems
Proof of Stake
Sharding
Computing Theory and Resilience
biblio
Open Peer-to-Peer Systems over Blockchain and IPFS: An Agent Oriented Framework
Submitted by grigby1 on Tue, 11/26/2019 - 3:37pm
blockchain
decentralization
distributed systems
framework
Human behavior
human factor
Human Factors
IPFS
Metrics
multi-agent systems
P2P Systems
peer to peer security
pubcrawl
resilience
Resiliency
Scalability
biblio
When Willeke Can Get Rid of Paperwork: A Lean Infrastructure for Qualified Information Exchange Based on Trusted Identities
Submitted by grigby1 on Tue, 11/19/2019 - 3:38pm
authentication
authorisation
collaboration
data minimisation
data portability
digital infrastructures
distributed systems
EIDAS
GDPR
Governance
personal data management
Policy Based Governance
privacy
pubcrawl
qualified information exchange
biblio
Deductive Verification of Distributed Protocols in First-Order Logic
Submitted by grigby1 on Tue, 11/12/2019 - 4:30pm
infinite-state systems
verification problem
validity checking
Tutorials
tools
Theorem Proving
SMT solvers
Safety
pubcrawl
Protocols
protocol verification
program verification
privacy
policy-based governance
long standing research goal
logical verification conditions
automated provers
formal verification
Formal Specification
formal logic
first-order logic
distributed systems
distributed protocols
design automation
deductive verification approach
Computer languages
Compositionality
composability
complex systems
collaboration
cognition
automated theorem provers
biblio
DeDoS: Defusing DoS with Dispersion Oriented Software
Submitted by grigby1 on Wed, 10/30/2019 - 10:31am
collaboration
comparability
Denial-of-Service
distributed systems
Human behavior
Metrics
pubcrawl
Resiliency
Scalability
Science of Security
« first
‹ previous
1
2
3
4
5
next ›
last »
