Obserwuj
Tachio Terauchi
Tachio Terauchi
Professor of Computer Science and Engineering, Waseda University
Zweryfikowany adres z waseda.jp - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Exploring MARS: developing indoor and outdoor user interfaces to a mobile augmented reality system
T Höllerer, S Feiner, T Terauchi, G Rashid, D Hallaway
Computers & Graphics 23 (6), 779-785, 1999
7231999
Flow-sensitive type qualifiers
JS Foster, T Terauchi, A Aiken
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
4582002
Secure information flow as a safety problem
T Terauchi, A Aiken
Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005
3622005
Checking and inferring local non-aliasing
A Aiken, JS Foster, J Kodumal, T Terauchi
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language …, 2003
1032003
Decomposition instead of self-composition for proving the absence of timing channels
T Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
ACM SIGPLAN Notices 52 (6), 362-375, 2017
932017
Quantitative information flow-verification hardness and possibilities
H Yasuoka, T Terauchi
2010 23rd IEEE Computer Security Foundations Symposium, 15-27, 2010
842010
Dependent types from counterexamples
T Terauchi
ACM Sigplan Notices 45 (1), 119-130, 2010
702010
A type system for observational determinism
T Terauchi
2008 21st IEEE Computer Security Foundations Symposium, 287-300, 2008
542008
Automating relatively complete verification of higher-order functional programs
H Unno, T Terauchi, N Kobayashi
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
522013
Checking race freedom via linear programming
T Terauchi
ACM SIGPLAN Notices 43 (6), 1-10, 2008
492008
A capability calculus for concurrency and determinism
T Terauchi, A Aiken
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (5), 27, 2008
412008
Automatic Termination Verification for Higher-Order Functional Programs.
T Kuwahara, T Terauchi, H Unno, N Kobayashi
ESOP 14, 392-411, 2014
392014
Quantitative information flow as safety and liveness hyperproperties
H Yasuoka, T Terauchi
Theoretical Computer Science 538, 167-182, 2014
332014
Temporal verification of higher-order functional programs
A Murase, T Terauchi, N Kobayashi, R Sato, H Unno
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
302016
Constraint-based relational verification
H Unno, T Terauchi, E Koskinen
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
272021
On bounding problems of quantitative information flow
H Yasuoka, T Terauchi
Journal of Computer Security 19 (6), 1029-1082, 2011
252011
On bounding problems of quantitative information flow
H Yasuoka, T Terauchi
Computer Security–ESORICS 2010, 357-372, 2010
252010
Local temporal reasoning
E Koskinen, T Terauchi
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
212014
Witnessing side-effects
T Terauchi, A Aiken
ACM SIGPLAN Notices 40 (9), 105-115, 2005
212005
Witnessing side-effects
T Terauchi, A Aiken
ACM SIGPLAN Notices 40 (9), 105-115, 2005
212005
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20