Formal Specification and Analysis of Post-quantum OpenPGP Protocol in CafeOBJ.

Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata

Browse the full SEKE paper archive.