Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

taint analysis

biblio

Precise Detection of Side-Channel Vulnerabilities Using Quantitative Cartesian Hoare Logic

Submitted by K_Hooper on Wed, 05/02/2018 - 10:45am

biblio

Just-in-time Static Analysis

Submitted by K_Hooper on Wed, 05/02/2018 - 10:44am

biblio

Analysis of Exception-Based Control Transfers

Submitted by K_Hooper on Wed, 05/02/2018 - 10:44am

biblio

Capturing Malware Propagations with Code Injections and Code-Reuse Attacks

Submitted by K_Hooper on Wed, 05/02/2018 - 10:44am

biblio

Quantitave Dynamic Taint Analysis of Privacy Leakage in Android Arabic Apps

Submitted by K_Hooper on Wed, 05/02/2018 - 10:44am

biblio

Using Precise Taint Tracking for Auto-sanitization

Submitted by grigby1 on Thu, 02/15/2018 - 11:44am

biblio

The Dynamics of Innocent Flesh on the Bone: Code Reuse Ten Years Later

Submitted by grigby1 on Tue, 01/23/2018 - 3:08pm

biblio

Trace-free Memory Data Structure Forensics via Past Inference and Future Speculations

Submitted by grigby1 on Tue, 05/30/2017 - 1:07pm

biblio

An Improved Algorithm for Slicing Machine Code

Submitted by grigby1 on Tue, 05/30/2017 - 1:07pm

biblio

CPAC: Securing Critical Infrastructure with Cyber-physical Access Control

Submitted by grigby1 on Tue, 05/30/2017 - 1:06pm

Terms of Use | ©2023. CPS-VO