Prof. Tevfik Bultan gave a keynote talk at the 36th IARC Annual Conference on Foundations of Software Technology and Theoretical Computer Science

December 29, 2016

At the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), Professor Tevfik Bultan presented a keynote talk titled, "Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution."  The conference was held at the Chennai Mathematical Institute in Chennai, India from December 13–15, 2016.

IARCS is the Indian Association for Research in Computing Science. The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.