Formal and Cryptographic Methods for Information Security Website
Course on Formal and Cryptographic Methods for Information Security, HS 2007, ETH ZurichGeneral InformationLecturerRalf Küsters ProgramInformatik Vertiefung, Major-Programm Information Security,