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