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
scalabilty
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
Increasing Security Awareness in Undergraduate Courses with Labware (Abstract Only)
Submitted by K_Hooper on Wed, 10/04/2017 - 11:04am
CAPTCHA
Human behavior
labware
Mobile Security
pubcrawl
Resiliency
scalabilty
undergraduate education
biblio
A security analysis of automated chinese turing tests
Submitted by K_Hooper on Wed, 10/04/2017 - 11:04am
CAPTCHA
Human behavior
pubcrawl
Resiliency
scalabilty
1
2
3
4
5
6
7
next ›
last »
