Modeling

URI permanente para esta colección:

https://hdl.handle.net/11705/PROLE/2023/MOD
Artículos en la categoría Modeling publicados en las Actas de las XXII Jornadas sobre Programación y Lenguajes (PROLE 2023).
Notificar un error en esta colección

Examinar

Envíos recientes

Mostrando 1 - 2 de 2
  • Miniatura
    Resumen
    Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude
    García, Víctor; Escobar, Santiago; Ogata, Kazuhiro. Actas de las XXII Jornadas sobre Programación y Lenguajes (PROLE 2023), 2023-09-12.
    Communication and information technologies shape the world’s systems of today, and those systems shape our society. The security of those systems relies on mathematical problems hard to solve for classical computers, that is, the available current computers. Recent advances in quantum computing threaten the security of our systems and the communications we use. In order to face this threat, multiple solutions and protocols have been proposed. Kyber is one of these protocols, and precisely it is a key encapsulation mechanism that bases its security in the learning with errors problem over module lattices. The presented work focuses on the analysis of Kyber to check its security under Dolev-Yao adversary assumptions. For that matter, we first learn about the current state of the solutions proposed against the threat of quantum adversaries and study how Kyber works. In the system-specification language Maude, we then construct a symbolic model to represent the behaviour of Kyber in a network. In this model, we conduct reachability analysis with the s e a r c h command and find that a Man-In-The-Middle attack is present. Then we use the Maude LTL logical model checker to extend the analysis of the system by proving if liveness and security properties hold. Conference name: FAVPQC 2022: International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols. Year of publication: 2022
  • Miniatura
    Resumen
    Building Information Modeling Using Constraint Logic Programming
    Arias, Joaquín; Carro, Manuel. Actas de las XXII Jornadas sobre Programación y Lenguajes (PROLE 2023), 2023-09-12.
    Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta: Building Information Modeling Using Constraint Logic Programming. Theory Pract. Log. Program. 22(5): 723-738 (2022) Presentado en ICLP 2022 (Haifa, Israel)