Tachio Terauchi
- Quantitative Information Flow - Verification Hardness and Possibilities
2010/04/01 by Hirotoshi Yasuoka, Yasuoka, Hirotoshi, Tachio Terauchi +1 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing
- Program Verification via Predicate Constraint Satisfiability Modulo Theories
2020/07/07 by Hiroshi Unno, Unno, Hiroshi, Yuki Satake +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)