| rus | eng |

Reznik Sergey Alexandrovich

Citizenship: Russia Address academic (office): 22a, 10th Krasnoarmeyskaya ul., St.-Petersburg, 190103, Russia Tel.: +7-(812)-334-6101 Fax: +7-(812)-334-6238 Position:Ph.D. student Sergey Alexandrovich Reznick, Master of Computer Science, PhD student of Computer Security Group of the St. Petersburg Institute for Informatics and Automation of the Russian Academy of Science (Scientific advisor – prof. Igor Kotenko), graduated from Mathematics and Mechanics Department of St. Petersburg State University in 1996. Primary employer is Sun Microsystems Inc. E-mail: Sergey[DOT]Reznick[AT]sun[DOT]com http://comsec.spb.ru/reznik/

Top 

Top 

Current Grants and Projects

• Igor Kotenko (Principal Investigator). “Mathematical Models, Methods and Algorithms of Proactive Protection against Malware in Computer Networks and Systems”. Program "Architecture, system solutions, software, standardization and information security of computer complexes of new generations" of the Russian Academy of Sciences Branch "Nanotechnologies and Information Technologies", 2009-2011 (Researcher).

Former Projects

• Igor Kotenko (Principal Investigator). Project on demand of Section of Applied Problems of Russian Academy of Sciences. Governmental contract, 2008-2009 (Researcher).
• Igor Kotenko (Principal Investigator“Models and methods of construction and functioning support of intelligent adaptive security systems based on modeling and simulation of security systems behavior, realization of verified security policies, security evaluation and proactive monitoring”. Research grant # 07-01-00547 of Russian Foundation of Basic Research, 2007-2009 (Researcher).
  Report-07-01-00547a-2007short.pdf [application/pdf] (193198 bytes)
  Report-07-01-00547a-2008short.pdf [application/pdf] (205945 bytes)
  Report-07-01-00547a-2009short.pdf [application/pdf] (943498 bytes)
• Igor Kotenko (Principal Investigator from SPIIRAS). “Remote EnTrusting by RUn-time Software authentication (RE-TRUST)”. Research Project of the European Community sixth framework program, 2006-2009 (Researcher).
• Igor Kotenko (Principal Investigator from SPIIRAS). “Policy-based Security Tools and Framework (POSITIF)”. Research Project of the European Community sixth framework program. Contract # IST-2002-002314, 2003-2007 (Researcher).

Top 

Papers

2009

1. Sergey Reznik. Combined approaches to verification of security protocols. The VI St.Petersburg Interregional Conference «Information Security of Russian Regions (ISRR-2009). October 28-30, 2009. Proceedings. St.Petersburg, 2009. P.122-123. (in Russian).
2. Kotenko I.V., Reznik S.A., Shorov A.V. Security protocols verification combining existing approaches and tools. Proceedings of SPIIRAS. Issue 8. St.Petersburg, Nauka, 2009. P.292-310. (in Russian).
3. Sergey Reznik, Igor Kotenko. Methods and Tools of verification for integrated analysis of security protocols. Information Security. Inside, No.3, 2009. P.56-72. (in Russian).

2008

1. Sergey Reznik. Integrated Approach to Security Protocol Verification on an Example of RE-TRUST Protocol. XI International Conference “Regional informatics-2008” (“RI-2008”). Proceedings. St. Petersburg, October 21-23, 2008. P.111. (in Russian).
2. Vasiliy Desnitsky, Igor Kotenko, Sergey Reznik. Design and Analysis of message exchange protocol for “Remote Entrusting” mechanism. International Conferences “Intelligent systems (AIS 2008)” and “Intelligent CAD (CAD-2008)”. Proceedings. Divnomorskoe, Russia. September 3-10, 2008. Moscow, Fizmatlit, 2008. (in Russian).
3. Vasiliy Desnitsky, Igor Kotenko, Sergey Reznik. Design and Analysis of message exchange protocol for software protection based on “Remote Entrusting”. ХVII All-Russian Conference “Methods and technical tools of information security” (MTTIS 2008)”. Proceedings. St.Petersburg, Russia. June 27-29, 2008. (in Russian).
4. Vasiliy Desnitsky, Igor Kotenko, Sergey Reznik. Design and Verification of message exchange protocol for software protection based on “Remote Entrusting” mechanism. Information Security. Inside, No.4, 2008. P.59-63; No.5, 2008. P.68-74. (in Russian).

2007

1. Sergey Reznik, Olga Chervatuk. Detection of Filtering and Channel Protection Conflicts in Security Policy on the Basis of Model Checking. Proceedings of ХV All-Russian Conference “Methods and Technical Tools of Information Assurance”. June 27-29, 2007. St. Petersburg, SPbSPU. 2007. P.37. (in Russian).
2. Igor Kotenko, Artem Tishkov, Olga Chervatuk, Sergey Reznik, Ekaterina Sidelnikova. System of Verification of Computer Network Security Policy. Herald of computer and information technologies, No. 11, 2007. P.48-56. (in Russian).

2006

1. Artem Tishkov, Igor Kotenko, Olga Chervatuk, Dmitry Lakomov, Sergey Reznik, Ekaterina Sidelnikova. Conflict Detection and Resolution in Security Policies of Computer Networks. Proceedings of SPIIRAS, Issue 3, Vol.2. St. Petersburg, Nauka, 2006. P.102-114. (in Russian).
2. Artem Tishkov, Olga Chervatuk, Dmitry Lakomov, Sergey Reznik, Ekaterina Sidelnikova. Detection and resolution of inconsistencies in the specifications of complex systems. NCAI-2006. X National Conference on Artificial Intelligence with International Participation. Proceedings. Vol. 1. Moscow, Fizmatlit, 2006. P.87-90. ISBN: 5-9221-0757-7. (in Russian).
   NCAI-06-A-Tishkov.pdf [application/pdf] (8427 bytes)
   NCAI-06-Tishkov.pdf [application/pdf] (338635 bytes)

Top