Mukesh Tiwari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2017–2023
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CCS | Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications. | Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann |
| 2020 | INDOCRYPT | Verifpal: Cryptographic Protocol Analysis for the Real World. | Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari |
| 2019 | CCS | Verified Verifiers for Verifying Elections. | Thomas Haines, Rajeev Gor, Mukesh Tiwari |
| 2017 | ITP | Schulze Voting as Evidence Carrying Computation. | Dirk Pattinson, Mukesh Tiwari |