The PGP Key Server

As a consequence, the OpenPGP community decided to implement a new server framework that manages the access to public keys. The new official server is called HAGRID, it is a open source, and it is already in production. The project is written in the programming language Rust and comprises some 6,000 lines of code in total. This implementation is the reference implementation of the server.

For citation, please use the following publication:

@incollection{HuismanMontiUlbrichWeigl2020,
  author =       {Marieke Huisman and  Ra{\'u}l Monti and Mattias Ulbrich
                  and  Alexander Weigl},
  title =        {The VerifyThis Collaborative Long Term Challenge},
  editor =       {Ahrendt, Wolfgang and Beckert, Bernhard and Bubel,
                  Richard and H{\"a}hnle, Reiner and Ulbrich, Mattias},
  bookTitle =    {Deductive Software Verification: Future
                  Perspectives: Reflections on the Occasion of 20
                  Years of KeY},
  year =         2020,
  month =        dec,
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer},
  volume =       {12345},
  part =         {IV: Feasibility and Usability},
  chapter =      {10},
  pages =        {246--260},
  isbn =         {978-3-030-64354-6},
  doi =          {10.1007/978-3-030-64354-6_10},
  url =          {https://doi.org/10.1007/978-3-030-64354-6_10}
}

Challenge Description ∣ Informal Proceedings ∣ Call For Papers

Verification Contributions

Alternative Implementations