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
Hardware
biblio
Distributed IoT Attestation via Blockchain
Submitted by grigby1 on Thu, 05/13/2021 - 2:07pm
IoT
security
Resiliency
resilience
Remote Attestation
pubcrawl
Protocols
Peer-to-peer computing
Organizations
attestation
Human behavior
Hardware
Fabrics
distributed systems
computer architecture
composability
blockchain
biblio
LAHEL: Lightweight Attestation Hardening Embedded Devices using Macrocells
Submitted by grigby1 on Thu, 05/13/2021 - 2:07pm
attestation
composability
computer architecture
Hardware
Human behavior
Macrocell networks
performance evaluation
pubcrawl
resilience
Resiliency
Runtime
security
Software
biblio
NeuroAttack: Undermining Spiking Neural Networks Security through Externally Triggered Bit-Flips
Submitted by aekwall on Thu, 05/13/2021 - 11:32am
Hardware
Spiking Neural Networks
SNN
security
Resiliency
resilience
Reliability
pubcrawl
policy-based governance
Metrics
machine learning
Cross Layer Security
fault-injection attacks
DNN
deep neural networks
cyber physical systems
cross-layer
Biological system modeling
Biological neural networks
Artificial Neural Networks
adversarial attacks
biblio
Automatic Error Correction Technology for the Same Field in the Same Kind of Power Equipment Account Data
Submitted by grigby1 on Wed, 05/05/2021 - 12:42pm
Human Factors
Technological innovation
Safe Coding
Resiliency
resilience
pubcrawl
Production
power systems
policy-based governance
Metrics
account data
Human behavior
Hardware
Gears
error correction
electrical power system
data quality
collaboration
Business
automatic error correction
biblio
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
Submitted by grigby1 on Wed, 05/05/2021 - 12:23pm
Computer bugs
Hardware
Memory management
pubcrawl
Scalability
Scalable Security
security
Software
testing
biblio
Enabling Rack-scale Confidential Computing using Heterogeneous Trusted Execution Environment
Submitted by grigby1 on Wed, 05/05/2021 - 12:20pm
Hardware
pubcrawl
Scalability
Scalable Security
security
Servers
Software
Switches
Task Analysis
Training
biblio
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs
Submitted by aekwall on Mon, 05/03/2021 - 1:16pm
Brakes
Compositionality
Hardware
Predictive Metrics
process control
pubcrawl
Resiliency
Scalability
scalable verification
sensors
Software
timing
Wheels
biblio
Network Fingerprinting: Routers under Attack
Submitted by aekwall on Mon, 05/03/2021 - 1:10pm
attack
connectivity
Ecosystems
Hardware
internet
IP networks
network fingerprinting
ping
Predictive Metrics
Probes
pubcrawl
Resiliency
Router Systems Security
security
Topology
Traceroute
biblio
Quantifying Security and Performance of Physical Unclonable Functions
Submitted by grigby1 on Tue, 04/27/2021 - 4:00pm
Cryptography
Entropy
Hardware
Hashing Function
Integrated circuit modeling
Measurement
Metrics
Object recognition
Performance
Physical Unclonable Function
Physical Uncloneable Function
pubcrawl
security
Security Metrics
similarity
tools
biblio
Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware
Submitted by aekwall on Tue, 04/27/2021 - 1:26pm
Servers
encryption
Hardware
Resiliency
pubcrawl
composability
Intel SGX
Indexes
provable security
secure databases
distributed systems
searchable encryption
« first
‹ previous
…
22
23
24
25
26
27
28
29
30
…
next ›
last »
