1 citations · 1 across the 3 of their papers we have counts for
3 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…
Efficient Adversarial Input Generation via Neural Net Patching
Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma
The generation of adversarial inputs has become a crucial issue in establishing the robustness and trustworthiness of deep neural nets, especially when they are used in safety-crit…