2024 Book Chapter VeraciTIX: an NFT-based event ticketing systemWard, Ryan, Jo, Komei, Dong, Naipeng, Owens, Bill and Portmann, Marius (2024). VeraciTIX: an NFT-based event ticketing system. Blockchain and smart-contract technologies for innovative applications. (pp. 189-213) edited by Nour El Madhoun, Ioanna Dionysiou and Emmanuel Bertin. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-031-50028-2_7 |
2024 Book Chapter Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote PurchaseYu, Yisong, Dong, Naipeng, Hou, Zhe and Song Dong, Jin (2024). Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. Lecture Notes in Computer Science. (pp. 391-407) Singapore: Springer Nature Singapore. doi: 10.1007/978-981-96-0617-7_22 |