Dear all,
My colleagues and I will be working on the EAP-NOOB protocol during the
hackathon. Feel free to join our table!
Please find the project details below or in the hackathon wiki
https://trac.ietf.org/trac/ietf/meeting/wiki/104hackathon.
*
Champions:
o Aleksi Peltonen
Hi Thien Nguyen,
Thank you for your interest in hacking with our group during the
hackathon, I look forward to working with you!
I'm happy to help you debug this issue, but let's take this separately
off-the-mailing list. If we find some issues in the spec that need to be
addressed, we can b
I support adoption of this draft. I have verified previous versions of
the protocol with both mCRL2 (safety and liveness properties) and
ProVerif (security properties). I am planning on updating the models as
the specification evolves after adoption.
- Aleksi
On 18/04/2020 23:13, Joseph Salow
I think the draft is ready. I was involved in the formal modeling of the
protocol with both ProVerif and mCRL2. All issues discovered from the
modeling phase have been addressed in the current draft. I am also
working on modeling other protocols, including EAP methods, and will
share my results
