A model counter for constraints over unbounded strings. - Loi Luu; Shweta Shinde; Prateek Saxena; Brian Demsky (PLDI, 2014)

On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining. - Loi Luu; Ratul Saha; Inian Parameshwaran; Prateek Saxena; Aquinas Hobor (IACR Cryptol. ePrint Arch., 2015)

Demystifying incentives in the consensus computer. - Loi Luu; Jason Teutsch; Raghav Kulkarni; Prateek Saxena (IACR Cryptol. ePrint Arch., 2015)

A Secure Sharding Protocol For Open Blockchains. - Loi Luu; Viswesh Narayanan; Chaodong Zheng; Kunal Baweja; Seth Gilbert; Prateek Saxena (CCS, 2016)

Making Smart Contracts Smarter. - Loi Luu; Duc-Hiep Chu; Hrishi Olickel; Prateek Saxena; Aquinas Hobor (IACR Cryptol. ePrint Arch., 2016)

SmartPool: Practical Decentralized Pooled Mining. - Loi Luu; Yaron Velner; Jason Teutsch; Prateek Saxena (USENIX Security Symposium, 2017)

SMART POOL : Practical Decentralized Pooled Mining. - Loi Luu; Yaron Velner; Jason Teutsch; Prateek Saxena (IACR Cryptol. ePrint Arch., 2017)

Obscuro: A Bitcoin Mixer using Trusted Execution Environments. - Muoi Tran; Loi Luu; Min Suk Kang; Iddo Bentov; Prateek Saxena (IACR Cryptol. ePrint Arch., 2017)

Smart Contracts Make Bitcoin Mining Pools Vulnerable. - Yaron Velner; Jason Teutsch; Loi Luu (IACR Cryptol. ePrint Arch., 2017)

Flyclient: Super-Light Clients for Cryptocurrencies. - Benedikt Bünz; Lucianna Kiffer; Loi Luu; Mahdi Zamani (IACR Cryptol. ePrint Arch., 2019)

Randomized View Reconciliation in Permissionless Distributed Systems. - Ruomu Hou; Irvan Jahja; Loi Luu; Prateek Saxena; Haifeng Yu (IEEE/ACM Trans. Netw., 2020)