Aditya Asgaonkar

According to our database, Aditya Asgaonkar authored at least 7 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Confirmation Rule for the Ethereum Consensus Protocol.

Aditya Asgaonkar, Francesco D'Amato, Roberto Saltini, Luca Zanolini, Chenyi Zhang

CoRR, 2024

2023

Breaking the Chains of Rationality: Understanding the Limitations to and Obtaining Order Policy Enforcement.

Sarisht Wadhwa, Luca Zanolini, Francesco D'Amato, Aditya Asgaonkar, Fan Zhang, Kartik Nayak

IACR Cryptol. ePrint Arch., 2023

2022

Formal Verification of the Ethereum 2.0 Beacon Chain.

Franck Cassez, Joanne Fuller, Aditya Asgaonkar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Three Attacks on Proof-of-Stake Ethereum.

Caspar Schwarz-Schilling, Joachim Neu, Barnabé Monnot, Aditya Asgaonkar, Ertem Nusret Tas, David Tse

IACR Cryptol. ePrint Arch., 2021

2019

Solving the Buyer and Seller's Dilemma: A Dual-Deposit Escrow Smart Contract for Provably Cheat-Proof Delivery and Payment for a Digital Good without a Trusted Mediator.

Aditya Asgaonkar, Bhaskar Krishnamachari

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019

2018

Token Curated Registries - A Game Theoretic Approach.

Aditya Asgaonkar, Bhaskar Krishnamachari

CoRR, 2018

Is the cost of proof-of-work consensus quasilinear?

Aditya Asgaonkar, Pranav Palande, Ramprasad S. Joshi

Proceedings of the ACM India Joint International Conference on Data Science and Management of Data, 2018