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
Securing Compilers
biblio
End-to-end Verification of Information-flow Security for C and Assembly Programs
Submitted by K_Hooper on Fri, 10/13/2017 - 10:33am
Certified OS Kernels
Information Flow Control
Metrics
program verification
pubcrawl
Resiliency
scalabilty
Securing Compilers
Security Policy Specification
Security-Preserving Simulation
biblio
Interface Diversification in IoT Operating Systems
Submitted by K_Hooper on Fri, 10/13/2017 - 10:33am
diversification
IoT
Metrics
pubcrawl
Resiliency
scalabilty
Securing Compilers
software security
biblio
Design-Time/Run-Time Mapping of Security-Critical Applications in Heterogeneous MPSoCs
Submitted by K_Hooper on Fri, 10/13/2017 - 10:33am
Design Time
DSE
Hybrid Mapping
Metrics
NoC
pubcrawl
Resiliency
Run Time
scalabilty
Securing Compilers
security
side channel attack
biblio
Tag-Protector: An Effective and Dynamic Detection of Out-of-bound Memory Accesses
Submitted by K_Hooper on Fri, 10/13/2017 - 10:33am
Buffer overflows
Compile-time code instrumentation
illegal memory accesses
Metrics
pubcrawl
Resiliency
scalabilty
Securing Compilers
biblio
Encasing Block Ciphers to Foil Key Recovery Attempts via Side Channel
Submitted by K_Hooper on Fri, 10/13/2017 - 10:33am
compiler techniques
Embedded Systems Security
Metrics
pubcrawl
Resiliency
scalabilty
Securing Compilers
side channel attacks
software countermeasures
biblio
Automated Instantiation of Side-channel Attacks Countermeasures for Software Cipher Implementations
Submitted by K_Hooper on Fri, 10/13/2017 - 10:33am
compiler technology
design for security
Metrics
pubcrawl
Resiliency
scalabilty
Securing Compilers
side channel attacks
biblio
Compilation of a Countermeasure Against Instruction-Skip Fault Attacks
Submitted by K_Hooper on Fri, 10/13/2017 - 10:33am
AES
compiler
countermeasures
Fault Attacks
LLVM
Metrics
pubcrawl
Resiliency
scalabilty
Securing Compilers
biblio
Heap Bounds Protection with Low Fat Pointers
Submitted by K_Hooper on Fri, 10/13/2017 - 10:33am
Buffer overflows
low-fat pointers
memory safety
Metrics
pubcrawl
Resiliency
scalabilty
Securing Compilers
biblio
A Design and Verification Methodology for Secure Isolated Regions
Submitted by grigby1 on Mon, 05/22/2017 - 1:42pm
channel coding
composability
confidentiality
confinement
Enclave Programs
formal verification
Human behavior
pubcrawl
Resiliency
Secure computation
Securing Compilers
biblio
Inference of Peak Density of Indirect Branches to Detect ROP Attacks
Submitted by grigby1 on Wed, 05/17/2017 - 1:47pm
composability
detection
Human behavior
Metrics
pubcrawl
Resiliency
return oriented programming
rop attacks
Scalability
Securing Compilers
security
static code analysis
static program analysis's
