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
side-channel
biblio
Invisible Probe: Timing Attacks with PCIe Congestion Side-channel
Submitted by grigby1 on Fri, 09/09/2022 - 2:54pm
machine learning
pubcrawl
Human behavior
Metrics
resilience
performance evaluation
privacy
Protocols
composability
delays
Switches
graphics processing units
virtualization privacy
side-channel
Resiliency
PCIe
biblio
vProfile: Voltage-Based Anomaly Detection in Controller Area Networks
Submitted by aekwall on Fri, 08/26/2022 - 11:56am
automotive
side-channel
Controller area network (CAN)
Production
Electric potential
Interference
Fingerprint recognition
cyber-physical systems
controller area network security
security
Internet of Things
Resiliency
pubcrawl
Wireless communication
Anomaly Detection
Intrusion Detection
authentication
biblio
Stealthy-Shutdown: Practical Remote Power Attacks in Multi - Tenant FPGAs
Submitted by aekwall on Thu, 05/13/2021 - 11:36am
Scalability
side-channel
power attack
multi-tenant
Denial-of-Service
attack surface
Threshold voltage
Power demand
Acceleration
field programmable gate arrays
sensors
tools
Metrics
pubcrawl
Resiliency
Task Analysis
FPGA
biblio
A New Side-Channel Vulnerability on Modern Computers by Exploiting Electromagnetic Emanations from the Power Management Unit
Submitted by grigby1 on Mon, 01/25/2021 - 11:30am
power consumption
Voltage regulators
voltage regulator module
Voltage control
Switches
side-channel vulnerability
side-channel
security of data
Resiliency
resilience
Regulators
Receivers
pubcrawl
power system management
Power Management.
power management unit
Air gaps
Phasor measurement units
modern microprocessors
modern computers
microprocessor chips
Microarchitecture Vulnerability
microarchitectural vulnerability
Metrics
Human Factors
Human behavior
electromagnetic-based side-channel
electromagnetic emanations
DVFS
computer power supplies
composability
Capacitors
biblio
A Formal Approach to Secure Speculation
Submitted by grigby1 on Fri, 04/03/2020 - 12:55pm
SMT
meltdown
microarchitectural side-channels
mitigation
observational-determinism
out-of-order-execution
safety-property
secure speculation property
secure speculative execution
side-channel
information-flow
software mitigations
Spectre
speculation
trace property-dependent observational determinism
trace-property
transient execution attacks
transient-execution
uclid5
resilience
formal verification
security
pubcrawl
Resiliency
verification
microarchitecture
Program processors
Transient analysis
Linux
Kernel
security of data
Metrics
Compositionality
provable security
formal
formal approach
Formal-Verification
hyperproperty
information flow security properties
biblio
DifFuzz: Differential Fuzzing for Side-Channel Analysis
Submitted by aekwall on Mon, 03/09/2020 - 11:13am
dynamic analysis
predictability
Security Heuristics
unknown side-channel vulnerabilities
secret-dependent paths
secret program data
resource-guided heuristics
resource usage
resource consumption
Performance analysis
Java programs
fuzzing-based approach
DifFuzz
differential fuzzing
side-channel attacks
side-channel analysis
security of data
fuzzing
side-channel
Time factors
Instruments
execution time
program diagnostics
Java
Correlation
tools
vulnerability detection
pubcrawl
Resiliency
Cryptography
Scalability
biblio
Information-Flow Preservation in Compiler Optimisations
Submitted by aekwall on Mon, 12/02/2019 - 12:07pm
Scalability
optimization
passive side-channel attacks
program optimisations
Program processors
program transformations
program verification
pubcrawl
Resiliency
optimising compilers
Semantics
side-channel
side-channel attacks
source program
standard compiler passes
standards
target program
I-O Systems
Micromechanical devices
Metrics
information-flow preserving program transformation
information-flow preservation
information-flow leaks
Information Flow
IFP
correct compilers
Compositionality
compiler security
compiler optimisations
compiler
CompCert C compiler
security
i-o systems security
biblio
STACCO: Differentially Analyzing Side-Channel Traces for Detecting SSL/TLS Vulnerabilities in Secure Enclaves
Submitted by grigby1 on Thu, 06/07/2018 - 3:15pm
pubcrawl
Human behavior
Scalability
resilience
Metrics
Resiliency
control-flow inference attacks
differential analysis
oracle attacks
SGX
side-channel
SSL/TLS
SSL Trust Models
biblio
\#x03BC;Leech: A Side-Channel Evaluation Platform for IoT
Submitted by grigby1 on Tue, 02/06/2018 - 1:59pm
side-channel
Protocols
pubcrawl
Radiation detectors
Resiliency
Resistance
Resistors
security critical applications
security of data
power trace acquisition
side-channel evaluation platform
smart phone
smart phones
square point-of-sale reader
telecommunication security
trusted platform modules
wireless channels
μLeech
IoT
clock manipulation attack
composability
computer network security
cryptographic services
Cryptography
embedded trusted platform module
internet
Internet of Things
Capacitors
IoT device
Low power
microphone-speaker interface
microphones
next generation networks
next generation power scavenging devices
physical security analysis
biblio
Preventing Page Faults from Telling Your Secrets
Submitted by grigby1 on Tue, 09/19/2017 - 12:21pm
channel coding
composability
defense
Hardware Security
Intel SGX
Metrics
pubcrawl
Resiliency
side-channel
