I spoke at the <a href="https://protecs-workshop.gitlab.io/">ProTeCS 2026</a> workshop, about the philosophical approach to provable security that I adopted in <i>The Joy of Cryptography</i>.
<ul>
    <li> <b><a href="all.pdf">slides</a></b> </li>

    <li> interactive visualizations of security proofs:
        <ul>
            <li><a href="prg-feedback.hyb.html">PRG feedback</a> (<a href="prg-feedback.hyb.txt">src</a>)</li>
            <li><a href="prf-enc-cpa.hyb.html">PRF-based CPA encryption</a> (<a href="prf-enc-cpa.hyb.txt">src</a>)</li>
            <li><a href="cbc-mac.hyb.html">2-block CBC-MAC</a> (<a href="cbc-mac.hyb.txt">src</a>)</li>
            <li><a href="elgamal-cca.hyb.html">hashed El Gamal CCA KEM from gap CDH</a> (<a href="elgamal-cca.hyb.txt">src</a>)</li>
        </ul>
    </li>
</ul>

--<br>
<i><a href="https://garbledcircus.com">Mike Rosulek</a></i>