International Conference on the Future of Standards in CyberSecurity

Sep 17, 2020

Marco Peressotti gave an invited talk at the International Conference on the Future of Standards in CyberSecurity organised by the Polish Institute of Telecomunications in collaboration with the International Standards Organisation, the International Electrotechnical Commission, and the Polish Chamber of Commerce for Electronics and Telecommunications.

Peressotti presented the novel approach to obtaining correct-by-construction implementations of multiparty protocols of Choral and its potential for policy makers, researchers, practitioners, and educators in the field of cybersecurity.