Aditya Asgaonkar

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 11

Top Topics

Chosen Plaintext

Formal Verification

Malicious Users

Theorem Proving

Top Venues

IACR Cryptol. ePrint Arch.

Financial Cryptography

Publications

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