Publications

(2022). Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges. On IACR eprint.

PDF Cite

(2021). Generalized Proof of Liabilities. In CCS ‘21.

PDF Cite Code Video DOI

(2021). SquirRL: Automating attack analysis on blockchain incentive mechanisms with deep reinforcement learning. In NDSS ‘21.

PDF Cite Code DOI

(2020). BDoS: Blockchain denial-of-service. In CCS ‘20.

PDF Cite Video DOI

(2019). Tesseract: Real-time cryptocurrency exchange using trusted hardware. In CCS ‘19.

PDF Cite Video DOI

(2017). Solidus: Confidential distributed ledger transactions via PVORM. In CCS ‘17.

PDF Cite Code Video DOI