Aditya Asgaonkar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | Data Independent Order Policy Enforcement: Limitations and Solutions. | Sarisht Wadhwa, Luca Zanolini, Aditya Asgaonkar, Francesco D'Amato, Chengrui Fang, Fan Zhang, Kartik Nayak |
| 2022 | FC | Three Attacks on Proof-of-Stake Ethereum. | Caspar Schwarz-Schilling, Joachim Neu, Barnab Monnot, Aditya Asgaonkar, Ertem Nusret Tas, David Tse |
| 2022 | TACAS | Formal Verification of the Ethereum 2.0 Beacon Chain. | Franck Cassez, Joanne Fuller, Aditya Asgaonkar |
| 2018 | COMAD | Is the cost of proof-of-work consensus quasilinear? | Aditya Asgaonkar, Pranav Palande, Ramprasad S. Joshi |