Write a Blog >>
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Sun 18 - Fri 23 June 2017 Barcelona, Spain
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / Tachio Terauchi
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