ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζωῶν τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

Seminar on Computer Science and Applied Mathematics

 

PROGRAM


Matematički Institut SANU, Beograd
Knez Mihajlova 36
Fakultet organizacionih nauka, Univerzitet u Beogradu,
Jove Ilica 154
IEEE Chapter Computer Science (CO-16) Belgrade, Republic of Serbia

SEMINAR ZA RAČUNARSTVO I PRIMENJENU MATEMATIKU

MI SANU, Knez Mihailova 36, sala 301f

PLAN RADA SEMINARA ZA FEBRUAR 2025. GODINE

Predavanja na seminaru mogu se pratiti na daljinu preko linka
https://miteam.mi.sanu.ac.rs/asset/wnz6oyxsQsy29LfJA.
Registracija za on-line praćenje predavanja na Seminaru je na linku
https://miteam.mi.sanu.ac.rs/asset/xzGqvSp7aWbg8WpYX.
Neulogovani korisnici mogu pratiti prenos predavanja na ovom linku (ali ne mogu postavljati pitanja osim putem chata): https://miteam.mi.sanu.ac.rs/call/wnz6oyxsQsy29LfJA/MjQ__eH607WeAL9X7IFtUI98xdQQgVkp-ljiEKPPfXr.



Utorak, 11.02.2025. u 14:15, Knez Mihailova 36, sala 301f i Online
Sandro Radovanović, Univerzitet u Beogradu - Fakultet organizacionih nauka
ISTRAŽIVANJA U OBLASTI PRAVEDNOSTI U MODELIMA MAŠINSKOG UČENJA
U poslednjih nekoliko godina, pravednost u modelima mašinskog učenja postala je jedna od tema istraživanja o kojoj se mnogo priča, s obzirom na njihovu sve širu primenu u društveno značajnim i osetljivim domenima. Ovo predavanje obuhvata rezultate istraživanja realizovanih u okviru ONR projekta, s fokusom na metodologije za merenje, analizu i poboljšanje pravednosti u modelima mašinskog učenja. Predstaviću glavne izazove u definisanju i proceni pravednosti, kao i razvijene pristupe koji uključuju pravednost u svim fazama razvoja modela, od obrade podataka (pretprocesiranje podataka), razvoja novih ili prilagođavanje postojećih modela mašinskog učenja i prilagođavanja odluka modela (postprocesiranje). Cilj predavanja je da se istakne važnost balansiranja preciznosti, pravednosti, ali i transparentnosti u savremenim algoritmima mašinskog učenja.

Utorak, 18.02.2025. u 14:15, Knez Mihailova 36, sala 301f i Online
Ana Kovačević, Univerzitet u Beogradu - Fakultet organizacionih nauka i Zentrix Lab
ENHANCING SECURITY OF AUTOMOTIVE OTA FIRMWARE UPDATES VIA DECENTRALIZED IDENTIFIERS AND DISTRIBUTED LEDGER TECHNOLOGY
The increasing connectivity and complexity of automotive systems require enhanced mechanisms for firmware updates to ensure security and integrity. Traditional methods are insufficient for modern vehicles that require seamless over-the-air (OTA) updates. Current OTA mechanisms often lack robust security measures, leaving vehicles vulnerable to attacks. This paper proposes an innovative approach based on the use of decentralized identifiers (DIDs) and distributed ledger technology (DLT) for secure OTA firmware updates of on-vehicle software. By utilizing DIDs for unique vehicle identification, as well as verifiable credentials (VCs) and verifiable presentations (VPs) for secure information exchange and verification, the solution ensures the integrity and authenticity of software updates. It also allows for the revocation of specific updates, if necessary, thereby improving overall security. The security analysis applied the STRIDE methodology, which enabled the identification of potential threats, including spoofing, tampering, and privilege escalation. The results showed that our solution effectively mitigates these threats, while a performance evaluation indicated low latency during operations.
This research was partially funded by the European Commission under the framework of Horizon Europe CONFIDENTIAL6G project (Grant Agreement No. 101096435).

Utorak, 25.02.2025. u 14:15, Knez Mihailova 36, sala 301f i Online
Jelena Tasić, Zorica Dražić, Zorica Stanimirović, Matematički fakultet, Univerzitet u Beogradu
METODA PROMENLJIVIH OKOLINA ZA USLOVLJENI PROBLEM p-REZERVNOG CENTRA
Na predavanju će biti razmatran uslovljeni problem p-rezervnog centra i metaheuristički metod kao pristup rešenju. Problem p-rezervnog centra je proširenje klasičnog problema p-centra koji ima za cilj da obuhvati realne situacije u kojima se dešava da jedan ili više centara iznenada može prestati da funkcioniše. Ovo se može desiti usled prirodnih nepogoda (požar, zemljotres, oluja, itd.) ili drugih problema (nestanak struje, nedostatak osoblja, tehnički kvarovi, itd.) i u takvoj situaciji za svaki uspostavljen centar treba odrediti njemu rezervni centar koji je na najkraćoj udaljenosti od njega, tako da korisnici dodeljeni onesposobljenom centru mogu biti preusmereni u rezervni centar. S druge strane, kada se servisna mreža širi, neki od postojećih centara se obično zadržavaju uz otvaranje određenog broja novih centara. Uslovljeni problem p-rezervnog centra uključuje pomenuta dva aspekta koji se javljaju u praksi. Kako je reč o NP-teškom problemu, razvijen je metaheuristički algoritam zasnovan na metodi promenljivih okolina. Predloženi algoritam uključuje heuristiku brze zamene koja omogućava efikasnu pretragu korišćenih okolina, a samim tim i rešavanje instanci velikih dimenzija. Izvršen je računarski eksperiment na modifikovanim instancama problem p-rezervnog centra iz literature. Dobijeni rezultati su upoređeni sa rezultatima egzaktnog rešavača CPLEX. Predloženi algoritam dostiže optimalna rešenja ili poboljšava dopustiva rešenja koja nalazi CPLEX u značajno kraćem vremenu, a takođe brzo dolazi do svojih najboljih rešenja u situacijama kada CPLEX ne uspeva da obezbedi ni dopustiva rešenja.
U okviru predavanja biće predstavljeni rezultati objavljeni u radu: J. Tasić, Z. Dražić, Z. Stanimirović, A VNS method for the conditional p-next center problem, Computers and Operations Research 175 (2025), 106916.



RUKOVODIOCI SEMINARA

MI SANU
Vera Kovačević-Vujčić
Milan Dražić

FON
Zorica Bogdanovic
Marijana Despotovic-Zrakic

IEEE
Bozidar Radenkovic