This repository has been archived by the owner on Jun 17, 2024. It is now read-only.

Write a verified parser and pretty-printer generator for the "Presentation Language" of TLS RFCs #82

Closed

s-zanella opened this issue Jun 21, 2016 · 1 comment

Assignees

Labels

enhancement verification

Milestone

Milestone #1 (curl)

Contributor

s-zanella commented Jun 21, 2016 •

edited

Loading

As suggested by @adl.

This would greatly simplify writing and verifying parsing and serializing functions in TLSConstants, HandshakeMessage, etc.

See https://github.com/richsalz/tlsparser for a tool that does some of this things.

s-zanella added the enhancement label

ad-l self-assigned this

ad-l added this to the Milestone #1 (curl) milestone

s-zanella added the verification label

Contributor

ad-l commented Dec 20, 2018

Technically, this is finally complete... see #218 for tracking integration progress

ad-l closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.