2 citations · 6 across the 7 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…
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…