project-everest/mitls-fstar

Issues

• Restore quicMinusNet using everquic-crypto

  #255 opened 2 years ago by tahina-pro
  0

• Document the roadmap of the project

  #252 opened 3 years ago by DemiMarie
  4

• Document where the actual work is happening

  #251 opened 3 years ago by DemiMarie
  0

• Custom setup using Cygwin and Ocaml Issue

  #246 opened 4 years ago by KristianOstrup
  4

• A memory and data model for miTLS

  #240 opened 5 years ago by nikswamy
  2

• Roadmap for a unified QUIC/TLS Multistream atop EverCrypt AEAD

  #227 opened 5 years ago by s-zanella
  17

• Upgrading configurations

  #235 opened 5 years ago by nikswamy
  0

• Verification infrastructure for table of connections

  #232 opened 5 years ago by s-zanella
  4

• TLS Local Encryption

  #236 opened 5 years ago by nikswamy
  0

• Tests towards replacing `Old.Handshake.recv_fragment`

  #231 opened 5 years ago by nikswamy
  1

• Tracking performance issues in the build of miTLS

  #230 opened 5 years ago by msprotz
  0

• Are the build instructions using docker out of date?

  #226 opened 5 years ago by dreemkiller
  7

• libquiccrypto build

  #223 opened 6 years ago by msprotz
  0

• Add a comment near the top of auto-generated files

  #222 opened 6 years ago by msprotz
  0

• Upgrade Extension and HandshakeMessage types to QD parsers

  #218 opened 6 years ago by ad-l
  1

• Plan for low-level Handshake and HandshakeLog

  #219 opened 6 years ago by aseemr
  0

• Garbage Collection

  #215 opened 6 years ago by CarolineMathieson
  1

• FFI_mitls_quic_process() fails if the inBuf param is NULL, even if the inBufLen is 0

  #188 opened 6 years ago by BarryBo
  0

• error handling in dll

  #213 opened 6 years ago by CarolineMathieson
  1

• Test is not run in the MSVC configuration

  #212 opened 6 years ago by msprotz
  8

• Alert code path causes app termination

  #208 opened 6 years ago by CarolineMathieson
  0

• 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 7 years ago by oweisse-msft
  0

• miTLS server potentially mishandle "signature_algorithms" extension given by ClientHello

  #180 opened 7 years ago by oweisse-msft
  1

• Server will always sign CertificateVerify with last given SignatureScheme in ClientHello

  #181 opened 7 years ago by oweisse-msft
  1

• miTLS server HelloRetryRequest contains server_version=0x0304, hence doesn't work against NSS

  #183 opened 7 years ago by oweisse-msft
  1

• miTLS server rejects a retried ClientHello which seems to be legal

  #184 opened 7 years ago by oweisse-msft
  2

• fstar --indent

  #194 opened 7 years ago by fournet
  0

• Debug printing

  #156 opened 7 years ago by sishtiaq
  1

• Revive TestClient

  #157 opened 7 years ago by sishtiaq
  1

• No need to ` (defadvice message` anymore

  #158 opened 7 years ago by cpitclaudel
  0

• Range.fst query takes a long time with z3 4.5.0, while goes through quickly with z3 nightly build (48e37b0e1603)

  #164 opened 7 years ago by aseemr
  4

• Cannot connect to miTLS

  #168 opened 7 years ago by herbertschulz
  4

• Cannot connect to miTLS

  #167 opened 7 years ago by herbertschulz
  0

• Risk of stack overflow while using buffer_utils_memset

  #166 opened 6 years ago by msprotz
  1

• miTLS server responds to bad_certificate alert with encrypted alert of decryption_failed_RESERVED

  #177 opened 7 years ago by oweisse-msft
  3

• miTLS API may confuse developers to write software which may be vulnerable to replay attacks

  #187 opened 7 years ago by oweisse-msft
  1

• Re-ordering the "supported_versions" extension in ClientHello causes internal_error alert from the server

  #173 opened 7 years ago by oweisse-msft
  1

• No alert emitted on decryption failure of server encrypted response after ServerHello

  #174 opened 7 years ago by oweisse-msft
  1

• miTLS and NSS servers emit different alerts when manipulating EncryptedExtensions

  #175 opened 7 years ago by oweisse-msft
  2

• miTLS client does not emit alert when encrypted handshakes are shuffled

  #176 opened 7 years ago by oweisse-msft
  2

• Client will always offer TLS 1.2, regardless of configuration via FFI_mitls_configure

  #182 opened 7 years ago by oweisse-msft
  1

• miTLS server does not enforce max_early_data of a ticket properly

  #185 opened 7 years ago by oweisse-msft
  1

• Support NPN Application Extension

  #171 opened 7 years ago by BarryBo
  1

• miTLS2C: Tracking Issue

  #186 opened 7 years ago by jroesch
  2

• mipki.h is missing calling convention information for function prototypes

  #189 opened 7 years ago by BarryBo
  2

• Drop10 is missing libmipki.lib

  #190 opened 7 years ago by BarryBo
  1

• miTLS client send key share of type x22519, regardless of configuration done via FFI_mitls_configure_named_groups

  #179 opened 7 years ago by oweisse-msft
  2

• Implement Extensions

  #163 opened 7 years ago by sishtiaq
  1

• Del unused branches

  #154 opened 8 years ago by sishtiaq
  1

• Separate integrity from confidentiality in AEAD

  #153 opened 8 years ago by markulf
  0