Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz. Towards a formally verified hardware root-of-trust for data-oblivious computing. In Rob Oshana, editor, DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022. pages 727-732, ACM, 2022. [doi]
Abstract is missing.