Towards a formally verified hardware root-of-trust for data-oblivious computing.

Lucas Deutschmann, Johannes Mller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

Browse the full DAC paper archive.