Analysis and verification of code-based key encapsulation mechanism BIKE in Maude | Publicación