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 channels
biblio
Bypassing memory safety mechanisms through speculative control flow hijacks
Submitted by aekwall on Mon, 03/14/2022 - 1:35pm
programming
rop attacks
Transient Execution
Speculative ROP
side channels
operating system security
Memory Safety Mechanisms
Buffer overflows
Computer bugs
Runtime
Force
process control
composability
Resiliency
Scalability
pubcrawl
Human Factors
Hardware Security
Software
biblio
What You Get is What You C: Controlling Side Effects in Mainstream C Compilers
Submitted by aekwall on Mon, 12/02/2019 - 12:07pm
language security
compiler performance
compiler upgrade
compiler writers
compilers
constant-time
CPUs
crypto code
cryptographic algorithm
cryptographic protocol security
erasing
implicit properties
compiler optimizations
LLVM
mainstream C compilers
secure code
Security Engineers
side channels
side effects
stack
timing channel
zeroing
compiler security
timing
Cryptography
Cryptographic Protocols
Program processors
Resiliency
pubcrawl
Metrics
standards
optimization
Libraries
optimisation
program verification
Scalability
Security Properties
Compositionality
program compilers
C
C abstract machine
C++ language
careful programmer
Clang
compiler commands
Compiler Optimization
biblio
Cashing in on the File-System Cache
Submitted by grigby1 on Thu, 09/05/2019 - 11:25am
Compositionality
covert channels
file system caches
resilience
Scalability
side channels
biblio
Digital Audio Signature for 3D Printing Integrity
Submitted by grigby1 on Mon, 01/21/2019 - 12:28pm
Acoustic Fingerprints
Acoustics
additive manufacturing
composability
cyber security
Human behavior
printers
pubcrawl
Resiliency
security
side channels
Solid modeling
Three-dimensional displays
three-dimensional printing
biblio
Precise Detection of Side-Channel Vulnerabilities Using Quantitative Cartesian Hoare Logic
Submitted by K_Hooper on Wed, 05/02/2018 - 10:45am
composability
Metrics
pubcrawl
side channels
static analysis
taint analysis
verification
vulnerability detection
biblio
Process-aware side channel monitoring for embedded control system security
Submitted by grigby1 on Fri, 02/02/2018 - 1:17pm
run-time parameters
microcomputers
Monitoring
network connectivity
process stability
process-aware side channel monitoring
pubcrawl
Real-time monitoring
Resiliency
Metrics
security
side channel sensors
side channel sensory modalities
side channels
software components
Temperature measurement
Temperature sensors
thermal
Cryptography
acoustic
analog side channels
composability
computational loop
control logic
control systems
CPS computational nodes
CPS device
actuator security
cyber-attacks
cyber-physical systems
embedded control system security
embedded systems
Fans
feature extraction
heterogeneous hardware
biblio
Leave Your Phone at the Door: Side Channels That Reveal Factory Floor Secrets
Submitted by grigby1 on Fri, 05/19/2017 - 2:16pm
CPS Privacy
cyber-physical systems
data privacy
data security for manufacturing
Human behavior
Metrics
pubcrawl
Resiliency
side channels
