PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / Tachio Terauchi
Registered user since Tue 23 Dec 2014
Name: Tachio Terauchi
Affiliation: JAIST
Personal website: http://www.jaist.ac.jp/~terauchi
Contributions
| PLDI 2017 | Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile