Stories tagged as pdf – Link to a PDF document
  1. 2
    ECFI: Asynchronous Control Flow Integrity for Programmable Logic Controllers (2017) ☶ pdf hardware programming security syssec.rub.de
    nickpsecurity avatar via nickpsecurity 1 hour ago | cached | no comments
  2. 5
    On the Expressiveness of Return-into-libc Attacks pdf programming security pdfs.semanticscholar.org
    calvin avatar via calvin 17 hours ago | cached | 1 comment
  3. 2
    Noise-based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level ☶ pdf assembly c c++ formalmethods reversing testing fit.vutbr.cz
    nickpsecurity avatar via nickpsecurity 24 hours ago | cached | 1 comment
  4. 2
    CoSMeDis: Distributed Social Media with Formally-Verified Confidentiality ☶ pdf distributed formalmethods scala ieee-security.org
    nickpsecurity avatar via nickpsecurity 24 hours ago | cached | no comments
  5. 2
    HICAMP: Architectural Support for Efficient Concurrency-safe Shared Structured Data Access ☶ pdf compsci hardware cs.princeton.edu
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | no comments
  6. 3
    The Civic Labor of Online Moderators (2016) ☶ pdf culture blogs.oii.ox.ac.uk
    notriddle avatar via notriddle 2 days ago | cached | no comments
  7. 2
    Detecting Privacy Leakages w/ Fewer Alerts via Enhanced Data-flow Analysis and Peer Voting ☶ pdf android formalmethods security wenke.gtisc.gatech.edu
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  8. 3
    Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control ☶ pdf databases distributed networking homes.cs.washington.edu
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  9. 8
    The Consistency of Arithmetic pdf math timothychow.net
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  10. 6
    The Discoveries of Continuations (1993) ☶ pdf compilers historical math math.bas.bg
    minimax avatar via minimax 3 days ago | cached | no comments
  11. 15
    Rendered Insecure: GPU Side Channel A!acks are Practical ☶ pdf graphics hardware security cs.ucr.edu
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | 8 comments
  12. 2
    MineSweeper: An In-depth Look into Drive-by Cryptocurrency Mining and Its Defense ☶ pdf browsers cryptocurrencies javascript security wasm seclab.cs.ucsb.edu
    flux avatar via flux 4 days ago | cached | no comments
  13. 1
    A Unified Processor Model for Compiler Verification and Simulation using ASM ☶ pdf formalmethods hardware testing complang.tuwien.ac.at
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | no comments
  14. 2
    Faster, Practical GLL Parsing ☶ pdf compilers java dinhe.net
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | no comments
  15. 3
    DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors pdf security people.csail.mit.edu
    fro avatar via fro 4 days ago | cached | 1 comment
  16. 7
    Introducing PMDK into PostgreSQL pdf databases performance pgcon.org
    cleong avatar via cleong 4 days ago | cached | no comments
  17. 2
    Efficient, Tagged Memory (2017) ☶ pdf hardware programming security cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | no comments
  18. 2
    Adversarial WiFi Sensing pdf hardware networking privacy arxiv.org
    calvin avatar via calvin 6 days ago | cached | 19 comments
  19. 4
    GLL Parsing with Flexible Combinators ☶ pdf compilers haskell pure.royalholloway.ac.uk
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | 4 comments
  20. 1
    Ground: A Data Context Service ☶ pdf databases practices rise.cs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 8 days ago | cached | no comments
  21. 5
    Ropnn: Detection of ROP Payloads Using Deep Neural Networks pdf security arxiv.org
    fro avatar via fro 9 days ago | cached | no comments
  22. 1
    Stopping Memory Disclosures via Diversification and Replicated Execution pdf security gts3.org
    fro avatar via fro 9 days ago | cached | no comments
  23. 2
    Attack Directories, Not Caches: Side-Channel Attacks in a Non-Inclusive World pdf security iacoma.cs.uiuc.edu
    fro avatar via fro 10 days ago | cached | no comments
  24. 5
    Verifying Concurrent Programs using Contracts (2017) ☶ pdf c++ formalmethods fit.vutbr.cz
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | 3 comments
  25. 5
    Statically-Directed Dynamic Automated Test Generation ☶ pdf assembly formalmethods testing people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | no comments
Page 2 >>