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]
@inproceedings{TamaniJ22,
title = {Blockchain Meets Formal Logic: Semantics Level Cybersecurity Challenges},
author = {Nouredine Tamani and Saad El Jaouhari},
year = {2022},
doi = {10.1109/CSNet56116.2022.9955604},
url = {https://doi.org/10.1109/CSNet56116.2022.9955604},
researchr = {https://researchr.org/publication/TamaniJ22},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {6th Cyber Security in Networking Conference, CSNet 2022, Rio de Janeiro, Brazil, October 24-26, 2022},
publisher = {IEEE},
isbn = {979-8-3503-9722-2},
}