T
Tachio Terauchi
Researcher at Waseda University
Publications - 52
Citations - 2122
Tachio Terauchi is an academic researcher from Waseda University. The author has contributed to research in topics: Liveness & Min entropy. The author has an hindex of 17, co-authored 48 publications receiving 2001 citations. Previous affiliations of Tachio Terauchi include Tohoku University & Nagoya University.
Papers
More filters
Journal ArticleDOI
Exploring MARS: Developing indoor and outdoor user interfaces to a mobile augmented reality system
TL;DR: An experimental mobile augmented reality system (MARS) testbed that employs different user interfaces to allow outdoor and indoor users to access and manage information that is spatially registered with the real world is described.
Proceedings ArticleDOI
Flow-sensitive type qualifiers
TL;DR: An efficient constraint-based inference algorithm is obtained that integrates flow-insensitive alias analysis, effect inference, and ideas from linear type systems to support strong updates.
Book ChapterDOI
Secure information flow as a safety problem
Tachio Terauchi,Alex Aiken +1 more
TL;DR: The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation, and this paper generalizes the self-compositional approach with a form of information downgrading recently proposed by Li and Zdancewic.
Proceedings ArticleDOI
Decomposition instead of self-composition for proving the absence of timing channels
TL;DR: A novel approach to proving the absence of timing channels by partitioning the program's execution traces in such a way that each partition component is checked for timing attack resilience by a time complexity analysis and that per-component resilience implies the resilience of the whole program.
Journal ArticleDOI
Checking and inferring local non-aliasing
TL;DR: This paper presents a type and effect system for checking the correctness of these annotations, and develops efficient constraint-based algorithms implementing these type checking systems.