Aditya Asgaonkar

12 papers A* 1Journal 7Unranked 4

Year	Rank	Type	Title / 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

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski