Contribution
Trieste - Italy
-
Adriatico Guest House Kastler Lecture Hall
A Characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
Speakers
- CHUNMING YUAN
Primary authors
- CHUNMING YUAN (Academy of Mathematics and Systems Science, Beijing, P.R. of China)
Organizers
Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche