講演・口頭発表等

国際会議
2018年1月

Compositional Synthesis of Leakage Resilient Programs.

NII Shonan Meeting Seminar 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security
  • Tachio Terauchi

記述言語
英語
会議種別
口頭発表(一般)