George Danezis Ian Goldberg Sphinx: A Compact and Provably Secure Mix Format. 269-282 2009 IEEE Symposium on Security and Privacy http://dx.doi.org/10.1109/SP.2009.15 conf/sp/2009 db/conf/sp/sp2009.html#DanezisG09