Towards a formally verified hardware root-of-trust for data-oblivious computing Conference Paper uri icon

publication date

  • July 10, 2022