Stories tagged as pdf – Link to a PDF document
  1. 3
    A Leak-Resilient Dual Stack Scheme for Backward-Edge Control-Flow Integrity pdf security arxiv.org
    fro avatar via fro 1 month ago | cached | no comments
  2. 3
    Building Safer UGV's with Run-time, Safety Invariants (2009) pdf slides programming security users.ece.cmu.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 3 comments
  3. 6
    PipesFS: Fast Linux I/O in the Unix Tradition (2008) ☶ pdf linux performance unix cs.vu.nl
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  4. 4
    PerfFuzz: Automatically Generating Pathological Inputs ☶ pdf testing carolemieux.com
    ceh avatar via ceh 1 month ago | cached | no comments
  5. 4
    Compiler Fuzzing through Deep Learning ☶ pdf testing homepages.inf.ed.ac.uk
    ceh avatar via ceh 1 month ago | cached | no comments
  6. 2
    Spiffy: Enabling File-System Aware Storage Applications ☶ pdf c compsci programming usenix.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  7. 8
    Nagini: A Static Verifier for Python ☶ pdf formalmethods python pm.inf.ethz.ch
    ceh avatar via ceh 1 month ago | cached | 2 comments
  8. 6
    Formal reasoning about the security of AWS pdf formalmethods cs.ucl.ac.uk
    ceh avatar via ceh 1 month ago | cached | no comments
  9. 15
    Engineering a Safer World ☶ pdf book practices testing mitpress.mit.edu
    hwayne avatar via hwayne 1 month ago | cached | 2 comments
  10. 5
    An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions ☶ pdf testing people.cs.umass.edu
    ceh avatar via ceh 1 month ago | cached | no comments
  11. 3
    Battle of the Schedulers: FreeBSD ULE vs. Linux CFS pdf freebsd linux usenix.org
    vermaden avatar via vermaden 1 month ago | cached | 1 comment
  12. 1
    Why and How Java Developers Break APIs pdf java science arxiv.org
    pushcx avatar via pushcx 1 month ago | cached | no comments
  13. 1
    One-Shot Imitation from Observing Humans via Domain-Adaptive Meta-Learning ☶ pdf ai arxiv.org
    Shamar avatar via Shamar 1 month ago | cached | no comments
  14. 5
    Small Computer System Supports Large-Scale Multi-User APL (1977) pdf apl historical hpl.hp.com
    calvin avatar via calvin 1 month ago | cached | no comments
  15. 2
    Reverse Engineering WebAssembly pdf assembly reversing web pnfsoftware.com
    calvin avatar via calvin 1 month ago | cached | no comments
  16. 1
    Principled and Practical Web Application Security (2015) ☶ pdf formalmethods javascript security web cseweb.ucsd.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  17. 6
    Speculative Buffer Overflows: Attacks and Defenses pdf security people.csail.mit.edu
    lattera avatar via lattera 1 month ago | cached | no comments
  18. 4
    Formal Verification of Coalescing Graph-Coloring Register Allocation (2010) ☶ pdf compilers formalmethods cs.princeton.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  19. 4
    Hardware Transactional Persistent Memory ☶ pdf hardware performance arxiv.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  20. 2
    Thermanator : Thermal Residue-Based Post Factum Attacks On Keyboard Password Entry ☶ pdf privacy science security arxiv.org
    bio_end_io_t avatar via bio_end_io_t 1 month ago | cached | no comments
  21. 1
    Inside ASCII (1978) pdf compsci historical trnsz.com
    trn avatar via trn 1 month ago | cached | no comments
  22. 6
    Towards an Optical FPGA - Programmable Silicon Photonic Circuits ☶ pdf hardware arxiv.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  23. 22
    The Book of Types: Type-Level Programming in Haskell ☶ pdf book haskell reasonablypolymorphic.com
    pushcx avatar via pushcx 1 month ago | cached | 1 comment
  24. 28
    Embracing the Kobayashi Maru: Why You Should Teach Your Students to Cheat pdf practices security rumint.org
    fcbsd avatar via fcbsd 1 month ago | cached | 13 comments
  25. 13
    PEG-based transformer provides front-, middle and back-end stages in a simple compiler ☶ pdf assembly compilers lisp vpri.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
<< Page 5 | Page 7 >>