Vol-3279⫷ Vol-3280 ⫸Vol-3281
urn:nbn:de:0074-3280-0


Vol-3280/paper1⫷Vol-3280/paper2⫸Vol-3280/paper3
Duong Dinh TranKazuhiro Ogata 0001Santiago Escobar 0001Sedat AkleylekAyoub Otmani

Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude