VErification, Logic, and CRyptOgraphy

December 11 · Chennai Mathematical Institute