14 citations · 19 across the 6 of their papers we have counts for
1 paper · 1 filter
Arthur Azevedo de Amorim, Nathan Collins, André DeHon +6
SAFE is a clean-slate design for a highly secure computer system, with pervasive mechanisms for tracking and limiting information flows. At the lowest level, the SAFE hardware supp…