Cited By
View all- Lohr MSkiba KKonersmann MJurjens JStaab S(2022)Formalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)10.1109/ICBC54727.2022.9805522(1-5)Online publication date: 2-May-2022
- Xu YLi J(2020)An Exchange Center Based Digital Cash Payment SolutionAdvances in Computer, Communication and Computational Sciences10.1007/978-981-15-4409-5_24(265-274)Online publication date: 28-Oct-2020
- Yan JIshibashi SGoto YCheng J(2018)A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI)10.1109/SmartWorld.2018.00071(210-215)Online publication date: Oct-2018
- Show More Cited By