Mukesh Tiwari's Projects
EasyCrypt: Computer-Aided Cryptographic Proofs
This repository contains a specification describing the ElectionGuard software development kit, including cryptographic protocols and implementation decisions, as well as an overview of voting system components and functionality.
A Formal Library about Elliptic Curves for the Mathematical Components Library.
My emacs configuration
Schulze scheme with encrypted ballots
Restructuring the schulze code
EPI Judge - Preview Release
Unofficial fork of the ACT Electronic Voting and Counting System
Archive of existing evoting systems created by others.
This repo is about exposing bhakts from Twitter
A proper subset of Haskell that compiles to JavaScript
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Cryptographic Primitive Code Generation by Fiat
Source code formal verification of first past the post
Attempt to formalise this nice paper in semiring setting https://web.math.pmf.unizg.hr/glasnik/forthcoming/pGM6287.pdf
Repo for computing group generators in publicly verifiable manner.
Formalization of Machine Learning Theory with Applications to Program Synthesis
Content of Forrester Blog
Formal Reasoning About Programs
Resources for "One Monad to Prove Them All"
From Zero (Knowledge) to Bulletproofs - writeup
These are the code from fuzzing book https://www.fuzzingbook.org/html/Fuzzer.html
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
Simple racket script to download list of users
Helios server
HotSpot 2021 informal submission
Homotopy type theory reading group at ANU, 2017