On Lookaheads in Regular Expressions with Backreferences von CHIDA, Nariyoshi, TERAUCHI, Tachio

Volltext

Automated verification of higher-order functional programs von Terauchi, Tachio

Volltext

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification von Unno, Hiroshi, Terauchi, Tachio, Gu, Yu, Koskinen, Eric

Volltext

Quantitative information flow as safety and liveness hyperproperties von Yasuoka, Hirotoshi, Terauchi, Tachio

Volltext

Bucketing and information flow analysis for provable timing attack mitigation von Terauchi, Tachio, Antonopoulos, Timos

Volltext

Failure of Cut-Elimination in Cyclic Proofs of Separation Logic von Daisuke, KIMURA, Koji, NAKAZAWA, Tachio, TERAUCHI, Hiroshi, UNNO

Volltext

Compositional Synthesis of Leakage Resilient Programs von Blot, Arthur, Yamamoto, Masaki, Terauchi, Tachio

Volltext

Secure Information Flow as a Safety Problem von Terauchi, Tachio, Aiken, Alex

Volltext

Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling von Unno, Hiroshi, Terauchi, Tachio

Volltext

Automatic Termination Verification for Higher-Order Functional Programs von Kuwahara, Takuya, Terauchi, Tachio, Unno, Hiroshi, Kobayashi, Naoki

Volltext

Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement von Terauchi, Tachio, Unno, Hiroshi

Volltext

Relatively complete refinement type system for verification of higher-order non-deterministic programs von Unno, Hiroshi, Satake, Yuki, Terauchi, Tachio

Volltext

Quantitative Information Flow - Verification Hardness and Possibilities von Yasuoka, Hirotoshi, Terauchi, Tachio

Volltext

Repairing Regular Expressions for Extraction von Chida, Nariyoshi, Terauchi, Tachio

Volltext

Repairing DoS Vulnerability of Real-World Regexes von Chida, Nariyoshi, Terauchi, Tachio

Volltext

Trace Effects for a Language with Algebraic Effect Handlers von KAWAMATA, Fuga, TERAUCHI, Tachio

Volltext

代数的エフェクトハンドラを持つ言語のためのトレースエフェクト von 川俣, 楓河, 寺内, 多智弘

Volltext

Quantitative Information Flow as Safety and Liveness Hyperproperties von Yasuoka, Hirotoshi, Terauchi, Tachio

Volltext

On bounding problems of quantitative information flow von Yasuoka, Hirotoshi, Terauchi, Tachio

Volltext

On Predicate Refinement Heuristics in Program Verification with CEGAR: Invited Presentation at the 3rd Workshop on Horn Clauses for Verification and Synthesis von Terauchi, Tachio

Volltext