Citations refer to the original publication, not to a Scieee localized version.
García, V., Escobar, S., Ogata, K., Akleylek, S., & Otmani, A. (2024). Modelling and verification of post-quantum key encapsulation mechanisms using Maude [Póster]. Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática. https://doi.org/10.32604/iasc.2023.039255
García, Victor, et al. Modelling and verification of post-quantum key encapsulation mechanisms using Maude [Póster]. Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024. https://doi.org/10.32604/iasc.2023.039255.
García, Victor, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek, and Ayoub Otmani. Modelling and verification of post-quantum key encapsulation mechanisms using Maude [Póster]. Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024. https://doi.org/10.32604/iasc.2023.039255.
García, V. et al. (2024) Modelling and verification of post-quantum key encapsulation mechanisms using Maude [Póster]. Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática. Available at: https://doi.org/10.32604/iasc.2023.039255.
V. García, S. Escobar, K. Ogata, S. Akleylek, and A. Otmani, “Modelling and verification of post-quantum key encapsulation mechanisms using Maude [Póster],” Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024, doi: 10.32604/iasc.2023.039255.
@misc{garcia2024modelling,
author = {García, Victor and Escobar, Santiago and Ogata, Kazuhiro and Akleylek, Sedat and Otmani, Ayoub},
title = {Modelling and verification of post-quantum key encapsulation mechanisms using Maude [Póster]},
year = {2024},
publisher = {Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática},
doi = {10.32604/iasc.2023.039255},
url = {https://doi.org/10.32604/iasc.2023.039255}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
