<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hello All,<br class=""><div><div class=""><div class=""><br class="">I just gave a short high-level talk at the IETF/CFRG on hacspec, asking for help and feedback.<br class="">My slides are on the github repo, here: <a href="https://github.com/HACS-workshop/hacspec/blob/master/doc/hacspec-short-talk-CFRG-IETF-101.pdf" class="">https://github.com/HACS-workshop/hacspec/blob/master/doc/hacspec-short-talk-CFRG-IETF-101.pdf</a><br class=""><br class="">The feedback from the group was quite positive, and I got the following specific questions/comments:<br class=""><br class="">(1) how can we specify crypto security for primitives<br class="">(2) how can we specify/enforce side channel guarantees <br class="">(3) where can we find the full language definition<br class="">(4) it would be good to have translations to C/C#/Java<br class=""><br class="">Comments and questions welcome, on the slides, the response, and the new specification style in the hacspec repository.<br class=""><br class="">Best regards,<br class="">Karthik</div></div></div><br class=""></body></html>