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

Issues: project-everest/mitls-fstar

70 Open 115 Closed
70 Open 115 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Restore quicMinusNet using everquic-crypto
#255 opened Aug 8, 2022 by tahina-pro
@ad-l
Document the roadmap of the project
#252 opened Dec 16, 2021 by DemiMarie
4
Document where the actual work is happening
#251 opened Dec 16, 2021 by DemiMarie
Custom setup using Cygwin and Ocaml Issue
#246 opened Oct 14, 2020 by KristianOstrup
4
A memory and data model for miTLS
#240 opened Nov 5, 2019 by nikswamy
11 of 16 tasks
2
TLS Local Encryption v1
#236 opened Aug 9, 2019 by nikswamy
@fournet @tahina-pro
Upgrading configurations v1
#235 opened Aug 8, 2019 by nikswamy
@ad-l @fournet @tahina-pro
Verification infrastructure for table of connections verification
#232 opened Jul 23, 2019 by s-zanella Everest V1
@s-zanella
4
Tests towards replacing Old.Handshake.recv_fragment
#231 opened Jul 19, 2019 by nikswamy
@aseemr @R1kM @tahina-pro
1
Tracking performance issues in the build of miTLS
#230 opened Jul 1, 2019 by msprotz
Roadmap for a unified QUIC/TLS Multistream atop EverCrypt AEAD documentation Epic idealization
#227 opened May 9, 2019 by s-zanella
7 of 16 tasks
@s-zanella @ad-l @fournet
17
Are the build instructions using docker out of date?
#226 opened May 2, 2019 by dreemkiller
7
libquiccrypto build
#223 opened Mar 29, 2019 by msprotz
Add a comment near the top of auto-generated files
#222 opened Mar 14, 2019 by msprotz
@tahina-pro
Plan for low-level Handshake and HandshakeLog
#219 opened Dec 21, 2018 by aseemr
4 tasks
Upgrade Extension and HandshakeMessage types to QD parsers
#218 opened Dec 20, 2018 by ad-l
10 of 15 tasks
1
error handling in dll
#213 opened Aug 23, 2018 by CarolineMathieson
@ad-l
1
Test is not run in the MSVC configuration
#212 opened Aug 14, 2018 by msprotz
8
Alert code path causes app termination
#208 opened Jun 15, 2018 by CarolineMathieson
fstar --indent
#194 opened Feb 28, 2018 by fournet
miTLS API may confuse developers to write software which may be vulnerable to replay attacks
#187 opened Aug 11, 2017 by oweisse-msft
@fournet
1
miTLS server does not enforce max_early_data of a ticket properly
#185 opened Aug 4, 2017 by oweisse-msft
@fournet
1
Client will always offer TLS 1.2, regardless of configuration via FFI_mitls_configure
#182 opened Jul 25, 2017 by oweisse-msft
@fournet
1
Removing request-context from the encrypted certificate (sent by the server) causes a decode_error on NSS client while it only cause a “bad_certificate” error on miTLS client.
#178 opened Jul 19, 2017 by oweisse-msft
miTLS server responds to bad_certificate alert with encrypted alert of decryption_failed_RESERVED
#177 opened Jul 19, 2017 by oweisse-msft
@fournet
3
ProTip! no:milestone will show everything without a milestone.