1 citations · 1 across the 2 of their papers we have counts for
3 papers · 1 filter
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…
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…