Sawadogo, Zakaria, Mendy, Gervais, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Ouya, Samuel and Dembelle, Jean Marie (2023) Towards a DeepMalOb improvement in the use of formal security risk analysis methods. In: 2023 IEEE 6th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech), 21st - 23rd November 2023, Marrakesh, Morocco. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 118-122. ISBN 979-8350303070; 979-8350303063 (doi:10.1109/CloudTech58737.2023.10366167)