Search
 
   

70 results for "domain:usenix.org"

  1. 8
    Improving the FreeBSD SMP implementation (2001) freebsd historical unix usenix.org
    mjturner avatar via mjturner 1 year ago | cached | 6 comments
  2. 1
    Security Analysis of the Diebold AccuVote-TS Voting Machine (2007) reversing security usenix.org
    calvin avatar via calvin 1 year ago | cached | no comments
  3. 8
    Under-constrained, Symbolic Execution: Correctness Checking for Real Code (2015) ☶ pdf c c++ formalmethods security usenix.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  4. 3
    An implementation of a log-structured file system for UNIX pdf unix usenix.org
    Dawny33 avatar via Dawny33 1 year ago | cached | no comments
  5. 2
    What’s wrong with HTTP (and why it doesn't matter) - USENIX, June 1999 pdf historical usenix.org
    clacke avatar via clacke 1 year ago | cached | 1 comment
  6. -1
    The night watch (2013) pdf satire usenix.org
    earthy avatar via earthy 1 year ago | cached | no comments
  7. 2
    Distributing the News - UUCP to UUNET (2015) ☶ pdf historical unix usenix.org
    mjturner avatar via mjturner 1 year ago | cached | no comments
  8. 9
    All File Systems are Not Created Equal (2014) ☶ pdf databases linux vcs usenix.org
    k749gtnc9l3w avatar via k749gtnc9l3w 1 year ago | cached | 1 comment
  9. 3
    Redundancy does not imply fault tolerance pdf databases distributed usenix.org
    asthasr avatar via asthasr 1 year ago | cached | no comments
  10. 2
    Ironclad Apps - End-to-End Security via Automated, Full-System Verification (2014) pdf programming security usenix.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  11. 4
    DDoSCoin: Cryptocurrency with a Malicious Proof-of-Work pdf cryptocurrencies security usenix.org
    av avatar via av 1 year ago | cached | no comments
  12. 12
    The Challenges of Integrating the Unix and Mac OS Environments (2000) historical mac unix usenix.org
    calvin avatar via calvin 1 year ago | cached | 1 comment
  13. 1
    Passing the Console: Fostering the Next Generation of Ops Professionals devops practices usenix.org
    sevan avatar via sevan 1 year ago | cached | no comments
  14. 2
    DRAMA: Exploiting DRAM Addressing for Cross-CPU Attacks | USENIX hardware security virtualization usenix.org
    flux avatar via flux 1 year ago | cached | no comments
  15. 2
    The Million-Key Question—Investigating the Origins of RSA Public Keys crypto usenix.org
    fkr avatar via fkr 1 year ago | cached | no comments
  16. 5
    An On-the-fly Bytecode Compiler for Tcl [1996] compilers programming usenix.org
    apg avatar via apg 1 year ago | cached | 1 comment
  17. 4
    IX: A Protected Dataplane Operating System for High Throughput and Low Latency pdf networking usenix.org
    pushcx avatar via pushcx 1 year ago | cached | no comments
  18. 2
    DDoSCoin: Cryptocurrency with a malicious proof-of-work pdf cryptocurrencies usenix.org
    flyingfisch avatar via flyingfisch 1 year ago | cached | no comments
  19. 5
    The Restoration of Early UNIX Artifacts (2009) ☶ pdf historical unix usenix.org
    sevan avatar via sevan 1 year ago | cached | 1 comment
  20. 5
    One Bit Flips, One Cloud Flops: Cross-VM Row Hammer Attacks and Privilege Escalation pdf slides security virtualization usenix.org
    sevan avatar via sevan 1 year ago | cached | no comments
Page: 1 2 3 4