2 papers
cs.LO2026
Automating proof search when equality is a logical connective
Kaustuv Chaudhuri, Arunava Gantait, Dale Miller
Treating syntactic equality as a logical connective -- governed by left- and right-introduction rules within the sequent calculus -- offers an elegant and powerful approach to term…
cs.CR2022
Zero Knowledge Identification and Verification of Voting Systems
Arunava Gantait, Rajit Goyal, Syed Sajid Husain Rizvi +1
Current methods of voter identification, especially in India, are highly primitive and error-prone, depending on verification by (mostly) sight, by highly trusted election official…