年別の研究成果
年別の研究成果
フィンガープリント
Tachio Terauchiが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
ネットワーク
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
Unno, H., Terauchi, T., Gu, Y. & Koskinen, E., 2023 1月 9, In: Proceedings of the ACM on Programming Languages. 7, p. 2111-2140 30 p.研究成果: Article › 査読
Open Access -
On Lookaheads in Regular Expressions with Backreferences
Chida, N. & Terauchi, T., 2022 6月 1, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022. Felty, A. P. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 228).研究成果: Conference contribution
-
Repairing DoS Vulnerability of Real-World Regexes
Chida, N. & Terauchi, T., 2022, Proceedings - 43rd IEEE Symposium on Security and Privacy, SP 2022. Institute of Electrical and Electronics Engineers Inc., p. 2060-2077 18 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2022-May).研究成果: Conference contribution
-
Constraint-Based Relational Verification
Unno, H., Terauchi, T. & Koskinen, E., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 742-766 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12759 LNCS).研究成果: Conference contribution
Open Access7 被引用数 (Scopus) -
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.研究成果: Article › 査読