Society for Electronic Transactions and Security(SETS)
(Under O/o The Principal Scientific Adviser to the Govt. of India )
MGR Knowledge City, CIT Campus, Taramani, Chennai - 600113
SETS has conducted a tutorial on “Applied Formal Methods in Cryptography”, hosted with Formal method update meetings 2026 at Krea University Sri city on 4th July 2026
