2 citations · 6 across the 7 of their papers we have counts for
7 papers
Deciding branching hyperproperties for real time systems
Nabarun Deka, Minjian Zhang, Rohit Chadha +1
Security properties of real-time systems often involve reasoning about hyper-properties, as opposed to properties of single executions or trees of executions. These hyper-propertie…
Publicly auditable privacy-preserving electoral rolls
Prashant Agrawal, Mahabir Prasad Jhanwar, Subodh Vishnu Sharma +1
While existing literature on electronic voting has extensively addressed verifiability of voting protocols, the vulnerability of electoral rolls in large public elections remains a…
MultiSiam: A Multiple Input Siamese Network For Social Media Text Classification And Duplicate Text Detection
Sudhanshu Bhoi, Swapnil Markhedkar, Shruti Phadke +1
Social media accounts post increasingly similar content, creating a chaotic experience across platforms, which makes accessing desired information difficult. These posts can be org…
Traceable mixnets
Prashant Agrawal, Abhinav Nakarmi, Mahavir Prasad Jhawar +2
We introduce the notion of \emph{traceable mixnets}. In a traditional mixnet, multiple mix-servers jointly permute and decrypt a list of ciphertexts to produce a list of plaintexts…
Ballot stuffing and participation privacy in pollsite voting
Prashant Agrawal, Abhinav Nakarmi, Mahabir Prasad Jhanwar +2
We study the problem of simultaneously addressing both ballot stuffing and participation privacy for pollsite voting systems. Ballot stuffing is the attack where fake ballots (not…
An operational architecture for privacy-by-design in public service applications
Prashant Agrawal, Anubhutie Singh, Malavika Raghavan +2
Governments around the world are trying to build large data registries for effective delivery of a variety of public services. However, these efforts are often undermined due to se…
OpenVoting: Recoverability from Failures in Dual Voting
Prashant Agrawal, Kabir Tomer, Abhinav Nakarmi +3
In this paper we address the problem of recovery from failures without re-running entire elections when elections fail to verify. We consider the setting of \emph{dual voting} prot…