Markulf Kohlweiss
Markulf Kohlweiss
We made progress on the use of idealization flags and their handling in Kremlin. Can someone summarize? @protz @fournet Should this issue be assigned to a milestone?
The current goal is to wrap all of this modules into a mini handshake KeySchedule.fst module.
@ad-l is this issue closed with the implementation of the stateful key schedule? Presumably we lost some modularity in the verification compared to the previous version of miTLS, do we...
@ad-l @sishtiaq I updated the issue, to track idealization and verification of the key schedule.
@ad-l Can you comment on this? Added you as an assignee as you really did most of the work on integrating these files into the keyschedule.
Our focus was on the record. I don't know how ambitious our goals are on this for M1 beyond interoperability?
Also ran into this problem. What is the easiest workaround? Manually install cygwin and the required packages, which are those? See the `If you already have Cygwin64 installed` section on...