I want to announce a side-meeting which is highly relevant to the community working on formal modelling of the TLS protocol.
Tuesday 11:00 - 12:30 https://trello.com/c/iYLKvLxO/29-11-1230-model-based-testing-of-non-deterministic-systems-the-case-of-tls
_______________________________________________ TLS mailing list -- [email protected] To unsubscribe send an email to [email protected]
