microsoft
/
CCF
зеркало из https://github.com/microsoft/CCF.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
4 242 коммитов 9 Ветки 293 Теги 982 MiB
Граф коммитов

4242 Коммитов

Автор SHA1 Сообщение Дата
Eddy Ashton 7ad8fb7e88
Trim SGX-specific packages from playbooks (#6617) 2024-11-07 19:15:25 +00:00
Max 005b5cd9e3
Make plain data encryption conditional (#6610) 2024-11-07 13:12:25 +00:00
Amaury Chamayou 75732648c1
Any cert authn policy (#6608) 
Co-authored-by: Eddy Ashton <ashton.eddy@gmail.com>
 2024-11-06 15:08:37 +00:00
Max dad86f8a48
OpenSSL 3.3: proper public key loading for EC keys (#6613) 
Co-authored-by: Eddy Ashton <ashton.eddy@gmail.com>
 2024-11-05 17:59:00 +00:00
Max f1bd349ba7
Fix accessing invalid iterator in historical state (#6609) 2024-11-04 23:16:07 +00:00
Amaury Chamayou 09669ad836
Extend set_unprotected_header() to allow setting an empty header, and verify_receipt() to check claim_digest (#6607) 2024-11-04 11:47:28 +00:00
Amaury Chamayou 79ffcdbc36
Cose receipts verify (#6603) 2024-10-31 10:22:07 +00:00
Max 35560e91c4
Remove secp256k as unsupported by symcrypt on Mariner (#6602) 2024-10-30 10:20:13 +00:00
Max 9131061c52
Fix header parser comparator (#6598) 2024-10-29 07:17:44 +00:00
Max d45f699887
Fix openssl cmd spaces on Azure Linux (#6597) 2024-10-29 07:17:03 +00:00
Amaury Chamayou 8ed323721f
Remove unused SSHRemote (#6596) 2024-10-29 07:16:37 +00:00
Amaury Chamayou 6e08bcab4d
Misc documentation fixes (#6590) 2024-10-25 11:15:00 +00:00
Amaury Chamayou 1bf76ddd7e
Add API to allow setting unprotected headers (#6586) 
Co-authored-by: Max <maxtropets@gmail.com>
 2024-10-24 15:03:29 +00:00
Max da1b2adbd5
COSE built-in maps cross-links to CDDL schema files (#6585) 2024-10-22 12:39:30 +00:00
Max 843a483598
Test-cover COSE-based signatures schemas with CDDL (#6569) 
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2024-10-21 17:13:13 +00:00
Amaury Chamayou d3ba218586
Set and enforce VMPL in SNP attestation (#6583) 2024-10-21 15:02:36 +01:00
Amaury Chamayou 94f65a2b85
Build on Azure Linux 3.0 (#6567) 2024-10-21 12:10:03 +00:00
Amaury Chamayou 65fe3d896e
Remove experimental gRPC support (#6572) 2024-10-18 09:52:03 +01:00
Amaury Chamayou 0d754f0b31
Add test to confirm service certificate refreshes do not disturb client connections (#6578) 2024-10-17 14:55:57 +01:00
Amaury Chamayou df70e25263
Switch to generic Python3 executable (#6575) 2024-10-17 12:52:31 +01:00
Amaury Chamayou 19561ddc2f
Ignore time in did:x509 resolve (#6576) 2024-10-17 10:51:32 +01:00
Heidi Howard 83c7fa2c72
Add CCF verification paper to webpage (#6571) 2024-10-16 13:06:26 +00:00
Heidi Howard 9df0534c76
Adding CCF smart casual verification paper (#6570) 2024-10-16 12:25:44 +00:00
Markus Alexander Kuppe 999ce8fb75
Adjust the probabilities based on empirical data to achieve less uneven coverage of the action space during simulation (#6562) 
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Co-authored-by: Amaury Chamayou <amaury@xargs.fr>
 2024-10-15 16:05:10 +00:00
Max dae8c2517b
IAT claim in cose sign (#6565) 2024-10-15 12:22:14 +00:00
Max 1bd7f8c3c5
Fix cose sign struct in doc (#6566) 2024-10-14 16:04:41 +00:00
Max c7325707eb
Fix memory corruption for COSE headers construction (#6564) 2024-10-14 13:23:05 +00:00
Max 0292e12c14
COSE endorsements shall include previous epoch root (#6555) 2024-10-11 15:18:16 +00:00
Max 5f78120de7
Release job should upload test logs on failure (#6557) 2024-10-10 20:21:55 +00:00
Max ef1b7c70ae
Labelled jobs were skipped on schedule triggers (#6556) 2024-10-10 20:17:55 +00:00
Amaury Chamayou 6416770d86
Upgrade fmtlib from 10.2.1 to 11.0.2 (#6551) 2024-10-09 21:01:21 +00:00
Amaury Chamayou 79c6681ba9
Libstdc++ compatibility (#6552) 2024-10-09 21:01:07 +00:00
Max b4ceb70997
COSE back-endorsements for previous service identities (#6510) 
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
Co-authored-by: Amaury Chamayou <amaury@xargs.fr>
 2024-10-09 11:50:02 +00:00
Markus Alexander Kuppe b96daa8d6a
Check high-level liveness properties in simulation mode (#6545) 
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2024-10-09 11:47:03 +00:00
Markus Alexander Kuppe d7cf62f5e1
Strengthen various *TypeInvs by defining every function's domain. (#6544) 
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2024-10-09 11:23:54 +00:00
Amaury Chamayou d61931a4ab
Remove setuptools_scm and set version in pyproject.toml (#6550) 2024-10-09 11:53:58 +01:00
Amaury Chamayou c70e2be956
Release notes for 6.0.0-dev1 (#6542) 2024-10-08 14:04:18 +01:00
Amaury Chamayou 0b466fd309
Correct and enforce schema on CBOR proofs (#6520) 2024-10-08 12:24:07 +00:00
Amaury Chamayou 842895434b
Allow manual trigger of long test on branches (#6541) 2024-10-08 12:18:21 +00:00
Amaury Chamayou 521f80a7f9
Allow manual runs of long verification (#6536) 2024-10-08 11:33:56 +01:00
Amaury Chamayou 0bcb4876f8
Upgrade to build-08-10-2024 (#6540) 2024-10-08 11:31:47 +01:00
Amaury Chamayou 8398a6ba45
Global gem install (#6539) 2024-10-08 09:42:36 +01:00
Amaury Chamayou 2e43bf47bc
Update CI image to build-07-10-2024-2 (#6534) 2024-10-07 23:09:14 +01:00
Heidi Howard 9e7fb2d3b0
Limiting the terms reached by ProposeVote (#6535) 2024-10-07 21:05:46 +00:00
Amaury Chamayou 261602dc46
Shorten MC run in CI verification to fit in CI timescale (#6531) 2024-10-07 19:26:40 +00:00
Markus Alexander Kuppe 2d4f690869
Remove redefinitions of Terms in refinement mapping. (#6533) 
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
 2024-10-07 15:12:31 +00:00
Amaury Chamayou 874c3d4726
Update devcontainer.json to enable cdot by default (#6530) 2024-10-07 13:00:07 +01:00
Amaury Chamayou afd37ec3fe
Upgrade CI image from 25-07-2024 to 07-10-2024 (#6528) 2024-10-07 12:59:53 +01:00
Amaury Chamayou 81943ea889
Remove SGX base image building (#6525) 2024-10-04 15:02:54 +01:00
Amaury Chamayou d00e7629bd
Finding the right package for ruby gem/gems (#6524) 2024-10-04 14:16:20 +01:00