4 papers · 1 filter
MOSAIC: Masked Outsourcing of Secure AI Computations
James Hsin-yu Chiang, Sheila Zingg, Kari Kostiainen +1
We address the challenge of securely and efficiently outsourcing AI computations from a trusted but computationally weak client to an untrusted but powerful server, in the setting…
Crypto x AI, AI x Crypto: A Survey
Sarah Allen, Pranay Anchuri, James Austgen +22
The intersection of crypto x AI is spawning papers, products, online posts, and companies. All the surrounding buzz, though, obscures what exactly has been done, what the opportuni…
SoK: Lending Pools in Decentralized Finance
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Lending pools are decentralized applications which allow mutually untrusted users to lend and borrow crypto-assets. These applications feature complex, highly parametric incentive…
Bitcoin Trace-Net: Formal Contract Verification at Signing Time
James Chiang
Smart contracting protocols promise to regulate the transfer of cryptocurrency amongst participants in a trustless manner. A safe smart contract implementation should ensure that e…