BME-MIT
Farkas Martin
doktorandusz
ResearcherID
Scopus
ORCID
Google Scholar
ResearchGate
Országos Doktori TanácsFarkas Martin a Kritikus Rendszerek Kutatócsoport tagja. Doktori témavezetője Kocsis Imre.
Farkas Martin 2025-ben szerezte meg mérnökinformatikus oklevelét a Budapesti Műszaki és Gazdaságtudományi Egyetemen, IT-biztonság és kritikus rendszerek specializáción. Jelenleg a Kritikus Rendszerek Kutatócsoportban dolgozik PhD-hallgatóként.
Kutatási témája a decentralizált bizalmi megoldások modellvezérelt tervezése, amelynek célja a digitális identitás- és adatmegosztó rendszerek automatizált, formális módszerekkel támogatott tervezése, fejlesztése és verifikációja. Kutatásának célja az elméleti modellezési technikák és a feltörekvő decentralizált technológiák összekapcsolása, új, ellenőrizhető és magas szintű adatvédelmet biztosító digitális együttműködési minták megvalósítása érdekében. Munkája magában foglalja új protokollok és elosztott rendszermodellek kidolgozását modern kriptográfiai eszközök – például a nem-felfedő bizonyítások (Zero-Knowledge Proofs) – és az önrendelkező digitális identitás (Self-Sovereign Identity) kialakuló szabványainak és technológiáinak felhasználásával.
Részt vett több, vállalatok közötti decentralizált főkönyvi technológiákat (DLT) alkalmazó kutatási és fejlesztési projektben, és több konferencián is bemutatta munkáját, többek között a MASCOTS ’24 és a BPM ’25 rendezvényeken.
GitHub
Kutatási témája a decentralizált bizalmi megoldások modellvezérelt tervezése, amelynek célja a digitális identitás- és adatmegosztó rendszerek automatizált, formális módszerekkel támogatott tervezése, fejlesztése és verifikációja. Kutatásának célja az elméleti modellezési technikák és a feltörekvő decentralizált technológiák összekapcsolása, új, ellenőrizhető és magas szintű adatvédelmet biztosító digitális együttműködési minták megvalósítása érdekében. Munkája magában foglalja új protokollok és elosztott rendszermodellek kidolgozását modern kriptográfiai eszközök – például a nem-felfedő bizonyítások (Zero-Knowledge Proofs) – és az önrendelkező digitális identitás (Self-Sovereign Identity) kialakuló szabványainak és technológiáinak felhasználásával.
Részt vett több, vállalatok közötti decentralizált főkönyvi technológiákat (DLT) alkalmazó kutatási és fejlesztési projektben, és több konferencián is bemutatta munkáját, többek között a MASCOTS ’24 és a BPM ’25 rendezvényeken.
GitHub