https://mukeshtiwari.github.io/portfolio/portfolio-1/ https://mukeshtiwari.github.io/portfolio/portfolio-2/ https://mukeshtiwari.github.io/posts/formal-verification-hello-world 2022-07-31T00:00:00+10:00 https://mukeshtiwari.github.io/publication/2017-08-21-Schulze-voting-as-evidence-carrying-computation 2017-08-21T00:00:00+10:00 https://mukeshtiwari.github.io/publication/No-More-Excuses:-Automated-Synthesis-of-Practical-and-Verifiable-Vote-Counting-Programs-for-Complex-Voting-Schemes 2017-10-24T00:00:00+11:00 https://mukeshtiwari.github.io/publication/2018-10-02-Modular-formalisation%20-and-verification-of-STV-algorithms 2018-10-02T00:00:00+10:00 https://mukeshtiwari.github.io/publication/Verifiable-Homomorphic-Tallying-for-the-Schulze-Vote-Counting-Scheme 2019-07-13T00:00:00+10:00 https://mukeshtiwari.github.io/publication/Verified-Verifiers-for-Verifying-Elections 2019-11-06T00:00:00+11:00 https://mukeshtiwari.github.io/talks/VSTTE-talk 2019-07-10T00:00:00+10:00 https://mukeshtiwari.github.io/talks/final-phd 2020-01-10T00:00:00+11:00 https://mukeshtiwari.github.io/talks/Hotspot-short-paper 2021-08-06T00:00:00+10:00 https://mukeshtiwari.github.io/teaching/2014-spring-teaching-1 2014-01-01T00:00:00+11:00 https://mukeshtiwari.github.io/teaching/2015-spring-teaching-1 2015-01-01T00:00:00+11:00 https://mukeshtiwari.github.io/ https://mukeshtiwari.github.io/archive-layout-with-content/ https://mukeshtiwari.github.io/categories/ https://mukeshtiwari.github.io/collection-archive/ https://mukeshtiwari.github.io/contact/ https://mukeshtiwari.github.io/cv/ https://mukeshtiwari.github.io/markdown/ https://mukeshtiwari.github.io/non-menu-page/ https://mukeshtiwari.github.io/page-archive/ https://mukeshtiwari.github.io/portfolio/ https://mukeshtiwari.github.io/publications/ https://mukeshtiwari.github.io/sitemap/ https://mukeshtiwari.github.io/tags/ https://mukeshtiwari.github.io/talkmap.html https://mukeshtiwari.github.io/talks/ https://mukeshtiwari.github.io/teaching/ https://mukeshtiwari.github.io/terms/ https://mukeshtiwari.github.io/posts/ https://mukeshtiwari.github.io/markdown_generator/ https://mukeshtiwari.github.io/files/paper1.pdf 2022-08-02T03:24:31+10:00 https://mukeshtiwari.github.io/files/paper2.pdf 2022-08-02T03:24:31+10:00 https://mukeshtiwari.github.io/files/paper3.pdf 2022-08-02T03:24:31+10:00 https://mukeshtiwari.github.io/talkmap/map.html 2022-08-02T03:24:31+10:00