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
flash memories
biblio
Challenges and Designs for Secure Deletion in Storage Systems
Submitted by aekwall on Mon, 01/11/2021 - 12:30pm
data scrubbing
data deletion
user data protection
storage systems
secure deletion
programming strategy
magnetic recording
legal compliance requirements
hard disk drives
flash-based solid-state drives
disc drives
deletion design security
security of data
Hard disks
flash memories
Data Sanitization
Law
storage management
privacy
pubcrawl
encryption
Data Security
Scalability
biblio
Per-File Secure Deletion for Flash-Based Solid State Drives
Submitted by grigby1 on Fri, 07/10/2020 - 10:41am
Per-file
SSD
solid state drives
Solid State Drive
Security-TRIM command
secure deletion
Scalability
resource management
real-time systems
pubcrawl
PSD-MLC scheme
programming crosstalk
programming
privacy
Per-File Secure Deletion scheme
Crosstalk
nonreal-time secure deletion
MultiLevel Cell flash memory
Media
invalid flash pages
Invalid Data Block
Hardware
GUID
globally unique identifier
flash-based solid state drives
flash memories
flash media
File update operations
data deletion
biblio
Toward Instantaneous Sanitization through Disturbance-induced Errors and Recycling Programming over 3D Flash Memory
Submitted by grigby1 on Thu, 07/09/2020 - 12:56pm
Human behavior
three-dimensional integrated circuits
Scalability
sanitization functionalities
sanitization
Resiliency
resilience
recycling programming design
pubcrawl
programming disturbance properties
programming
privacy
NAND circuits
instantaneous data sanitization scheme
Human Factors
3D NAND flash memory chips
flash memory
flash memories
error correction codes
error correction code
encryption techniques
disturbance-induced errors
disturbance overheads
Data Security
data sanitization techniques
Data Sanitization
data deletion
Compositionality
3D NAND flash-memory-based devices
biblio
Exploring the Possibility of USB based Fork Bomb Attack on Windows Environment
Submitted by grigby1 on Fri, 04/17/2020 - 10:28am
Metrics
Windows Operating System Security
Windows operating system
Windows environment
Windows
USB flash drive devices
USB based Fork Bomb attack
USB attack
system buses
security of data
Resiliency
resilience
pubcrawl
primary storage devices
operating systems (computers)
Arduino Pro Microdevice
memory performance
media exchanges
fork bomb
flash memories
electronic data interchange
digital storage
device drivers
data storage
data exchange devices
Computer crime
composability
Attack vectors
attack vector
biblio
Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives
Submitted by grigby1 on Mon, 02/17/2020 - 4:07pm
microsoft windows
vulnerabilities
standards
SSD
solid state drives
Software
security weaknesses
security guarantees
reverse engineering
Resiliency
resilience
pubcrawl
policy-based governance
peripheral interfaces
password
bitlocker
Metrics
internal models
Human behavior
hardware-encryption
hardware full-disk encryption
Hardware
flash memories
firmware
external models
encryption software
encryption
Data protection
Cryptography
critical security weaknesses
biblio
Achieving Fast Sanitization with Zero Live Data Copy for MLC Flash Memory
Submitted by aekwall on Mon, 12/16/2019 - 12:47pm
multilevel-cell flash memories
zero live-data-copy overhead
zero live data copy
security of data
sanitization
resilience
pubcrawl
programming
privacy
page programming
one-shot sanitization design
Compositionality
MLC flash memory
Micromechanical devices
Media
Human behavior
flash memory
flash memories
fast sanitization scheme
Data Security
Data Sanitization
Cryptography
biblio
Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants
Submitted by grigby1 on Mon, 06/11/2018 - 2:37pm
SD-card storage manager
Named Data Network Security
open-source designs
pattern classification
program debugging
program verification
pubcrawl
Registers
resilience
Resiliency
robotics controller
Scalability
Local area networks
security
security of data
sequential logic
SIMAREL
specification languages
storage management
STREAMS policies
unbounded input streams
user interfaces
Wires
Ethernet controller
automatically-synthesized relational invariants
circuit executions
core design C
debugging interface
declassification
digital signal processing chips
digital-signal processing module
Domain-Specific Language
DSP module
dynamic conditions
Algorithm design and analysis
field programmable gate arrays
flash memories
flash memory controller
flow security
Hardware
Hardware design languages
Human behavior
human computer interaction
information leaks
information-flow policies
