index.html

---
layout: default
title: HACS Workshop
date: 2024-11-27
---

<p>
Recent years have seen major advances in the application of formal methods and other high assurance verification techniques to software.
At the same time, there’s been a rapid increase in the use of cryptography to protect civil society and critical information systems.
</p>


<p>
We see these trends continuing to converge.
The importance and complexity of cryptographic software makes it an ideal application
for formal and high-assurance verification.
The Workshop on High Assurance Crypto Software (HACS) was launched in 2016
by Gilles Barthe, Ben Laurie, and Trevor Perrin to drive this convergence forward.
As a yearly event, we’ve been bringing the world’s best cryptographic developers
(from open source and industry) together with top experts in formal verification and high assurance methodologies.
The goal is to foster collaborations towards making cryptographic software flawless.
</p>


<h3>HACS organizers</h3>

<h4>HACS 2027 organizers</h4>
<ul>
  <li><a href="https://mbackendal.github.io/" target="_blank">Matilda Backendal</a>,</li>
  <li><a href="https://sofiaceli.com/" target="_blank">Sofía Celi</a>,</li>
  <li><a href="https://dconnolly.github.io/" target="_blank">Deirdre Connolly</a>,</li>
  <li><a href="https://fdupress.net/" target="_blank">François Dupressoir</a>,</li>
  <li><a href="https://aspirationtech.org/about/people/gunner" target="_blank">Allen Gunn</a>,</li>
  <li>Trevor Perrin,</li>
  <li><a href="https://jonathan.protzenko.fr" target="_blank">Jonathan Protzenko,</a></li>
  <li><a href="https://cathieyun.github.io/" target="_blank">Cathie Yun</a></li>
</ul>

<h4>HACS 2027 local organizers</h4>
<ul>
  <li>Jonathan Protzenko</li>
</ul>

<br>
The members of the HACS general committee are:
<ul>
  <li><a href="https://gbarthe.github.io/" target="_blank">Gilles Barthe</a>,</li>
  <li><a href="https://prosecco.gforge.inria.fr/personal/karthik/" target="_blank">Karthikeyan Bhargavan</a>,</li>
  <li><a href="https://sofiaceli.com/" target="_blank">Sofía Celi</a>,</li>
  <li><a href="https://dconnolly.github.io/" target="_blank">Deirdre Connolly</a>,</li>
  <li><a href="https://fdupress.net/" target="_blank">François Dupressoir</a>,</li>
  <li><a href="https://aspirationtech.org/about/people/gunner" target="_blank">Allen Gunn</a>,</li>
  <li>Diane Hosfelt,</li>
  <li><a href="https://twitter.com/BenLaurie" target="_blank">Ben Laurie</a>,</li>
  <li>Trevor Perrin,</li>
  <li><a href="https://jonathan.protzenko.fr" target="_blank">Jonathan Protzenko,</a></li>
  <li><a href="https://cryptojedi.org" target="_blank">Peter Schwabe</a>, and</li>
  <li><a href="https://cathieyun.github.io/" target="_blank">Cathie Yun</a>
</ul>

<h3>HACS 2027</h3>
<p>
HACS 2027 will be co-located with Real World Crypto in Seattle, USA, on April 2&ndash;3 plus an optional
&quot;hack day&quot; on the 4th.
HACS is an invite-only event, but for 2027 we accept self-nominations via applications over <a href="https://forms.gle/whqkTWx9MGN8d9z5A">here</a>.
<!-- You can read more about the workshop plans <a href="data/HACS_2026_Overview.pdf">here</a>. -->
</p>

<h3>Event Expectations / Code of Conduct</h3>
<p>
HACS is observing
<a href="https://aspirationtech.org/events/expectations">Aspiration’s Event Expectations</a>
as well as
<a href="https://facilitation.aspirationtech.org/index.php?title=Participants:Guidelines">Aspiration’s Participation guidelines</a>.
</p>

<!--
<h3>Sponsors of HACS 2023</h3>
<p>
HACS would not be possible without the generous support of our sponsors.
The following companies and organizations are supporting HACS 2024:
</p>

<div id="sponsors-box">
  <div>
	  <p>Lead sponsors:</p>
	  <ul id="lead-sponsors-box">
      <li><a href="https://www.amazon.com/"><p>Amazon</p></a></li>
      <li><a href="https://www.apple.com/"><p>Apple</p></a></li>
      <li><a href="https://www.google.com/"><p>Google</p></a></li>
      <li><a href="https://www.sandboxaq.com/"><p>SandboxAQ</p></a></li>
      <li><a href="https://signal.org/"><p>Signal</p></a></li>
		</ul>
	</div>

  <div>
	  <p>Other sponsors:</p>
	  <ul id="lead-sponsors-box">
      <li><a href="https://www.nccgroup.com/"><p>NCC Group</p></a></li>
      <li><a href="https://paulkocher.com/"><p>Paul Kocher</p></a></li>
		</ul>
	</div>
</div>
-->