Publisher
Springer International Publishing
Reference39 articles.
1. Lecture Notes in Computer Science;B Aminof,2018
2. Appel, A.W.: Verification of a cryptographic primitive: SHA-256. ACM Trans. Program. Lang. Syst. (TOPLAS) 37(2), 1–31 (2015). ISBN: 0164-0925 Publisher: ACM New York, NY, USA
3. Lecture Notes in Computer Science;N Atzei,2017
4. Bai, X., Cheng, Z., Duan, Z., Hu, K.: Formal modeling and verification of smart contracts. In: Proceedings of the 2018 7th International Conference on Software and Computer Applications, pp. 322–326 (2018)
5. Baird, L.: The swirlds hashgraph consensus algorithm: Fair, fast, byzantine fault tolerance. Swirlds, Inc., Technical Report SWIRLDS-TR-2016 1 (2016)