Milestones

List view

• M4 - Proof Engineering

  Develop and maintain machine checked proofs for the Bertie codebase. * Write a detailed formal specification of TLS 1.3 * Develop correctness proofs for Bertie * Develop security proofs for Bertie

  Overdue by 2 year(s)

  •

  Due by March 30, 2024

  •4/6 issues closed
  66% complete2 open4 closed