selected publications conference paper Towards a formally verified hardware root-of-trust for data-oblivious computing. Proceedings of the 59th ACM/IEEE Design Automation Conference. 2022