Stories tagged as pdf – Link to a PDF document
  1. 4
    The Design and Implementation of Hyperupcalls ☶ pdf performance security virtualization usenix.org
    ceh avatar via ceh 1 month ago | cached | no comments
  2. 6
    The Case for Teaching Functional Programming in Discrete Math (2011) ☶ pdf education math programming cs.wheaton.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  3. 9
    The Site Reliability Workbook: Practical Ways to Implement SRE ☶ pdf devops services.google.com
    lordgilman avatar via lordgilman 1 month ago | cached | no comments
  4. 2
    A NEaT Design for Reliable and Scalable Network Stacks (2016) ☶ pdf networking security cs.vu.nl
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  5. 2
    RSSAC023: History of the Root Server System ☶ pdf historical networking icann.org
    mjturner avatar via mjturner 1 month ago | cached | no comments
  6. 3
    Algorand: Scaling Byzantine Agreements for Cryptocurrencies (2017) ☶ pdf cryptocurrencies people.csail.mit.edu
    atondwal avatar via atondwal 1 month ago | cached | no comments
  7. 34
    NetSpectre: Read Arbitrary Memory over Network pdf hardware security misc0110.net
    alex_gaynor avatar via alex_gaynor 1 month ago | cached | 1 comment
  8. 5
    Screaming Channels: When Electromagnetic Side Channels Meet Radio Transceivers ☶ pdf hardware security s3.eurecom.fr
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  9. 2
    Given Enough Eyeballs, All Bugs Are Shallow? Revisiting Eric Raymond with Bug Bounty Programs ☶ pdf compsci security weis2016.econinfosec.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  10. 4
    Formal Semantics and Automated Verification for the Border Gateway Protocol (2016) ☶ pdf formalmethods networking conferences.sigcomm.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  11. 5
    Safe Dynamic Memory Management in Ada and SPARK ☶ pdf plt programming adacore.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  12. 1
    Algebraic Principles for Program Correctness Tools in Isabelle HOL (2016) ☶ pdf formalmethods programming cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  13. 5
    Risks of Cryptocurrencies ☶ pdf cryptocurrencies icsi.berkeley.edu
    GeoffWozniak avatar via GeoffWozniak 1 month ago | cached | 6 comments
  14. 4
    VM AND THE VM COMMUNITY: Past, Present, and Future (1991) pdf historical leeandmelindavarian.com
    calvin avatar via calvin 1 month ago | cached | no comments
  15. 1
    Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings (2017) ☶ pdf formalmethods programming costa.fdi.ucm.es
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  16. 1
    Mutable Checkpoint-Restart: Automating, Live Updates for Generic Server Programs (2014) ☶ pdf c linux cs.vu.nl
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  17. 4
    Type Systems as Macros (2017) ☶ pdf compilers plt ccs.neu.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  18. 2
    Object Flow Integrity (2017) ☶ pdf programming security acmccs.github.io
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  19. 2
    Domino Tilings pdf math code-spot.co.za
    pushcx avatar via pushcx 1 month ago | cached | no comments
  20. 2
    Single Event Upset at Ground Level (1996) ☶ pdf hardware web.archive.org
    pushcx avatar via pushcx 1 month ago | cached | 1 comment
  21. 2
    Inaudible Voice Commands: The Long-Range Attack and Defense pdf security web.engr.illinois.edu
    dbremner avatar via dbremner 1 month ago | cached | no comments
  22. 5
    Your Server as a Function (2013) ☶ pdf distributed plt scala monkey.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  23. 5
    Gravitational Lensing by Spinning Black Holes in Astrophysics, and in the Movie Interstellar (2015) ☶ pdf graphics science arxiv.org
    mjn avatar via mjn 1 month ago | cached | no comments
  24. 1
    Dancing with Giants: Wimpy Kernels for On-demand Isolated I/O (2014) ☶ pdf security virtualization cylab.cmu.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  25. 3
    The Remote Monad pdf compsci haskell ittc.ku.edu
    julienXX avatar via julienXX 1 month ago | cached | no comments
<< Page 3 | Page 5 >>