×

Formalizing the LLVM intermediate representation for verified program transformations (with Coq) - 2012.pdf

Home / Discover /diyhpl.us/~bryan/papers2/security/

  Parent Folder


Formalizing the LLVM intermediate representation for verified program transformations (with Coq) - 2012.pdf
PDF 4 years ago 414.90 kB
Copy Link   
Following the White Rabbit - Software attacks against Intel VT-d technology.pdf
PDF 4 years ago 688.03 kB
Copy Link   
Framework for instruction-level tracing and analysis of program executions.pdf
PDF 4 years ago 222.53 kB
Copy Link   
Flipping bits in memory without accessing them: an experimental study of DRAM disturbance errors.pdf
PDF 4 years ago 827.91 kB
Copy Link   
Framing signals - a return to portable shellcode.pdf
PDF 4 years ago 301.95 kB
Copy Link   
Flayer - Exposing Application Internals.pdf
PDF 4 years ago 80.99 kB
Copy Link   
Full-Disclosure.pdf
PDF 4 years ago 2.53 MB
Copy Link   
Fingerprinting Tor's hidden service log files using a timing channel.pdf
PDF 4 years ago 361.90 kB
Copy Link   
G-Free: defeating return-oriented programming through gadget-less binaries.pdf
PDF 4 years ago 262.87 kB
Copy Link   
Factoring RSA keys from certified smart cards - Coppersmith in the wild.pdf
PDF 4 years ago 359.63 kB
Copy Link   
Generating Test Data with Enhanced Context Free Grammars.pdf
PDF 4 years ago 213.24 kB
Copy Link   
Exploiting bittorrent vulnerabilities to launch reflective DDoS attacks.pdf
PDF 4 years ago 118.78 kB
Copy Link   
Gracewipe: Deceptive deletion triggers under coercion - 2016.pdf
PDF 4 years ago 630.54 kB
Copy Link   
ExperimenTor: A testbed for safe and realistic Tor experimentation.pdf
PDF 4 years ago 478.44 kB
Copy Link   
Gracewipe: Secure and verifiable deletion under coercion - 2015.pdf
PDF 4 years ago 469.76 kB
Copy Link   
Experiences with Model Inference Assisted Fuzzing.pdf
PDF 4 years ago 141.04 kB
Copy Link   
Grammar-Based Specification and Parsing of Binary File Formats.pdf
PDF 4 years ago 235.69 kB
Copy Link   
ExSpectre: Hiding malware in speculative execution - 2019.pdf
PDF 4 years ago 698.80 kB
Copy Link   
Grammar-based Whitebox Fuzzing.pdf
PDF 4 years ago 171.38 kB
Copy Link   
Entropy Loss and Output Predictability in the Libgcrypt PRNG - CVE-2016-6313 - 2016.pdf
PDF 4 years ago 157.38 kB
Copy Link   

Join FilePursuit on FilePursuit Discord Server chat for discussions and more information.