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]
Abstract is missing.