Víctor García

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Object Oriented Databases

Formal Specification

Colored Petri Nets

Top Venues

PeerJ Comput. Sci.

Publications

D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer
Protocol Dialects as Formal Patterns. ESORICS (2) (2023)
Víctor García, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek, Ayoub Otmani
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. PeerJ Comput. Sci. 9 (2023)
Víctor García, Santiago Escobar, Kazuhiro Ogata
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude. FAVPQC@ICFEM (2022)