Aditya Asgaonkar | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

David Tse
41 publications
Bhaskar Krishnamachari
38 publications
Joachim Neu
17 publications
Ertem Nusret Tas
16 publications
Barnabé Monnot
9 publications
Franck Cassez
5 publications
Joanne Fuller
3 publications
Caspar Schwarz-Schilling
3 publications

research

∙ 10/22/2021

Formal Verification of the Ethereum 2.0 Beacon Chain

We report our experience in the formal verification of the reference imp...

0 Franck Cassez, et al. ∙

research

∙ 10/19/2021

Three Attacks on Proof-of-Stake Ethereum

Recently, two attacks were presented against Proof-of-Stake (PoS) Ethere...

0 Caspar Schwarz-Schilling, et al. ∙

research

∙ 09/05/2018

Token Curated Registries - A Game Theoretic Approach

Token curated registries (TCRs) have been proposed recently as an approa...

0 Aditya Asgaonkar, et al. ∙

research

∙ 06/21/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

A fundamental problem for electronic commerce is the buying and selling ...

0 Aditya Asgaonkar, et al. ∙