Alley Stoughton<p>Interested in theoretical cryptography and/or formal methods? Boston University is hosting a summer school on Universally Composable Security and the EasyUC framework for formalizing UC models and proofs.</p><p>The school is from August 11 - 14, 2025. Registration is free, and we're supporting both in person and Zoom participation.</p><p>For more information and to register, visit:</p><p><a href="https://www.bu.edu/riscs/events/uc-easyuc-summer-school/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">bu.edu/riscs/events/uc-easyuc-</span><span class="invisible">summer-school/</span></a></p><p><a href="https://fosstodon.org/tags/Cryptography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Cryptography</span></a> <a href="https://fosstodon.org/tags/FormalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalMethods</span></a></p>