We will use state-of-the-art symbolic security analysis tool ProVerif for the specification of the protocol.
If you are around on any of the following venues of upcoming talks (in reverse chronological order) on topics related to the project, you are very welcome to join/meet.
| Event/Host | Venue | Date(s) | Funding | Material |
|---|---|---|---|---|
| IETF 122 | Bangkok, Thailand | 17-21 Mar, 2025 | Sponsors are invited | |
| IETF 122 Hackathon | Bangkok, Thailand | 15-16 Mar, 2025 | Sponsors are invited | |
| Research visit at University of Namur | Namur, Belgium | 3-7 Feb, 2025 | University of Namur | |
| Organizer Attestation devroom at FOSDEM | Brussels, Belgium | 1-2 Feb, 2025 | Sponsors are invited | |
| Attestation workshop | Brussels, Belgium | 31 Jan, 2025 | Sponsors are invited | slides |
| Invited talk at ICARC 2025 | Virtual | 17 Jan, 2025 | - | |
| CCC Attestation SIG | Virtual | 19 Nov, 2024 | - | video |
| IETF 121 | Dublin, Ireland | 4-8 Nov, 2024 | CCC | Hot RFC slides and video, Tutorial plan, Tutorial slides, UFMRG slides and video, RATS slides and video TLS slides and video (presented by Hannes) |
| IETF 121 Hackathon | Dublin, Ireland | 2-3 Nov, 2024 | CCC | Hackathon project, slides, demo and video |
| HASP 2024 co-located with MICRO 2024 | Austin, USA (Virtual) | 2 Nov, 2024 | Sponsors are invited | slides |
| CCC Attestation SIG | Virtual | 22 October, 2024 | - | video |
| CCC Attestation SIG | Virtual | 8 October, 2024 | - | video |
| Invited talk at Intel | Virtual | 8 October, 2024 | - | slides |
| IETF RATS Virtual Interim | Virtual | 27 Sep, 2024 | - | slides, video |
| Confidential Computing MC @ Linux Plumbers Conference (LPC) | Vienna, Austria | 20 Sept, 2024 | LPC Organizers | slides, video |
| PAVeTrust with FM2024 | Milan, Italy | 9 Sept, 2024 | TBTL | slides |
| Invited talk at Arm | Cambridge, UK | 30 Aug, 2024 | EuroProofNet | slides |
| Research visit at Heriot-Watt University | Edinburgh, UK | 26-28 Aug, 2024 | EuroProofNet | - |
| CCC Attestation SIG | Virtual | 27 August, 2024 | - | video |
| CCC Attestation SIG | Virtual | 30 July, 2024 | - | video |
| IETF 120 | Vancouver, Canada | 22-26 July, 2024 | CCC | Tutorial plan, Tutorial slides, Confidential workloads slides, UFMRG slides and video |
| IETF 120 Hackathon | Vancouver, Canada | 20-21 July, 2024 | CCC | Hackathon project, slides, demo and video |
| CCC Attestation SIG | Virtual | 16 July, 2024 | - | video |
| 17th Interaction and Concurrency Experience (ICE) | Groningen, The Netherlands | 21 June, 2024 | partly by Deepvertise and DISCOTEC organizers | slides |
| Dresden Science Night 2024 | Dresden, Germany | 14 June, 2024 | - | demo |
| Output 2024 | Dresden, Germany | 13 June, 2024 | - | lecture demo |
| Confidential Computing Summit 2024 (presented by Thomas Fossati) | San Francisco, USA | 5-6 June, 2024 | - | abstract slides video |
| CCC Attestation SIG | Virtual | 4 June, 2024 | - | video |
| Hackathon on Lightweight IoT Security | Paris, France | 21-22 May, 2024 | nuant | side meeting slides |
| Attested TLS workshop @ Linaro Connect | Madrid, Spain | 16-17 May, 2024 | nuant | slides1 video1 slides2 video2 minutes |
| 2024 OCP Regional Summit (co-presented with Yogesh Deshpande) | Lisbon, Portugal | 24-25 April, 2024 | Swisstronik and softwEre education | slides video |
| 11th Workshop on Horn Clauses for Verification and Synthesis | Luxembourg | 7 April, 2024 | CCC/Veraison | slides |
| 2024 Annual Meeting of the WG "Formal Methods in Security" | Saint Pierre d’Oléron, France | 3-5 April, 2024 | CPEC | slides |
| NSA Symposium on Hot Topics in the Science of Security (HotSoS) 2024 | Virtual | 3 April, 2024 | - | slides video |
| EuroProofNet Tutorial on Usable Formal Methods for Security of Systems | Dresden, Germany | 28 March, 2024 | - | slides video |
| Crypto Forum Research Group (CFRG) @ IETF Meeting 119 | Brisbane, Australia (Virtual) | 18 March, 2024 | - | slides video |
| Poster presentation at CPEC Spring meeting | Saarbrucken, Germany | 15 March, 2024 | CPEC | poster |
| Invited talk at University of Luxembourg | Luxembourg | 11-12 March, 2024 | APSIA @ University of Luxembourg | slides |
| Talk at EZAG Colloquium | Dresden, Germany | 8 Feb, 2024 | - | slides |
| CCC Attestation SIG | Virtual | 30 January, 2024 and 13 February, 2024 | - | slides video |
We would love to have your contributions and feedback (especially critique! yes, this is how the science progresses, but please be genuine!). Contact Muhammad Usama Sardar on CCC Slack Workspace, or by email, or open an issue.