Is the cost of proof-of-work consensus quasilinear? - Aditya Asgaonkar; Pranav Palande; Ramprasad S. Joshi (COMAD/CODS, 2018)

Token Curated Registries - A Game Theoretic Approach. - Aditya Asgaonkar; Bhaskar Krishnamachari (CoRR, 2018)

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 (IEEE ICBC, 2019)

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)

Formal Verification of the Ethereum 2.0 Beacon Chain. - Franck Cassez; Joanne Fuller; Aditya Asgaonkar (TACAS (1), 2022)

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 022; Kartik Nayak (IACR Cryptol. ePrint Arch., 2023)

Data Independent Order Policy Enforcement: Limitations and Solutions. - Sarisht Wadhwa; Luca Zanolini; Aditya Asgaonkar; Francesco D'Amato; Chengrui Fang; Fan Zhang 022; Kartik Nayak (CCS, 2024)

A Confirmation Rule for the Ethereum Consensus Protocol. - Aditya Asgaonkar; Francesco D'Amato; Roberto Saltini; Luca Zanolini; Chenyi Zhang (CoRR, 2024)