«

»

Apr 12

Seminar: Frédéric Lafitte “A SAT-based analysis of authenticated encryption with associated data” (April 18, 2016)

April 18, 2016 – 12.30 – Computer Department Seminar Room – NO Building, 8th floor, room P.2NO8.08 (“salle Rotule”)

Speaker: Frédéric Lafitte (ERM & ULB)

Title: A SAT-based analysis of authenticated encryption with associated data