Fingerprint
Dive into the research topics of 'Formal modelling and analysis of receipt-free auction protocols in applied pi'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal modelling and analysis of receipt-free auction protocols in applied pi
Naipeng Dong*, Hugo Jonker, Jun Pang
*Corresponding author for this work
Research output: Contribution to journal › Article › Academic › peer-review