Ing. Lukáš Ďurfina
| 2013 | Validace spustitelného kódu pro systémy průmyslové automatizace pomocí zpětného překladu, VUT v Brně, FEKT/FIT-J-13-2000, 2013, řešení Řešitel: Ďurfina Lukáš Spoluřešitelé: Bradáč Zdeněk, Kolář Dušan, Křoustek Jakub, Šír Michal |
| 2011 | Systém pro podporu platformě nezávislé analýzy škodlivého kódu ve spustitelných souborech, TAČR, TA01010667, 2011-2013, řešení Řešitel: Krčma Pavel, Obluk Karel Spoluřešitelé: Kolář Dušan |
|