[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 attached. 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: hacspec IETF 101 (3).pdf
Type: application/pdf
Size: 320338 bytes
Desc: not available
URL: <http://moderncrypto.org/mail-archive/hacspec/attachments/20180319/7f8e181c/attachment-0001.pdf>
-------------- next part --------------


The feedback 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