Modelling and verification of post-quantum key encapsulation mechanisms using Maude - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Víctor García, Santiago Escobar 0001, Kazuhiro Ogata 0001, Sedat Akleylek, Ayoub Otmani. Modelling and verification of post-quantum key encapsulation mechanisms using Maude. PeerJ Computer Science, 9, 2023. [doi]

This author has not been identified. Look up 'Víctor García' in GoogleThis author has not been identified. Look up 'Santiago Escobar 0001' in GoogleThis author has not been identified. Look up 'Kazuhiro Ogata 0001' in GoogleThis author has not been identified. Look up 'Sedat Akleylek' in GoogleThis author has not been identified. Look up 'Ayoub Otmani' in Google

runs on WebDSL