Proceedings of the 2016 ACM Workshop on Theory of Implementation Security - Bilgin, Begül (Association for Computing Machinery, 2016)