| Sumario: | It is our great pleasure to welcome you to the third edition of the Theory of Implementation Security (TIS) Workshop 2019, co-located with ACM CCS 2019. The previous two editions were held in 2016, co-located with ACM CCS 2016 in Vienna and in 2018, co-located with RWC 2018 in Zurich. In this workshop, we focus on physical attacks and their countermeasures. With the advent of the Internet of Things, the interest in embedded cryptographic systems and physical attacks on these systems is steadily increasing, both in academia and industry. On the other hand, sophisticated security certification and evaluation methods (FIPS, CC, etc.) have been established to give assurance about the security claims by independent evaluation and testing. The drawback is that certification is time consuming, expensive and sometimes the results are not repeatable. There is an emerging need from one side for further developing provably secure protection methods and automated verification tools and from another side improving the efficiency and quality of certification by integrating these tools and methods which will allow assessment of the physical attacks' resilience of the implementations with low cost and reduced time. All these challenges motivate even more research on the Theory of Implementation Security.
|
|---|
