Publications
(2007).
NetComplex: A Complexity Metric for Network System Designs.
Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2008). 393-406.
(2008).
(2008).
(2009).
(2008). Attested Append-Only Memory: Making Adversaries Stick to their Word.
ACM SIGOPS Operating Systems Review. 41(6), 189-204.
(2007).