Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Implements sending PQ named groups for TLS 1.3
type/post-quantum
#2204
opened Aug 4, 2020 by
bbutch
•
Review required
Adds initial CBMC proofs for s2n_array and s2n_set
CBMC
#2193
opened Jul 30, 2020 by
feliperodri
•
Changes requested
Update the default keyshare list sent by the client
#2190
opened Jul 29, 2020 by
ttjsu-aws
•
Review required
Implement client-side receiving of hybrid PQ key share extension for tls1.3
type/post-quantum
#2189
opened Jul 29, 2020 by
bbutch
•
Review required
Add tests and fix s2n_record_min_write_payload_size() calculations
#2181
opened Jul 26, 2020 by
zz85
•
Changes requested
Ensure s2n_rand_cleanup_thread will not prevent the random util to reallocate
#2135
opened Jul 13, 2020 by
SmileWuji
•
Review required
Add s2n_config_set_security_policy and s2n_connection_set_security_policy
#2086
opened Jun 29, 2020 by
rday
•
Review required
Remove test only flag for subset keyshare(s) support
#2032
opened Jun 17, 2020 by
ttjsu-aws
•
Review required
Adds --pointer-primitive-check flag on CBMC proofs
CBMC
#2031
opened Jun 16, 2020 by
feliperodri
•
Draft
Updates s2n_blob and s2n_stuffer validity functions
CBMC
#1990
opened Jun 5, 2020 by
feliperodri
•
Draft
ci: Update CodeBuild to use latest ubuntu image.
ops-backlog
#1929
opened May 22, 2020 by
dougch
•
Review required
22 of 23
Previous Next
ProTip!
Updated in the last three days: updated:>2020-08-03.