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