Tachio Terauchi - PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

Write a Blog >>

Sun 18 - Fri 23 June 2017 Barcelona, Spain

Park Güell

Mare Nostrum

Sagrada Familia

Arena

Station

Sunset

Registered user since Tue 23 Dec 2014

Name:Tachio Terauchi

Affiliation:JAIST

Personal website: http://www.jaist.ac.jp/~terauchi

Contributions

2017

PLDI

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