1 citations · 1 across the 8 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024
Constructing Trustworthy Smart Contracts
Devora Chait-Roth, Kedar S. Namjoshi
Smart contracts form the core of Web3 applications. Contracts mediate the transfer of cryptocurrency, making them irresistible targets for hackers. We introduce ASP, a system aimed…
cs.CR2024★ 1 cited
Atomicity and Abstraction for Cross-Blockchain Interactions
Huaixi Lu, Akshay Jajoo, Kedar S. Namjoshi
A blockchain facilitates secure and atomic transactions between mutually untrusting parties on that chain. Today, there are multiple blockchains with differing interfaces and secur…