Skip to content

mukeshtiwari/mukeshtiwari

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ย 

History

3 Commits
ย 
ย 

Repository files navigation

  • ๐Ÿ‘‹ Hi, I am Mukesh Tiwari
  • ๐Ÿ‘€ I am interested in formal verification (Coq theorem prover), election security, cryptography, and social choice theory.
  • ๐ŸŒฑ Iโ€™m currently learning ZKSNARK because I belive it can change the landscape of electronic voting.
  • ๐Ÿ’ž๏ธ Iโ€™m looking to collaborate on formal verification of cryptographic primitives, vote-counting algorithms.
  • ๐Ÿ“ซ How to reach me [email protected]

About

Config files for my GitHub profile.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published