Aditya Asgaonkar

12 papers A* 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Confirmation Rule for the Ethereum Consensus Protocol.
CoRR
Aditya Asgaonkar, Francesco D'Amato, Roberto Saltini, Luca Zanolini, Chenyi Zhang
2024 A* conf
Data Independent Order Policy Enforcement: Limitations and Solutions.
CCS
Sarisht Wadhwa, Luca Zanolini, Aditya Asgaonkar, Francesco D'Amato, Chengrui Fang, Fan Zhang, Kartik Nayak
2023 J jnl
Breaking the Chains of Rationality: Understanding the Limitations to and Obtaining Order Policy Enforcement.
IACR Cryptol. ePrint Arch.
Sarisht Wadhwa, Luca Zanolini, Francesco D'Amato, Aditya Asgaonkar, Fan Zhang, Kartik Nayak
2022 — conf
Formal Verification of the Ethereum 2.0 Beacon Chain.
TACAS (1)
Franck Cassez, Joanne Fuller, Aditya Asgaonkar
2022 — conf
Three Attacks on Proof-of-Stake Ethereum.
Financial Cryptography
Caspar Schwarz-Schilling, Joachim Neu, Barnabé Monnot, Aditya Asgaonkar, Ertem Nusret Tas, David Tse
2021 J jnl
Formal Verification of the Ethereum 2.0 Beacon Chain.
CoRR
Franck Cassez, Joanne Fuller, Aditya Asgaonkar
2021 J jnl
Three Attacks on Proof-of-Stake Ethereum.
CoRR
Caspar Schwarz-Schilling, Joachim Neu, Barnabé Monnot, Aditya Asgaonkar, Ertem Nusret Tas, David Tse
2021 J jnl
Three Attacks on Proof-of-Stake Ethereum.
IACR Cryptol. ePrint Arch.
Caspar Schwarz-Schilling, Joachim Neu, Barnabé Monnot, Aditya Asgaonkar, Ertem Nusret Tas, David Tse
2019 — conf
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.
IEEE ICBC
Aditya Asgaonkar, Bhaskar Krishnamachari
2018 — conf
Is the cost of proof-of-work consensus quasilinear?
COMAD/CODS
Aditya Asgaonkar, Pranav Palande, Ramprasad S. Joshi
2018 J jnl
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.
CoRR
Aditya Asgaonkar, Bhaskar Krishnamachari
2018 J jnl
Token Curated Registries - A Game Theoretic Approach.
CoRR
Aditya Asgaonkar, Bhaskar Krishnamachari