Trustworthy Systems and their Applications

3rd TSA 2016: Wuhan, China

2nd TSA 2015: Hualien, Taiwan

1st TSA 2014: Taichung, Taiwan

maintained by Schloss Dagstuhl LZI, founded at University of Trier