Formal verification of smart contracts | Vikramaditya Kokil | IICT'24
23:19
Unveiling the Future: A Glimpse into the Emerging Landscape of Quantum Compilers | Tanmay Sarkar
27:12
Modern solutions against Cross Site Attacks – Frederik Braun (GOD24)
27:08
Scanning for Vulnerabilities Without Getting Into Trouble (GOD24)
18:22
What is Dyalog APL and What Can It Do For You? | Aarush Bhat | IICT'24
19:55
No-ISA is the Best ISA | Shreeyash Pandey & Rishik Ram Jallarapu | IICT'24
16:59
C-lisp and Flexible Macro Programming with S-expressions | Vedanth P | IICT'24
19:28
Why generating Three Address Code for Javascript is hard | Meetesh Kalpesh Mehta | IICT'24
20:52