• 976 引用
  • 12 h指数
19992019
Pureに変更を加えた場合、すぐここに表示されます。

Fingerprint Fingerprintは、論文等の研究業績を自然後処理することで作成された、重み付けキーワード群です。研究者や組織の主要な研究内容を表します。

Linear programming Engineering & Materials Science
Information Flow Mathematics
Hardness Engineering & Materials Science
Chemical analysis Engineering & Materials Science
Polynomials Engineering & Materials Science
Entropy Engineering & Materials Science
Refinement Mathematics
Static analysis Engineering & Materials Science

ネットワーク 最近の共同研究。丸をクリックして詳細を確認しましょう。

研究成果 1999 2019

  • 976 引用
  • 12 h指数
  • 24 Conference contribution
  • 12 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

公開
Formal Analysis
Adaptive systems
Timing
Attack
Time Constant
2 引用 (Scopus)

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

Fixpoint
Automation
Logic
Dependent
Reasoning
2 引用 (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

Leakage
Synthesis
Threshold Model
Resilience
Compositionality
20 引用 (Scopus)

Decomposition instead of self-composition for proving the absence of timing channels

Antonopoulos, T., Gazzillo, P., Hicks, M., Koskinen, E., Terauchi, T. & Wei, S., 2017 6 14, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, 巻 Part F128414. p. 362-375 14 p.

研究成果: Conference contribution

Decomposition
Chemical analysis
Acoustic waves
Specifications
Side channel attack
4 引用 (Scopus)

Temporal verification of higher-order functional programs

Murase, A., Terauchi, T., Kobayashi, N., Sato, R. & Unno, H., 2016 4 8, : : ACM SIGPLAN Notices. 51, 1, p. 57-68 12 p.

研究成果: Article

Acoustic waves