Podstatou projektu je výzkum v oblasti spolehlivosti a bezpečnosti v informačních technologiích (IT). Projekt přitom zahrnuje jak vývoj nových technik vedoucích na spolehlivější a bezpečnější IT, tak i vývoj technik, které využívají IT k lepšímu zabezpečení současné společnosti před nejrůznějšími hrozbami, jimž musí čelit. Za tímto účelem projekt integruje zaměstnance a doktorandy z Ústavu inteligentních systémů FIT VUT v Brně, kteří svým výzkumem pokrývají oba klíčové směry projektu.

FIT-S-14-2486

čeština

Vojnar Tomáš, prof. Ing., Ph.D. - hlavní řešitel
Antal Lukáš, Ing. - spoluřešitel
Aron Lukáš, Ing., Ph.D. - spoluřešitel
Barabas Maroš, Ing., Ph.D. - spoluřešitel
Češka Milan, prof. RNDr., CSc. - spoluřešitel
Doležel Michal, Ing. - spoluřešitel
Drahanský Martin, prof. Ing., Ph.D. - spoluřešitel
Drozd Michal, Ing. - spoluřešitel
Drozdová Martina, Ing. - spoluřešitel
Dudka Kamil, Ing. - spoluřešitel
Dudka Vendula, Ing. - spoluřešitel
Dvořák Radim, Ing., Ph.D. - spoluřešitel
Fajkus Jan, Ing. - spoluřešitel
Fiedor Jan, Ing., Ph.D. - spoluřešitel
Hájek Josef, Ing., Ph.D. - spoluřešitel
Hanáček Petr, doc. Dr. Ing. - spoluřešitel
Henzl Martin, Ing. Mgr., Ph.D. - spoluřešitel
Holík Lukáš, doc. Mgr., Ph.D. - spoluřešitel
Homoliak Ivan, doc. Ing., Ph.D. - spoluřešitel
Horáček Jan, Ing. - spoluřešitel

Ústav inteligentních systémů
- odpovědné pracoviště (1.1.1989 - nezadáno)
Ústav inteligentních systémů
- interní (1.1.2014 - 31.12.2016)
Fakulta informačních technologií
- příjemce (1.1.2014 - 31.12.2016)

DUDKA, V.; KŘENA, B.; LETKO, Z.; ŠIMKOVÁ, H.; VOJNAR, T. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. Proceedings of MEMICS'14. Brno: 2014. p. 133-133.
Detail

DRAHANSKÝ, M. Biometrics - Liveness Detection, Recognition of Finger Veins, 3D Hand, Eye Iris, Eye Retina and Thermo-Faces. Brno: 2014. p. 1-53.
Detail

ENEA, C.; LENGÁL, O.; SIGHIREANU, M.; VOJNAR, T. Compositional Entailment Checking for a Fragment of Separation Logic. FIT-TR-2014-01, Brno: Faculty of Information Technology BUT, 2014. p. 1-19.
Detail

DRAHANSKÝ, M. Fingerprint recognition related topics. Tokyo: 2014. p. 1-44.
Detail

DRAHANSKÝ, M. Biometric Security Systems. Brno: 2014. p. 0-0.
Detail

MRÁČEK, Š.; DVOŘÁK, R.; VÁŇA, J.; NOVOTNÝ, T.; DRAHANSKÝ, M. 3D Face Recognition Utilizing a Low-Cost Depth Sensor. 11th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2015). Ljubljana: 2015. p. 1 (1 s.). ISBN: 978-1-4799-6026-2.
Detail

DRAHANSKÝ, M. Biometrics - Liveness Detection, Recognition of Finger Veins, 3D Hand, Eye Iris and Retina, 3D Face and Thermo-Face. Brno: 2015. p. 1-30.
Detail

TRUTMAN, M.; SCHIFFEL, S. Creating Action Heuristics for General Game Playing Agents. In Computer Games, CGW 2015. Communications in Computer and Information Science. Communications in Computer and Information Science. Berlín: Springer Verlag, 2016. p. 149-164. ISSN: 1865-0929.
Detail

