Daly Brown
|
707e60aa79
|
Address gnatprove issues in tls client
|
2024-04-08 19:40:06 -04:00 |
|
Joakim Strandberg
|
f49ffc0353
|
The implementations of the tls client and server applications can now be formally verified by the SPARK tools.
|
2023-07-14 20:30:34 +02:00 |
|
Joakim Strandberg
|
45d8a5b04c
|
Ada version of TLS v1.3 client application implemented
|
2023-07-13 16:49:22 +02:00 |
|
David Garske
|
d20a096ffa
|
Ada Bindings for wolfSSL. Credit Joakim Dahlgren Strandberg <joakimds@kth.se>
|
2023-07-12 12:37:52 -07:00 |
|