Tachio Terauchi

教授

Professor 教授, School of Fundamental Science and Engineering

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

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research activity per year

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

Fingerprint

Dive into the research topics where Tachio Terauchi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

6 Similar Profiles

Network

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

1124 Citations
14 h-Index
23 Conference contribution
14 Article
2 Paper
2 Conference article

Bucketing and information flow analysis for provable timing attack mitigation
Terauchi, T. & Antonopoulos, T., 2020, In: Journal of Computer Security. 28, 6, p. 607-634 28 p.
Research output: Contribution to journal › Article › peer-review
Failure of cut-elimination in cyclic proofs of separation logic
Kimura, D., Nakazawa, K., Terauchi, T. & Unno, H., 2020, In: Computer Software. 37, 1, p. 39-52 14 p.
Research output: Contribution to journal › Article › peer-review
2 Citations (Scopus)
Program Verification via Predicate Constraint Satisfiability Modulo Theories
Unno, H., Satake, Y., Terauchi, T. & Koskinen, E., 2020 Jul 7, In: Unknown Journal.
Research output: Contribution to journal › Article › peer-review
A Formal Analysis of Timing Channel Security via Bucketing
Terauchi, T. & Antonopoulos, T., 2019 Jan 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. (eds.). Springer-Verlag, p. 29-50 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11426 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
1 Citation (Scopus)
Games for security under adaptive adversaries
Antonopoulos, T. & Terauchi, T., 2019 Jun, 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; vol. 2019-June).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus)

Bucketing and information flow analysis for provable timing attack mitigation

Failure of cut-elimination in cyclic proofs of separation logic

Program Verification via Predicate Constraint Satisfiability Modulo Theories

A Formal Analysis of Timing Channel Security via Bucketing

Games for security under adaptive adversaries