Publication

A Formal Analysis of Syverson`s Rational Exchange Protocol