3 papers
cs.CR2024
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…
cs.CR2024
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…
cs.CR2023
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…