Login / Signup
Bhavesh Sharma
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Secret Sharing
Electronic Voting
Low Cost
Top Venues
IEEE Symposium on Security and Privacy
IACR Cryptol. ePrint Arch.
</>
Publications
</>
Thomas Haines
,
Rajeev Goré
,
Bhavesh Sharma
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.
IEEE Symposium on Security and Privacy
(2021)
Thomas Haines
,
Rajeev Goré
,
Bhavesh Sharma
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.
IACR Cryptol. ePrint Arch.
2020 (2020)