( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of the Ethereum 2.0 Beacon Chain.

, , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 167-182. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Aditya Aryasomayajula

Aditya Devarakonda

Aditya Kumar

Aditya Malik

Aditya Kalyanpur

 

Другие публикации лиц с тем же именем

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)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, стр. 262-267. IEEE, (2019)Three Attacks on Proof-of-Stake Ethereum., , , , , и . IACR Cryptol. ePrint Arch., (2021)Breaking the Chains of Rationality: Understanding the Limitations to and Obtaining Order Policy Enforcement., , , , , и . IACR Cryptol. ePrint Arch., (2023)Formal Verification of the Ethereum 2.0 Beacon Chain., , и . CoRR, (2021)Is the cost of proof-of-work consensus quasilinear?, , и . COMAD/CODS, стр. 314-317. ACM, (2018)Token Curated Registries - A Game Theoretic Approach., и . CoRR, (2018)Three Attacks on Proof-of-Stake Ethereum., , , , , и . Financial Cryptography, том 13411 из Lecture Notes in Computer Science, стр. 560-576. Springer, (2022)Formal Verification of the Ethereum 2.0 Beacon Chain., , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 167-182. Springer, (2022)