Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

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 - 9:33am

biblio

Interface Diversification in IoT Operating Systems

Submitted by K_Hooper on Fri, 10/13/2017 - 9:33am

biblio

Design-Time/Run-Time Mapping of Security-Critical Applications in Heterogeneous MPSoCs

Submitted by K_Hooper on Fri, 10/13/2017 - 9:33am

biblio

Tag-Protector: An Effective and Dynamic Detection of Out-of-bound Memory Accesses

Submitted by K_Hooper on Fri, 10/13/2017 - 9:33am

biblio

Encasing Block Ciphers to Foil Key Recovery Attempts via Side Channel

Submitted by K_Hooper on Fri, 10/13/2017 - 9:33am

biblio

Automated Instantiation of Side-channel Attacks Countermeasures for Software Cipher Implementations

Submitted by K_Hooper on Fri, 10/13/2017 - 9:33am

biblio

Compilation of a Countermeasure Against Instruction-Skip Fault Attacks

Submitted by K_Hooper on Fri, 10/13/2017 - 9:33am

biblio

Heap Bounds Protection with Low Fat Pointers

Submitted by K_Hooper on Fri, 10/13/2017 - 9:33am

biblio

A Design and Verification Methodology for Secure Isolated Regions

Submitted by grigby1 on Mon, 05/22/2017 - 12:42pm

biblio

Inference of Peak Density of Indirect Branches to Detect ROP Attacks

Submitted by grigby1 on Wed, 05/17/2017 - 12:47pm

Terms of Use | ©2023. CPS-VO