Travelled to:1 × Portugal
1 × USA
Collaborated with:E.G.Sirer P.Reynolds K.Walsh F.B.Schneider W.d.Bruijn A.Shieh
Talks about:trustworthi (1) architectur (1) safeti (1) mechan (1) driver (1) comput (1) author (1) attest (1) valid (1) refer (1)
Person: Dan Williams
DBLP: Williams:Dan
Contributed to:
2011
2008Wrote 2 papers:
- SOSP-2011-SirerBRSWWS #architecture #logic
- Logical attestation: an authorization architecture for trustworthy computing (EGS, WdB, PR, AS, KW, DW, FBS), pp. 249–264.
- OSDI-2008-WilliamsRWSS #safety #validation
- Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.