Session 1 “Information and Cybersecurity” (IIAP NAS RA, 207)
Monday, September 22, 2025, (1300 - 1400)
Moderators: Mariam Haroutunian, Roman Graf
|
| 1300 |
Roman Graf, Artūrs Lavrenovs (Austria)
“Analysis and Forecasting of Vulnerabilities with AI for Decision Support” |
| 1315 |
Hovhannes Movsisyan, Hripsime Hovhannisyan, Hayk Aslanyan (Armenia)
“Program Path Feasibility Through Symbolic Execution” |
| 1330 |
Elisabed Asabashvili (Georgia)
“Validation And Sanitization Of User Entered Data For Security Purposes” |
| 1345 |
Egor Kutovoy, Fedor Niskov, Shamil Kurmangaleev (Russia)
“Triggering Data Races in Multi-Threaded Programs Using Enhanced S2E” |
|