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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
return oriented programming
biblio
FIXER: Flow Integrity Extensions for Embedded RISC-V
Submitted by
aekwall
on Mon, 02/24/2020 - 11:01am
security of data
Scalability
Internet of Things
data integrity
Hardware
security
embedded systems
reduced instruction set computing
system-on-chip
computer architecture
Buffer overflows
Resiliency
pubcrawl
composability
software reusability
Software Architecture
Bars
Human Factors
code reuse attacks
ROP
return oriented programming
program compilers
security framework
RISC-V
buffer overflow
Code injection
coprocessors
fine-grained control-flow integrity
FIXER
flow integrity extensions for embedded RISC-V
integrated Rocket Custom Coprocessor
low-power embedded devices
open source architecture
RISC-V architecture
RISC-V processor core
RISC-V SoC platform
RISC-V toolchains
Rockets
security extension
shadow stack
biblio
CFI: Control Flow Integrity or Control Flow Interruption?
Submitted by
aekwall
on Mon, 02/24/2020 - 11:01am
rop attacks
C++ languages
CFI solutions
CFI-based defenses
composability
computer security
Control Flow Integrity
control-flow integrity
corrupt code pointers
data execution prevention
data flow analysis
execution flow
famous attack paradigms
Human Factors
interrupt requests
Jump-Oriented Programming
Libraries
malicious code injection
modern Code Reuse Attacks
Monitoring
object-oriented programming
Payloads
programming
pubcrawl
Resiliency
return oriented programming
return-oriented programming
Runtime
runtime attacks
runtime memory vulnerabilities
Scalability
security of data
target system
biblio
SoK: Shining Light on Shadow Stacks
Submitted by
aekwall
on Mon, 12/02/2019 - 12:08pm
backward edge
C++ languages
CFI mitigations
compatibility
compiler designers
compiler security
composability
Compositionality
control-flow hijacking attacks
control-flow integrity solutions
control-flow-hijacking
control-flow-integrity
defense mechanisms
deployed mitigations
dominant attack vector
forward edge
fully precise mechanism
Human Factors
indirect calls
language-based-security
low performance overhead
Memory Protection
metadata
Metrics
optimization
Payloads
performance comparisons
program compilers
program diagnostics
pubcrawl
Registers
Resiliency
return oriented programming
return-oriented-programming
Scalability
security
security of data
shadow stack design
shadow stacks
shadow-stacks
Software
software security mitigations
virtual calls
biblio
Let's Shock Our IoT's Heart: ARMv7-M Under (Fault) Attacks
Submitted by
grigby1
on Mon, 11/04/2019 - 12:35pm
Backdoor
buffer overflow
composability
Electromagnetic Fault Injection (EMFI)
Fault injection
Human behavior
Human Factors
microcontroller
physical attacks
pubcrawl
resilience
Resiliency
return oriented programming
rop attacks
Scalability
Vulnerability Insertion
biblio
Using Hardware Performance Counters to Detect Control Hijacking Attacks
Submitted by
aekwall
on Mon, 10/14/2019 - 10:21am
rop attacks
Attack detection
composability
Hardware performance counters
Human behavior
Human Factors
malicious code execution
pubcrawl
Resiliency
return oriented programming
Scalability
security
biblio
Spectre Attacks: Exploiting Speculative Execution
Submitted by
aekwall
on Mon, 10/14/2019 - 10:20am
rop attacks
arrays
composability
Hardware
Human behavior
Human Factors
microarchitectural-attack
microarchitecture
microarchitecture-security
Program processors
pubcrawl
Registers
Resiliency
return oriented programming
Scalability
side-channel attacks
Spectre
speculative-execution
Transient analysis
biblio
ROPMate: Visually Assisting the Creation of ROP-based Exploits
Submitted by
aekwall
on Mon, 10/14/2019 - 10:20am
Buildings
code reuse
composability
data analysis
data visualisation
Human behavior
Malware Analysis
program testing
programming
pubcrawl
Registers
Resiliency
return oriented programming
return-oriented programming
rop attacks
ROP chains
ROP Exploits
ROP-based attacks
ROP-based exploits
ROPMate
Scalability
security
security of data
semantically correct chains
semantically meaningful gadgets
software reliability
Task Analysis
tools
visual aids
visual analytics
visual analytics system
biblio
Hardware-Based Adversary-Controlled States Tracking
Submitted by
aekwall
on Mon, 10/14/2019 - 10:20am
classic dynamic taint analysis method
code-reuse attack
composability
control flow
dynimic taint analysis
Hardware
Hardware-based Adversary-controlled States
HAST
Human behavior
Linux
Linux applications
memory data
memory vulnerabilities
Pipelines
program diagnostics
programming
pubcrawl
Registers
Resiliency
return oriented programming
rop attacks
Scalability
security of data
Software
software security challenges
target tracking
biblio
Multilayer ROP Protection Via Microarchitectural Units Available in Commodity Hardware
Submitted by
aekwall
on Mon, 10/14/2019 - 10:20am
rop attacks
architecture
Benchmark testing
CFI
commodity hardware
composability
computer architecture
Hardware
Human behavior
Human Factors
layers
LBR
lightweight security techniques
microarchitectural units
microarchitecture
multilayer protection approach
multilayer ROP protection
multilayer system
Nonhomogeneous media
Program processors
pubcrawl
RAS
Resiliency
return oriented programming
Return-oriented Programming attacks
ROP
Runtime
Scalability
security of data
Web browsers
biblio
Compiler-Assisted Code Randomization
Submitted by
aekwall
on Mon, 10/14/2019 - 10:20am
address space layout randomization
applied code transformation
CCR
code randomization
code uniformity
compiler level protection
compiler-assisted code randomization
compiler-rewriter cooperation
compiler security
composability
Compositionality
fine-grained code randomization
fine-grained code transformation
Hardware
Human behavior
LLVM compiler toolchain
metadata
Metrics
program compilers
Prototypes
pubcrawl
randomized variants
Resiliency
return oriented programming
return-oriented programming
Robustness
Runtime
Scalability
security
security of data
Software
software distribution models
software distribution norms
software diversification
software engineering
transformation-assisting metadata
1
2
3
next ›
last »
