Aleksandr S. Tvardovskii
Candidate of Science
Candidate of Science
University
National Research Tomsk State University
Level of English proficiency
B2
Educational program and field of the educational program for which the applicant will be accepted
Computer science, theory & methods
Educational program and field of the educational program for which the applicant will be accepted
10.06.01 Computer security
05.13.19 Methods and systems of computer security
05.13.19 Methods and systems of computer security
List of research projects of the potential supervisor (participation/leadership)
RSF 22-29-01189, "Identification of specifications classes of telecommunication systems components with reduced complexity of solving problems of state identification", 2022 - 2023 (participation)
List of the topics offered for the prospective scientific research
1) Methods for analyzing web-application traffic based on Extended Finite State Machines
2) Development of approaches to security properties verification of the Internet of Things components based on finite-state models
3) Development of approaches to security properties verification for attribute based access control systems
4) A formal models for attacks analysis in distributed ledgers based on compositions of finite state machines
2) Development of approaches to security properties verification of the Internet of Things components based on finite-state models
3) Development of approaches to security properties verification for attribute based access control systems
4) A formal models for attacks analysis in distributed ledgers based on compositions of finite state machines
Supervisor’s main publications
Total in 5 years: Scopus - 5, Web of Science - 4, RSCI - 3
1) Tvardovskii A., Yevtushenko N. Deriving homing sequences for Finite State Machines with timeouts // The Computer Journal. 2022. P. 1‒10. DOI: 10.1093/comjnl/bxac069
2) Tvardovskii A., Khaled El-Fakih, Yevtushenko N. Testing and incremental conformance testing of timed state machines // Science of Computer Programming, Volume 233, 2024, 103053, ISSN 0167-6423, https://doi.org/10.1016/j.scico.2023.103053
3) Tvardovskii A., Yevtushenko N. Adaptive Experiments for State Identification in Finite State Machines with Timeouts // Lecture Notes in Computer Science. 2022. Vol. 13419 LNCS. P. 172‒188. DOI: 10.1007/978-3-031-13502-6_12
4) Tvardovskii A.S., Evtushenko N.V. Deriving Homing Sequences for Finite State Machines with Timed Guards // Automatic Control and Computer Sciences. 2021. Vol. 55, № 7. P. 738‒750. DOI: 10.3103/S0146411621070154
5) Davide Bresolin, Aleksandr Tvardovskii, Nina Yevtushenko, Tiziano Villa, Maxim Gromov. Minimizing Deterministic Timed Finite State Machines //IFAC-PapersOnline. 2018. Vol. 51, № 7. P. 486-492. https://doi.org/10.1016/j.ifacol.2018.06.344 URL: https://www.sciencedirect.com/journal/ifac-papersonline/vol/51/issue/7
1) Tvardovskii A., Yevtushenko N. Deriving homing sequences for Finite State Machines with timeouts // The Computer Journal. 2022. P. 1‒10. DOI: 10.1093/comjnl/bxac069
2) Tvardovskii A., Khaled El-Fakih, Yevtushenko N. Testing and incremental conformance testing of timed state machines // Science of Computer Programming, Volume 233, 2024, 103053, ISSN 0167-6423, https://doi.org/10.1016/j.scico.2023.103053
3) Tvardovskii A., Yevtushenko N. Adaptive Experiments for State Identification in Finite State Machines with Timeouts // Lecture Notes in Computer Science. 2022. Vol. 13419 LNCS. P. 172‒188. DOI: 10.1007/978-3-031-13502-6_12
4) Tvardovskii A.S., Evtushenko N.V. Deriving Homing Sequences for Finite State Machines with Timed Guards // Automatic Control and Computer Sciences. 2021. Vol. 55, № 7. P. 738‒750. DOI: 10.3103/S0146411621070154
5) Davide Bresolin, Aleksandr Tvardovskii, Nina Yevtushenko, Tiziano Villa, Maxim Gromov. Minimizing Deterministic Timed Finite State Machines //IFAC-PapersOnline. 2018. Vol. 51, № 7. P. 486-492. https://doi.org/10.1016/j.ifacol.2018.06.344 URL: https://www.sciencedirect.com/journal/ifac-papersonline/vol/51/issue/7
Supervisor’s research interests
1) Finite state machine based analysis and synthesis
2) Network security, traffic analysis
3) Analysis and development of access control systems
4) Distributed ledgers
2) Network security, traffic analysis
3) Analysis and development of access control systems
4) Distributed ledgers
Supervisor’s specific requirements
Basic knowledge of computer networks, main areas of computer security and discrete mathematics
