A Characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
Place
Location: Trieste - Italy
Room: Leonardo da Vinci Building Main Lecture Hall
Date:
27 Aug 09:20 - 09:50
Timetable | Contribution List
Organizers
Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche