PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
April 7, 20260 citationsOpen Access

Formal specification and security verification of post-quantum OpenPGP in CafeOBJ

View Full Paper
TBTrong Hoang Binh

Key Points

  • The central aim is to develop a secure version of OpenPGP utilizing post-quantum cryptography to withstand quantum attacks.
  • Implemented the OpenPGP standard with post-quantum cryptographic algorithms.
  • Utilized CafeOBJ for formal specification and verification.
  • Developed security protocols resilient to quantum threats.
  • Demonstrated a formal specification of OpenPGP under post-quantum cryptography.
  • Verified security measures are effective against potential quantum attacks.

Abstract

PQ Open PGP is a project that implements the OpenPGP standard with Post-Quantum Cryptography (PQC) algorithms. This standard is proposed by the IETF (Internet Engineering Task Force) and is being developed to be resilient against attacks from quantum computers.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Trong Hoang Binh (2026) studied this question.

synapsesocial.com/papers/69d49fc5b33cc4c35a228444https://doi.org/10.5281/zenodo.19430506
Ask AI
Helpful
Bookmark
Share
View Full Paper