ACM SIGSAC Runner-Up Award for Samuel Steffen
For his thesis “A Programming Language Approach to Smart Contract Privacy”, former doctoral student Dr Samuel Steffen received the prestigious ACM SIGSAC Doctoral Dissertation Runner-Up Award. Congratulations!
Dr Samuel Steffen, who finished his doctorate in the Secure, Reliable, and Intelligent Systems Lab (SRI) under the supervision of Professor Martin Vechev and is now working as a senior software engineer at Veezoo, has just been awarded the highly regarded ACM SIGSAC Doctoral Dissertation Runner-Up Award for top 3 dissertation in the world in security. The honoured doctoral thesis is titled "A Programming Language Approach to Smart Contract Privacy".
The ACM committee acknowledged Samuel Steffen's doctoral thesis for its commendable integration of various computer science domains, such as cryptography, programming languages, and blockchain security. This elegant synthesis addresses a significant challenge: data and identity privacy of smart contracts running on blockchains. Steffen's contributions include a system that verifiably conceals memory content, ensuring the absence of implicit leaks. Additionally, he proposed an enhanced system capable of computations on unknown data, and a system that guarantees provable identity and data privacy. Congratulations!