Aditya Asgaonkar
- Formal Verification of the Ethereum 2.0 Beacon Chain
2021/10/22 by Franck Cassez, Cassez, Franck, Joanne Fuller +3 · 1 voice · 2 citations
Computer Science · Decision Sciences · #Digital and Cyber Forensics #F.2.2 #F.4.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Scientific Computing and Data Management #Security and Verification in Computing #cs.LO #cs.PL
- Three Attacks on Proof-of-Stake Ethereum
2021/10/19 by Caspar Schwarz-Schilling, Schwarz-Schilling, Caspar, Joachim Neu +9 · 6 citations
Computer Science · Social Sciences · #Access Control and Trust #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Internet Traffic Analysis and Secure E-voting
- Solving the Buyer and Seller's Dilemma: A Dual-Deposit Escrow Smart\n Contract for Provably Cheat-Proof Delivery and Payment for a Digital Good\n without a Trusted Mediator
2018/06/21 by Aditya Asgaonkar, Asgaonkar, Aditya, Bhaskar Krishnamachari +1 · 3 citations
Business, Management and Accounting · Computer Science · Decision Sciences · #Auction Theory and Applications #Blockchain Technology Applications and Security #Computer Science and Game Theory (cs.GT) #Cryptography and Security (cs.CR) #Digital Platforms and Economics #FOS: Computer and information sciences