Stories tagged as pdf Link to a PDF document

Most often also tagged with security compsci formalmethods hardware plt historical math compilers

  1. 5
    Verifying Concurrent Programs using Contracts (2017) ☶ fit.vutbr.cz
    via nickpsecurity
    caches
    3 comments
  2. 5
    Statically-Directed Dynamic Automated Test Generation ☶ people.eecs.berkeley.edu
    via nickpsecurity
    caches
    no comments
  3. 12
    Writing Network Drivers in Go net.in.tum.de
    via gsora
    caches
    3 comments
  4. 32
    How to Make LISP Go Faster Than C (2006) iaeng.org
    via nickpsecurity
    caches
    8 comments
  5. 2
    FPGA Implementation of an Advanced Traffic Light Controller using Verilog HDL (2012) ijarcet.org
    via nickpsecurity
    caches
    no comments
  6. 2
    Concurrent Data Representation Synthesis (2012) ☶ cse.iitd.ernet.in
    via nickpsecurity
    caches
    no comments
  7. 5
    Fusing Modeling and Programming into Language-Oriented Programming voelter.de
    via calvin
    caches
    no comments
  8. 25
    Self-encrypting deception: weaknesses in the encryption of solid state drives (SSDs) ☶ ru.nl
    via mz
    caches
    3 comments
  9. 4
    MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery ☶ people.eecs.berkeley.edu
    via nickpsecurity
    caches
    no comments
  10. 4
    Secure Browser Architecture Based on Hardware Virtualization ☶ citeseerx.ist.psu.edu
    via nickpsecurity
    caches
    no comments
  11. 8
    The Cognitive Style of PowerPoint (2006) inf.ed.ac.uk
    via bennn
    caches
    no comments
  12. 3
    Enforcing Unique Code Target Property for Control-Flow Integrity ☶ cc.gatech.edu
    via fro
    caches
    no comments
  13. 4
    Rethinking Misalignment to Raise the Bar for Heap Pointer Corruption arxiv.org
    via fro
    caches
    no comments
  14. 9
    Catch me if you can hal.inria.fr
    via copy
    caches
    2 comments
  15. 8
    The Seven Properties of Highly Secure Devices microsoft.com
    via mpdehnel
    caches
    no comments
  16. 4
    Fortifying Macros (2010) ☶ ccs.neu.edu
    via nickpsecurity
    caches
    no comments
  17. 17
    Cryptography during the French and American wars in Vietnam eprint.iacr.org
    via friendlysock
    caches
    3 comments
  18. 9
    Programming Paradigms for Dummies: What Every Programmer Should Know info.ucl.ac.be
    via nickpsecurity
    caches
    no comments
  19. 3
    Shakedown: compiler-based moving target protection for Return Oriented Programing attacks arxiv.org
    via fro
    caches
    no comments
  20. 3
    SoK: Make JIT-Spray Great Again usenix.org
    via fro
    caches
    no comments
  21. 2
    An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema (2006) ☶ risc.jku.at
    via nickpsecurity
    caches
    no comments
  22. 2
    Safe, Parallel Programming in Ada with Language Extensions (2014) ☶ cister.isep.ipp.pt
    via nickpsecurity
    caches
    no comments
  23. 3
    Adopting Lessons From Offline Ray-Tracing to Real-Time Ray-Tracing for Practical Pipelines advances.realtimerendering.com
    via friendlysock
    caches
    no comments
  24. 6
    Extensible, Type-Directed Editing ☶ cattheory.com
    via nickpsecurity
    caches
    no comments
  25. 3
    A Large Scale Study of Data Center Network Reliability ☶ people.inf.ethz.ch
    via mjturner
    caches
    no comments

Tip: read stories across multiple tags with /t/tag1,tag2