Nouredine Tamani, Saad El Jaouhari. Blockchain Meets Formal Logic: Semantics Level Cybersecurity Challenges. In 6th Cyber Security in Networking Conference, CSNet 2022, Rio de Janeiro, Brazil, October 24-26, 2022. pages 1-6, IEEE, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.