Report copyright - Analysis of electronic voting protocols in applied pi calculusmdr/slides/pdf/09-evoting-analysis.pdfThe applied ˇ-calculus Applied pi-calculus: [Abadi & Fournet, 01] basic programming
Please pass captcha verification before submit form