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