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
  • Systematic RISC-V based Firmware Design^⋆.  . 2019