Biblio

Export 6 results:
Filters: Author is Charalampos Papamanthou  [Clear All Filters]
2014
Kosba AE, Papadopoulos D, Papamanthou C, Sayed MF, Shi E, Triandopoulos N.  2014.  TRUESET: Faster Veriļ¬able Set Computations. 23rd USENIX Security Symposium (USENIX Security 14). :765--780.
2011
Dietz M, Papamanthou C.  2011.  MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).