Computer Science · Physical Sciences
9h-index1.7kcitations12works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Security and Verification in Computing(7), Cloud Data Security Solutions(5), Cryptography and Data Security(4), Parallel Computing and Optimization Techniques(2), Complexity and Algorithms in Graphs(2)
Publications12 total
Enforcing forward-edge control-flow integrity in GCC & LLVM
2014· 242 cited
The CloudProxy Tao for Trusted Computing
2013· 8 cited
2012· 1.1k cited
Dynamic Searchable Symmetric Encryption.
IACR Cryptology ePrint Archive·2012· 3 cited
CS2: A Searchable Cryptographic Cloud Storage System
2011· 66 cited
Journal of Cryptology·2011· 3 citedOpen Access
ACM Transactions on Computer Systems·2010· 72 cited
2006· 43 cited
ACM SIGOPS Operating Systems Review·2006· 11 cited
Statistics and Its Interface·2005· 13 cited
Frequent Co-authors
Seny Kamara(3), Charalampos Papamanthou(3), Fred B. Schneider(3), Úlfar Erlingsson(2), Michael Spear(2), Orion Hodson(2), Galen Hunt(2), Steven Levi(2), Caroline Tice(1), Peter Collingbourne(1), Stephen Checkoway(1), Luis A. Lozano(1), Geoff Pike(1), Hongzhou Liu(1), Kevin Walsh(1), Rimon Barr(1), Emin Gün Sirer(1), Kamen Yotov(1), Keshav Pingali(1), John A. Gunnels(1)