Podstatou projektu je výzkum v oblasti bezpečnosti a spolehlivosti počítačových systémů při současném zachování jejich patřičné efektivity. Za tímto účelem projekt integruje zaměstnance a doktorandy z Ústavu inteligentních systémů (ÚITS) FIT VUT v Brně, kteří svým výzkumem pokrývají různé oblasti počítačové bezpečnosti, spolehlivosti a optimalizace. Projekt zahrnuje teoretický výzkum i prototypovou implementaci a experimentální ověření navržených technik na vhodných případových studiích.

FIT-S-17-4014

čeština

Vojnar Tomáš, prof. Ing., Ph.D. - hlavní řešitel
Abdulrahman Wassem, Ing. - spoluřešitel
Aron Lukáš, Ing., Ph.D. - spoluřešitel
Barabas Maroš, Ing., Ph.D. - spoluřešitel
Černík Tomáš, Ing. - spoluřešitel
Češka Milan, doc. RNDr., Ph.D. - spoluřešitel
Češka Milan, prof. RNDr., CSc. - spoluřešitel
Daniš Daniel, Ing. - spoluřešitel
Drahanský Martin, prof. Ing., Ph.D. - spoluřešitel
Dvořák Michal, Ing., Ph.D. - spoluřešitel
Fiedor Jan, Ing., Ph.D. - spoluřešitel
Fiedor Tomáš, Ing., Ph.D. - spoluřešitel
Goldmann Tomáš, Ing., Ph.D. - spoluřešitel
Hájek Josef, Ing., Ph.D. - spoluřešitel
Hanáček Petr, doc. Dr. Ing. - spoluřešitel
Heidari Mona, Ph.D. - spoluřešitel
Hellebrandt Lukáš, Ing. - spoluřešitel
Holík Lukáš, doc. Mgr., Ph.D. - spoluřešitel
Holíková Lenka, Ing., Ph.D. - spoluřešitel
Hrubý Martin, Ing., Ph.D. - spoluřešitel

Ústav inteligentních systémů
- interní (1.1.2017 - 31.12.2019)
Fakulta informačních technologií
- příjemce (1.1.2017 - 31.12.2019)

HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019. p. 1-19.
Detail

HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). New York: Springer International Publishing, 2020. p. 1-33.
Detail

HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; IOSIF, R. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. FORMAL METHODS IN SYSTEM DESIGN, 2020, vol. 55, no. 3, p. 137-170. ISSN: 0925-9856.
Detail

LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. arXiv:1704.03972: 2017. p. 1-30.
Detail

LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B. An Executable Sequential Specification for Spark Aggregation. Ithaca: 2017. p. 0-0.
Detail

DRAHANSKÝ, M.; DVOŘÁK, M.; HEIDARI, M.; SPURNÝ, M. Overview of biometric technologies. Brno: 2018. p. 1-16.
Detail

DRAHANSKÝ, M. Präsentationsangriffe der Fingerabdrucktechnologie (TTT-AG-Biometrie). Darmstadt: 2018. s. 1-10.
Detail

KOZÁK, D.; KŘENA, B.; ŠIMKOVÁ, H.; VOJNAR, T. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: 2017. p. 25-25.
Detail

HRUBÝ, M.; GONZÁLES, A.; RUIZ NOLASCO, R.; SHARMAN, K.; SÁEZ, S. Simulation Infrastructure for Automated Anesthesia During Operations. In International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science. Cham: Springer Verlag, 2020. p. 474-481. ISBN: 978-3-030-45092-2.
Detail

OČENÁŠ, M. Bitcoin blockchain analysis. Mikulášská kryptobesídka. Praha: Trusted Network Solutions, a.s., 2017. p. 67-68.
Detail

CHALOUPKA, J.; NEČASOVÁ, G.; VEIGEND, P.; KUNOVSKÝ, J.; ŠÁTEK, V. Modern Taylor series method in numerical integration: PART 1. 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik: 2017. p. 263-273. ISBN: 978-83-65265-14-2. ISSN: 2391-9361.
Detail

SEMERÁD, L.; DRAHANSKÝ, M. Retina Recognition Using Crossings and Bifurcations. In Applications of Pattern Recognition. London: InTech - Open Access Publisher, 2021. p. 77-94. ISBN: 978-1-78985-332-2.
Detail

KOCINA, F.; KUNOVSKÝ, J. Advanced VLSI Circuits Simulation. In Proceedings of the 2017 International Conference on High Performance Computing & Simulation (HPCS 2017). Genoa: Institute of Electrical and Electronics Engineers, 2017. p. 526-533. ISBN: 978-1-5386-3250-5.
Detail

HELLEBRANDT, L.; HOMOLIAK, I.; MALINKA, K.; HANÁČEK, P. Increasing Trust in Tor Node List Using Blockchain. In 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). Soul: Institute of Electrical and Electronics Engineers, 2019. p. 29-32. ISBN: 978-1-7281-1328-9.
Detail

ROZMAN, J.; HŘÍBEK, D.; ZBOŘIL, F. Testing of Various Approaches for Semiautomatic Parish Records Word Standardization. In JIST: Joint International Semantic Technology Conference. Communications in Computer and Information Science. Communications in Computer and Information Science. Hangzhou: Springer International Publishing, 2019. p. 21-33. ISBN: 978-981-1534-11-9. ISSN: 1865-0929.
Detail

HOLÍKOVÁ, L.; JANKŮ, P. Solving String Constraints with Approximate Parikh Image. In Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019. p. 1-8. ISBN: 978-3-030-45092-2.
Detail

HARTEL, P.; HOMOLIAK, I.; REIJSBERGEN, D. An Empirical Study into the Success of Listed Smart Contracts in Ethereum. IEEE Access, 2019, vol. 07, no. 12, p. 177539-177555. ISSN: 2169-3536.
Detail

VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. High Order Numerical Integration Method and its Applications - The First 36 Years of MTSM. In 2019 IEEE 15th International Scientific Conference on Informatics. Poprad: Institute of Electrical and Electronics Engineers, 2019. p. 25-30. ISBN: 978-1-7281-3179-5.
Detail

KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T. PredatorHP Attacks Interval-Sized Regions. Ithaca: 2019. p. 1-4.
Detail

HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). Ithaca: 2019. p. 1-25.
Detail

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