... Contact information . ... The Computer Systems Laboratory (CSL) is an academic department within the Faculty of Computational Mathematics and Cybernetics of the Moscow State University. ... Research performed in CSL encompasses the performance analysis and simulation of distributed computer systems, software verification, development of scheduling and optimization algorithms, IT security for embedded systems and computer networks. ... Finding software vulnerabilities in information systems. ...