KANICH, O.; KOŠŤÁK, D.; DRAHANSKÝ, M. Psoriasis Damage Simulation into Synthetic Fingerprint. In Proceedings 18th International Conference of the Biometrics Special Interest Group. Lecture Notes in Informatics. Darmstadt: GI - Group for computer science, 2019. p. 205-212. ISBN: 978-3-88579-690-9.
Detail

LUŽA, R.; VYROUBALOVÁ, J.; APJAR, M.; DRAHANSKÝ, M. Control algorithms for rescue robot RUDA. In Modeling and Simulation of Autonomous Systems. Lecture Notes in Computer Science. Řím: Springer International Publishing, 2018. p. 204-222. ISBN: 978-3-319-76071-1. ISSN: 0302-9743.
Detail

VEIGEND, P.; RAFFAI, P.; NEČASOVÁ, G.; ŠÁTEK, V.; KUNOVSKÝ, J. Gas flow through the piston ring pack. In 15rd International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018. p. 1-4. ISBN: 978-0-7354-1690-1.
Detail

VEIGEND, P.; NEČASOVÁ, G.; KOCINA, F.; CHALOUPKA, J.; ŠÁTEK, V.; KUNOVSKÝ, J. Real Time Simulation of Transport Delay. In 14th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2017. p. 1-4. ISSN: 0094-243X.
Detail

ŠIMKOVÁ, H.; KŘENA, B.; VOJNAR, T.; LETKO, Z.; UR, S.; DUDKA, V.; VOLKOVICH, Z.; AVROS, R. Boosted decision trees for behaviour mining of concurrent programmes. Concurrency Computation Practice and Experience, 2017, vol. 29, no. 21, p. 4268-4289. ISSN: 1532-0634.
Detail

ČEŠKA, M.; ALDEGHERI, S.; BARNAT, J.; BOMBIERI, N.; BUSATO, F. Parametric Multi-Step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components. In Proceedings of 2nd Workshop on Performance Engineering for Large Scale Graph Analytics. Lecture Notes in Computer Science. Cham: Springer Verlag, 2016. p. 519-531. ISBN: 978-3-319-58942-8.
Detail

KUČERA, R.; ŠÁTEK, V.; HASLINGER, J.; POCHYLÝ, F.; KOKO, J.; SASSI, T. Numerical Modelling of the Stokes Flow with Threshold Slip Boundary Conditions. In 14th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2017. p. 1-4. ISSN: 0094-243X.
Detail

NEČASOVÁ, G.; KOCINA, F.; VEIGEND, P.; CHALOUPKA, J.; ŠÁTEK, V.; KUNOVSKÝ, J. Solving Wave Equation Using Finite Differences and Taylor Series. In 14th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2017. p. 1-4. ISSN: 0094-243X.
Detail

KOCINA, F.; NEČASOVÁ, G.; VEIGEND, P.; CHALOUPKA, J.; ŠÁTEK, V.; KUNOVSKÝ, J. Modelling VLSI Circuits Using Taylor Series. In 14th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2017. p. 1-4. ISSN: 0094-243X.
Detail

CHALOUPKA, J.; KOCINA, F.; VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V.; KUNOVSKÝ, J. Multiple Integral Computations. In 14th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2017. p. 1-4. ISSN: 0094-243X.
Detail

HOMOLIAK, I.; ŠULÁK, L.; HANÁČEK, P. Features for Behavioral Anomaly Detection of Connectionless Network Buffer Overflow Attacks. In Information Security Applications - 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised Selected Papers. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Jeju Island: Springer International Publishing, 2017. p. 66-78. ISBN: 978-3-319-56549-1. ISSN: 0302-9743.
Detail

HOLÍK, L.; MEYER, R.; MUSKALLA, S. Antichains for the Verification of Recursive Programs. In Proceedings of International Conference on Networked Systems. Lecture Notes in Computer Science (LNCS). Cham: Springer International Publishing, 2016. p. 322-336. ISBN: 978-3-319-26849-1.
Detail

Odpovědnost: Vojnar Tomáš, prof. Ing., Ph.D.