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
n/a
biblio
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
Submitted by aekwall on Fri, 02/17/2023 - 10:50am
compiler security
Resiliency
Compositionality
Scalability
Metrics
pubcrawl
codes
Computational modeling
computer security
Human Factors
n/a
policy-based governance
Safe Coding
Syntactics
Technological innovation
biblio
WAS-Deletion: Workload-Aware Secure Deletion Scheme for Solid-State Drives
Submitted by aekwall on Wed, 04/13/2022 - 10:20am
Conferences
encryption
pubcrawl
Scalability
privacy
resource management
n/a
Costs
adaptive scheduling
Electric breakdown
solid state drives
data deletion
biblio
Detecting Malware Injection with Program-DNS Behavior
Submitted by aekwall on Mon, 11/29/2021 - 2:02pm
Monitoring
feature extraction
pubcrawl
Scalability
Resiliency
Data collection
Detectors
malware
web services
Distance measurement
n/a
signature based defense
biblio
Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities Patches
Submitted by aekwall on Thu, 06/24/2021 - 11:56am
Resiliency
pubcrawl
composability
Automated Response Actions
n/a
biblio
Cross-Layer Soft-Error Resilience Analysis of Computing Systems
Submitted by grigby1 on Tue, 05/25/2021 - 3:49pm
Circuit faults
CPS resilience
cyber physical systems
Hardware
n/a
pubcrawl
Reliability engineering
resilience
Resiliency
software reliability
Tutorials
