Search
 
   

5 results for "domain:cs.dartmouth.edu"

  1. 5
    Towards a Verified, Complex, Protocol Stack in a Production Kernel: Method and Demo (2016) ☶ pdf c formalmethods freebsd hardware haskell cs.dartmouth.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 1 comment
  2. 1
    Type-safe Operating System Abstractions (2004) ☶ pdf plt programming security cs.dartmouth.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  3. 2
    Device Fingerprinting in Wireless Networks (2008) ☶ pdf compsci privacy security cs.dartmouth.edu
    pl avatar via pl 1 year ago | cached | no comments
  4. 5
    A Patch for Postel’s Robustness Principle pdf security cs.dartmouth.edu
    balrogboogie avatar via balrogboogie 1 year ago | cached | 1 comment
  5. 4
    A Toure of Bootloading programming cs.dartmouth.edu
    englishm avatar via englishm 2 years ago | cached | no comments