Proceedings of the 2016 ACM Workshop on Theory of Implementation Security
ACM Digital Library