Tachio Terauchi

教授

Professor 教授, Department of Computer Science and Engineering
Professor 教授, Graduate School of Fundamental Science and Engineering

Websitehttp://researchers.waseda.jp/profile/ja.84ee721c3b938054e1eb91856cda3067.html

910 Citations
11 h-Index

If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

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

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1999 2018

910 Citations
11 h-Index
23 Conference contribution
12 Article

A fixpoint logic and dependent effects for temporal property verification

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fixpoint

Automation

Logic

Dependent

Reasoning

1 Citations

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, Vol. 10204 LNCS, p. 277-297 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10204 LNCS)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Leakage

Synthesis

Threshold Model

Resilience

Compositionality

11 Citations

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 Jun 14, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, Vol. Part F128414, p. 362-375 14 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Decomposition

Chemical analysis

Acoustic waves

Specifications

Side channel attack

4 Citations

Temporal verification of higher-order functional programs

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

Research output: Contribution to journal › Article

Acoustic waves

3 Citations

Temporal verification of higher-order functional programs

Murase, A., Terauchi, T., Kobayashi, N., Sato, R. & Unno, H., 2016 Jan 11, POPL 2016 - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, Vol. 20-22-January-2016, p. 57-68 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Acoustic waves