... 119991, Moscow, GSP-1, Leninskiye Gory, MSU, 2nd Educational Building, CMC Faculty, rooms 590, 591 (Head of the laboratory), 62 . The Laboratory was established in 2001 to provide teaching and research in mathematical foundations of cryptography, cryptoanalysis, information and software security. ... The Laboratory of Mathematical Problems of Computer Security is performing a thorough research on mathematical problems in cryptoanalysis, information security, and program verification. ...