Proceedings of ACM Workshop on Theory of Implementation Security Workshop - Bilgin, Begül (ACM Conferences, 2019)