Cited By
View all- Kwon ADhawan USmith JKnight TDeHon ASadeghi AGligor VYung M(2013)Low-fat pointersProceedings of the 2013 ACM SIGSAC conference on Computer & communications security10.1145/2508859.2516713(721-732)Online publication date: 4-Nov-2013
- DeHon AKarel BKnight TMalecha GMontagu BMorisset RMorrisett GPierce BPollack RRay SShivers OSmith JSullivan G(2011)Preliminary design of the SAFE platformProceedings of the 6th Workshop on Programming Languages and Operating Systems10.1145/2039239.2039245(1-5)Online publication date: 23-Oct-2011
- Nelson V(1990)Fault-Tolerant ComputingComputer10.1109/2.5684923:7(19-25)Online publication date: 1-Jul-1990
- Show More Cited By