8 citations · 15 across the 13 of their papers we have counts for
3 papers · 1 filter
Ballot stuffing and participation privacy in pollsite voting
Prashant Agrawal, Abhinav Nakarmi, Mahabir Prasad Jhanwar +2
We study the problem of simultaneously addressing both ballot stuffing and participation privacy for pollsite voting systems. Ballot stuffing is the attack where fake ballots (not…
Fence Synthesis under the C11 Memory Model
Sanjana Singh, Divyanjali Sharma, Ishita Jaju +1
The C/C++11 (C11) standard offers a spectrum of ordering guarantees on memory access operations. The combinations of such orderings pose a challenge in developing correct and effic…
Secure Information Flow Typing in LUSTRE
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
Synchronous reactive data flow is a paradigm that provides a high-level abstract programming model for embedded and cyber-physical systems, including the locally synchronous compon…