[hacspec] Talk at IETF/CFRG

[Karthikeyan Bhargavan]

Hello All,

I just gave a short high-level talk at the IETF/CFRG on hacspec, asking for help and feedback.
My slides are on the github repo, here: https://github.com/HACS-workshop/hacspec/blob/master/doc/hacspec-short-talk-CFRG-IETF-101.pdf <https://github.com/HACS-workshop/hacspec/blob/master/doc/hacspec-short-talk-CFRG-IETF-101.pdf>

The feedback from the group was quite positive, and I got the following specific questions/comments:

(1) how can we specify crypto security for primitives
(2) how can we specify/enforce side channel guarantees 
(3) where can we find the full language definition
(4) it would be good to have translations to C/C#/Java

Comments and questions welcome, on the slides, the response, and the new specification style in the hacspec repository.

Best regards,
Karthik

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://moderncrypto.org/mail-archive/hacspec/attachments/20180319/c8fd6cb6/attachment.html>