• 1064 引用
  • 13 h指数
19992020

年単位の研究成果

Pureに変更を加えた場合、すぐここに表示されます。

フィンガープリント Tachio Terauchiが有効な場合、研究トピックを掘り下げます。このトピックラベルは、この人物の業績からのものです。これらはともに一意のフィンガープリントを構成します。

  • 1 同様のプロファイル

ネットワーク 最近の国レベルでの外部協力。点をクリックして詳細を開いてください。

研究成果

  • 1064 引用
  • 13 h指数
  • 23 Conference contribution
  • 12 Article
  • 2 Paper
  • 2 Conference article

Failure of cut-elimination in cyclic proofs of separation logic

Kimura, D., Nakazawa, K., Terauchi, T. & Unno, H., 2020, : : Computer Software. 37, 1, p. 39-52 14 p.

研究成果: Article

  • A Formal Analysis of Timing Channel Security via Bucketing

    Terauchi, T. & Antonopoulos, T., 2019 1 1, Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Nielson, F. & Sands, D. (版). Springer-Verlag, p. 29-50 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11426 LNCS).

    研究成果: Conference contribution

    公開
  • Games for security under adaptive adversaries

    Antonopoulos, T. & Terauchi, T., 2019 6, Proceedings - 2019 IEEE 32nd Computer Security Foundations Symposium, CSF 2019. IEEE Computer Society, p. 216-229 14 p. 8823693. (Proceedings - IEEE Computer Security Foundations Symposium; 巻数 2019-June).

    研究成果: Conference contribution

  • A fixpoint logic and dependent effects for temporal property verification

    Nanjo, Y., Unno, H., Koskinen, E. & Terauchi, T., 2018 7 9, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., 巻 Part F138033. p. 759-768 10 p.

    研究成果: Conference contribution

  • 6 引用 (Scopus)

    Compositional synthesis of leakage resilient programs

    Blot, A., Yamamoto, M. & Terauchi, T., 2017, Principles of Security and Trust - 6th International Conference, POST 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Springer Verlag, 巻 10204 LNCS. p. 277-297 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10204 LNCS).

    研究成果: Conference contribution

  • 4 引用 (Scopus)