Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/elniak/toward-verification-of-quic-extensions
Formal methods play an important role in validating networking protocols. During the development of TLS 1.3, formal methods have helped to identify several issues with draft versions of the protocol that have been fixed before finalising the protocol. In the transport layer, the QUIC protocol has been proposed to replace the HTTP/TLS/TCP stack. This protocol is being finalised within the IETF and deployed by Google, Cloudlfare, Facebook and many others.
https://github.com/elniak/toward-verification-of-quic-extensions
correctness extension formal-specification network protocol quic testing thesis verification
Last synced: about 1 month ago
JSON representation
Formal methods play an important role in validating networking protocols. During the development of TLS 1.3, formal methods have helped to identify several issues with draft versions of the protocol that have been fixed before finalising the protocol. In the transport layer, the QUIC protocol has been proposed to replace the HTTP/TLS/TCP stack. This protocol is being finalised within the IETF and deployed by Google, Cloudlfare, Facebook and many others.
- Host: GitHub
- URL: https://github.com/elniak/toward-verification-of-quic-extensions
- Owner: ElNiak
- Created: 2020-06-23T15:56:56.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2021-12-30T16:19:53.000Z (about 3 years ago)
- Last Synced: 2024-12-12T04:42:53.561Z (about 1 month ago)
- Topics: correctness, extension, formal-specification, network, protocol, quic, testing, thesis, verification
- Homepage:
- Size: 3.39 GB
- Stars: 5
- Watchers: 2
- Forks: 2
- Open Issues: 0