1
Fork 0

Website: note

This commit is contained in:
Nadim Kobeissi 2025-06-26 18:55:21 +02:00
parent 6d7131bc38
commit aff89669a4
Signed by: nadim
SSH key fingerprint: SHA256:o0JJHYcP8LVBoARMU+JjVbzJxL3HxW2F+C0yu/5zPgc

View file

@ -503,7 +503,6 @@
<h5><i class="icon ph-duotone ph-book-open-text"></i>Required Readings</h5>
<ul>
<li><i class="icon ph-duotone ph-book"></i><em>The Joy of Cryptography</em>, Chapter 17: Encrypted Messaging &amp; Ratcheting.</li>
<li><em>More to be added soon!</em></li>
</ul>
<h5><i class="icon ph-duotone ph-file-plus"></i>Optional Readings</h5>
<ul>
@ -557,6 +556,7 @@
<ul>
<li><i class="icon ph-duotone ph-scroll"></i>Project Everest Team, <a href="papers/#everest-perspectives"><em>Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software</em></a>, Microsoft Research, 2025.</li>
<li><i class="icon ph-duotone ph-scroll"></i>Martin R. Albrecht and Kenneth G. Paterson, <a href="papers/#wild-cryptography"><em>Analysing Cryptography in the Wild: A Retrospective</em></a>, IEEE Security &amp; Privacy, 2024.</li>
<li>Note to self: Cryspen blog is worth a skim before starting to plan the session</li>
</ul>
</div>
</div>