Xinyuan Sun
- Cooperative AI via Decentralized Commitment Devices
2023/11/14 by Xinyuan Sun, Davide Crapis, Sun, Xinyuan +9 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Blockchain Technology Applications and Security #Computer Science and Game Theory (cs.GT) #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Multiagent Systems (cs.MA) #Privacy-Preserving Technologies in Data
- Foundational Verification of Smart Contracts through Verified Compilation
2024/05/14 by Vilhelm Sjöberg, Kinnari Dave, Sjöberg, Vilhelm +15 · 1 citation
Business, Management and Accounting · Computer Science · Economics, Econometrics and Finance · #Blockchain Technology Applications and Security #F.3.1 #F.3.2 #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance #Insurance and Financial Risk Management #Programming Languages (cs.PL)