Rethinking General-Purpose Decentralized Computing2019-01-01. Workshop on Hot Topics in Operating Systems (HotOS), Bertinoro, ITALY, May 13-15, 2019. p. 105-112. DOI : 10.1145/3317550.3321448.
OmniLedger: A Secure, Scale-Out, Decentralized Ledger via Sharding2018-05-20. 2018 IEEE Symposium on Security and Privacy, San Fransisco, USA, May 20-23, 2018.
On Enforcing the Digital Immunity of a Large Humanitarian Organization2018. 2018 IEEE Symposium on Security and Privacy (SP), San Francisco, 20-24 May 2018. p. 424-440. DOI : 10.1109/SP.2018.00019.
MedCo: Enabling Privacy-Conscious Exploration of Distributed Clinical and Genomic Data2017. 4th International Workshop on Genome Privacy and Security (GenoPri’17), Orlando, October 15, 2017.
CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds2017. 26th Usenix Security Symposium, Vancouver, BC, Canada, August 16-18, 2017. p. 1271-1287.
UnLynx: A Decentralized System for Privacy-Conscious Data Sharing2017. Privacy Enhancing Technologies Symposium, Minneapolis, MN, USA, July 18–21, 2017. p. 152-170.
Bitcoin Meets Collective Signing37th IEEE Symposium on Security and Privacy, San Jose, California, USA, May 23, 2016.
Managing Identities Using Blockchains and CoSi9th Workshop on Hot Topics in Privacy Enhancing Technologies (HotPETs 2016), Darmstadt, Germany, July 22.
Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing2016. 25th USENIX Security Symposium, Austin, TX, AUG 10-12, 2016. p. 279-296.
Seeking Anonymity in an Internet PanopticonCommunications Of The ACM. 2015. Vol. 58, num. 10, p. 58-69. DOI : 10.1145/2714561.
Security Analysis of Accountable Anonymity in DissentACM Transactions on Information and System Security (TISSEC). 2014. Vol. 17, num. 1.
Heading Off Correlated Failures through Independence-as-a-Service2014. 11th USENIX Symposium on Operating Systems Design and Implementation, Broomfield, CO, USA, October 7, 2014.
Hang With Your Buddies to Resist Intersection Attacks2013. 20th ACM Conference on Computer and Communications Security (CCS), Berlin, Germany, November 4-8, 2013.
Proactively Accountable Anonymous Messaging in Verdict2013. 22nd USENIX Security Symposium, Washington, D.C., USA, August 14-16, 2013.
GPUfs: Integrating a File System with GPUs2013. 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2013), Houston, TX, USA, March 16-20, 2013.
Dissent in Numbers: Making Strong Anonymity Scale2012. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’12), Hollywood, CA, USA, October 8-10, 2012.
Efficient System-Enforced Deterministic Parallelism2010. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), Vancouver, BC, Canada, October 4-6, 2010.
Dissent: Accountable Group Anonymity2010. 17th ACM Conference on Computer and Communications Security (CCS 2010), Chicago, IL, USA, October 4-8, 2010.