Oct 03

Seminar: Frederic Lafitte “On the automated analysis of cryptographic algorithms and protocols using SAT solvers” (October 14, 2013)

October 14, 2013 – 13.00 – Computer Department Seminar Room – NO Building, 8th floor (2N8.202)

Speaker : Frederic Lafitte (ERM & ULB)

Title : On the automated analysis of cryptographic algorithms and protocols using SAT solvers