Statistics of Analysis of a receipt-free auction protocol in the applied pi calculus

Contact ORBilu