Intel funds a curriculum development project designing and validating protocols

Intel funds a curriculum development project that makes the design and validation of security protocols accessible to Undergraduate students.

Intel® Corporation is  funding a curriculum development project that will make the design and validation of security protocols accessible to Undergraduate students. Security  protocols are known as the hardest, few-line programs to get right. The project will make use of existing automated research tools that use formal methods for the validation of authentication and secrecy properties. The project deliverables will be open to the general public for usage at  http://www3.imperial.ac.uk/computing/teaching/security_protocol_design_and_analysis/ and will be developed by PI Prof Michael Huth and coPI Dr Emil Lupu.