https://ankitku.github.io/archive.html Posts on formal methods, theorem proving, distributed systems, and the occasional trek. en-us https://ankitku.github.io/posts/2026-10-08-gossipsub-story.html https://ankitku.github.io/posts/2026-10-08-gossipsub-story.html Thu, 08 Oct 2026 00:00:00 +0000 How formal modeling found censoring attacks in GossipSub, Ethereum's gossip protocol: from disclosure and CVE to the IEEE S&P paper and the EF grant. https://ankitku.github.io/posts/2017-01-27-Online%20Course%20Lectures.html https://ankitku.github.io/posts/2017-01-27-Online%20Course%20Lectures.html Fri, 27 Jan 2017 00:00:00 +0000 Lecture videos for ESC101 (Introduction to Computing) at IIT Kanpur. https://ankitku.github.io/posts/2017-01-21-I%20am%20a%20Mentor%20now.html https://ankitku.github.io/posts/2017-01-21-I%20am%20a%20Mentor%20now.html Sat, 21 Jan 2017 00:00:00 +0000 On becoming a mentor. https://ankitku.github.io/posts/2016-10-30-Mechanizing-Metatheory-of-TAL-0.html https://ankitku.github.io/posts/2016-10-30-Mechanizing-Metatheory-of-TAL-0.html Sun, 30 Oct 2016 00:00:00 +0000 Mechanizing the metatheory of the TAL-0 language. https://ankitku.github.io/posts/2016-10-30-TAL-0%20Mechanized%20Metatheory.html https://ankitku.github.io/posts/2016-10-30-TAL-0%20Mechanized%20Metatheory.html Sun, 30 Oct 2016 00:00:00 +0000 An earlier draft of the TAL-0 mechanized metatheory work. https://ankitku.github.io/posts/2016-09-28-%20Dependently%20Typed%20Graph.html https://ankitku.github.io/posts/2016-09-28-%20Dependently%20Typed%20Graph.html Wed, 28 Sep 2016 00:00:00 +0000 A dependently typed graph formalization in Coq. https://ankitku.github.io/posts/2016-08-02-BhabhaPassTrek.html https://ankitku.github.io/posts/2016-08-02-BhabhaPassTrek.html Tue, 02 Aug 2016 00:00:00 +0000 Trekking across Pin Bhabha pass. https://ankitku.github.io/posts/2015-08-09-FreshersNight.html https://ankitku.github.io/posts/2015-08-09-FreshersNight.html Sun, 09 Aug 2015 00:00:00 +0000 First prize at Fresher's Night 2015, IIT Kanpur. https://ankitku.github.io/posts/2013-12-01-Droidcon.html https://ankitku.github.io/posts/2013-12-01-Droidcon.html Sun, 01 Dec 2013 00:00:00 +0000 My experience at Droidcon India 2013, with an app demo.