Project Details
Reliable, Secure, and Intelligent Computer Systems
Project Period: 1. 3. 2023 – 28. 2. 2026
Project Type: grant
Code: FIT-S-23-8151
Agency: Brno University of Technology
Program: Vnitřní projekty VUT
Type
grant
Abstract
The project aims at research of theories and methods to facilitate the design of reliable, secure, and intelligent systems. For that purpose, it integrates selected researchers and students from all research groups of the Department of Intelligent systems of the Faculty of Information Technology of Brno University of Technology. The project includes theoretical research as well as prototype implementation and experimental evaluation of the proposed techniques on suitable case studies.
Team members
Vojnar Tomáš, prof. Ing., Ph.D.
(DITS)
– research leader
Andriushchenko Roman, Ing. (DITS)
Beran Jan, Ing. (DITS)
Češka Milan, doc. RNDr., Ph.D. (DITS)
Dacík Tomáš, Ing. (DITS)
Drahanský Martin, prof. Ing., Ph.D.
Drga Jozef, Mgr. (FIT)
Dvořák Michal, Ing., Ph.D.
Firc Anton, Ing. (DITS)
Goldmann Tomáš, Ing., Ph.D. (DITS)
Hanáček Petr, doc. Dr. Ing. (DITS)
Harmim Dominik, Ing. (FIT)
Heidari Mona, Ph.D. (FIT)
Hellebrandt Lukáš, Ing. (FIT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Holop Patrik, Ing. (DITS)
Homoliak Ivan, Ing., Ph.D. (DITS)
Hruška Martin, Ing., Ph.D. (Automata@FIT)
Hujňák Ondřej, Ing. (DITS)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Januš Filip, Ing.
Kanich Ondřej, Ing., Ph.D. (DITS)
Kočí Radek, Ing., Ph.D. (DITS)
Kozák David, Ing. (DITS)
Lengál Ondřej, Ing., Ph.D. (DITS)
Malaník Petr, Ing.
Malík Viktor, Ing., Ph.D. (DITS)
Malinka Kamil, Mgr., Ph.D. (DITS)
Martiček Štefan, Ing.
Matyáš Jiří, Ing., Ph.D. (RG VERIFIT)
Nečasová Gabriela, Ing., Ph.D. (DITS)
Pavela Jiří, Ing. (DITS)
Perešíni Martin, Ing. (DITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Rozman Jaroslav, Ing., Ph.D. (DITS)
Rydlo Štěpán, Ing. (DITS)
Semerád Lukáš, Ing., Ph.D. (DITS)
Síč Juraj, Mgr. (DITS)
Snášel Daniel, Ing. (DITS)
Stančíková Ivana, Ing.
Šátek Václav, Ing., Ph.D. (DITS)
Šoková Veronika, Ing. (DITS)
Tamaškovič Marek, Ing. (DITS)
Vašíček Ondřej, Ing. (DITS)
Veigend Petr, Ing., Ph.D. (DITS)
Vídeňský František, Ing. (DITS)
Zbořil František, doc. Ing., CSc. (DITS)
Zbořil František, doc. Ing., Ph.D. (DITS)
Žák Marek, Ing., Ph.D.
Andriushchenko Roman, Ing. (DITS)
Beran Jan, Ing. (DITS)
Češka Milan, doc. RNDr., Ph.D. (DITS)
Dacík Tomáš, Ing. (DITS)
Drahanský Martin, prof. Ing., Ph.D.
Drga Jozef, Mgr. (FIT)
Dvořák Michal, Ing., Ph.D.
Firc Anton, Ing. (DITS)
Goldmann Tomáš, Ing., Ph.D. (DITS)
Hanáček Petr, doc. Dr. Ing. (DITS)
Harmim Dominik, Ing. (FIT)
Heidari Mona, Ph.D. (FIT)
Hellebrandt Lukáš, Ing. (FIT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Holop Patrik, Ing. (DITS)
Homoliak Ivan, Ing., Ph.D. (DITS)
Hruška Martin, Ing., Ph.D. (Automata@FIT)
Hujňák Ondřej, Ing. (DITS)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Januš Filip, Ing.
Kanich Ondřej, Ing., Ph.D. (DITS)
Kočí Radek, Ing., Ph.D. (DITS)
Kozák David, Ing. (DITS)
Lengál Ondřej, Ing., Ph.D. (DITS)
Malaník Petr, Ing.
Malík Viktor, Ing., Ph.D. (DITS)
Malinka Kamil, Mgr., Ph.D. (DITS)
Martiček Štefan, Ing.
Matyáš Jiří, Ing., Ph.D. (RG VERIFIT)
Nečasová Gabriela, Ing., Ph.D. (DITS)
Pavela Jiří, Ing. (DITS)
Perešíni Martin, Ing. (DITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Rozman Jaroslav, Ing., Ph.D. (DITS)
Rydlo Štěpán, Ing. (DITS)
Semerád Lukáš, Ing., Ph.D. (DITS)
Síč Juraj, Mgr. (DITS)
Snášel Daniel, Ing. (DITS)
Stančíková Ivana, Ing.
Šátek Václav, Ing., Ph.D. (DITS)
Šoková Veronika, Ing. (DITS)
Tamaškovič Marek, Ing. (DITS)
Vašíček Ondřej, Ing. (DITS)
Veigend Petr, Ing., Ph.D. (DITS)
Vídeňský František, Ing. (DITS)
Zbořil František, doc. Ing., CSc. (DITS)
Zbořil František, doc. Ing., Ph.D. (DITS)
Žák Marek, Ing., Ph.D.
Publications
2024
- DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. 2024.
p. 0-0. Detail - HASLINGER, J.; KUČERA, R.; MOTYČKOVÁ, K.; ŠÁTEK, V. Stokes problem with the Coulomb stick-slip boundary conditions in 3D: formulations, approximation, algorithms, and experiments. Mathematics and Computers in Simulation, 2024, vol. 2024, no. 216,
p. 145-167. ISSN: 0378-4754. Detail - HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O.; HABERMEHL, P. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. Proceedings of CAV'24. Lecture Notes in Computer Science. Montreal: Springer Verlag, 2024.
p. 42-67. ISSN: 0302-9743. Detail - JOBRANOVÁ, S.; LENGÁL, O.; CHEN, T.; CHEN, Y.; JIANG, J. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA. Association for Computing Machinery, 2024.
p. 0-0. ISBN: 979-8-4007-1077-3. Detail - VÍDEŇSKÝ, F.; ZBOŘIL, F.; BERAN, J.; KOČÍ, R.; ZBOŘIL, F. Comparing Variable Handling Strategies in BDI Agents: Experimental Study. Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 1. Rome: SciTePress - Science and Technology Publications, 2024.
p. 25-36. ISBN: 978-989-758-680-4. Detail
2023
- CHEN, Y.; CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; SÍČ, J. Solving String Constraints with Lengths by Stabilization. Proceedings of the ACM on Programming Languages, 2023, vol. 7, no. 10,
p. 2112-2141. ISSN: 2475-1421. Detail - DRGA, J.; HOMOLIAK, I.; VANČO, J.; PEREŠÍNI, M.; HANÁČEK, P.; VASILAKOS, A. Detecting and Preventing Credential Misuse in OTP-Based Two and Half Factor Authentication Toward Centralized Services Utilizing Blockchain-Based Identity Management. In 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). Dubai: Institute of Electrical and Electronics Engineers, 2023.
p. 1-4. ISBN: 979-8-3503-1019-1. Detail - FIRC, A.; MALINKA, K.; HANÁČEK, P. Deepfakes as a threat to a speaker and facial recognition: an overview of tools and attack vectors. Heliyon, 2023, vol. 9, no. 4,
p. 1-33. ISSN: 2405-8440. Detail - FIRC, A.; MALINKA, K.; HANÁČEK, P. Deepfakes: Bezpečnostní výzva pro naše uši. DSM Data Security Management, 2023, roč. 2023, č. 02,
s. 41-44. ISSN: 1211-8737. Detail - HOLÍK, L.; HOLÍKOVÁ, L.; SÍČ, J.; VOJNAR, T. Fast Matching of Regular Patterns with Synchronizing Counting. In Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2023.
p. 392-412. ISSN: 0302-9743. Detail - HOLÍK, L.; HRUŠKA, M.; SÍČ, J.; VARGOVČÍK, P.; FIEDOR, T.; ROGALEWICZ, A. Reasoning about Regular Properties: A Comparative Study. In Automated Deduction - CADE 29. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2023.
p. 286-306. ISSN: 0302-9743. Detail - KOČÍ, R.; JANOUŠEK, V. Prerequisites for Simulation-Based Software Design and Deployment. ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances. Porto: Xpert Publishing Services, 2023.
p. 105-109. ISBN: 978-1-68558-098-8. Detail - KOZÁK, D.; JOVANOVIC, V.; STANCU, C.; VOJNAR, T.; WIMMER, C. Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. In Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. New York: Association for Computing Machinery, 2023.
p. 129-142. ISBN: 979-8-4007-0380-5. Detail - LENGÁL, O.; CHEN, Y.; TSAI, W.; CHUNG, K.; LIN, J. AutoQ: An Automata-based Quantum Circuit Verifier. In Proceedings of 35th International Conference on Computer Aided Verification. Lecture Notes in Computer Science. Cham: Springer Verlag, 2023.
p. 139-153. ISSN: 0302-9743. Detail - LENGÁL, O.; CHEN, Y.; TSAI, W.; LIN, J.; CHUNG, K.; YEN, D. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proceedings of the ACM on Programming Languages, 2023, vol. 7, no. 6,
p. 1218-1243. ISSN: 2475-1421. Detail - MALÍK, V.; NEČAS, F.; SCHRAMMEL, P.; VOJNAR, T. 2LS: Arrays and Loop Unwinding (Competition Contribution). In Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science. Paris: Springer International Publishing, 2023.
p. 529-534. ISBN: 978-3-031-30819-2. Detail - MALINKA, K.; FIRC, A.; HANÁČEK, P. Deepfakes a lidé: dokážeme ještě rozlišit pravou řeč od umělé?. DSM Data Security Management, 2023, roč. 2023, č. 04,
s. 22-26. ISSN: 1211-8737. Detail - MALINKA, K.; FIRC, A.; PEREŠÍNI, M.; JANUŠ, F.; HUJŇÁK, O. On the educational impact of ChatGPT: Is Artificial Intelligence ready to obtain a University degree?. In Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. Turku: Association for Computing Machinery, 2023.
p. 47-53. ISBN: 979-8-4007-0138-2. Detail - PLEŠKO, F.; GOLDMANN, T.; MALINKA, K. Facial Image Reconstruction and its Influence to Face Recognition. 2023 International Conference of the Biometrics Special Interest Group (BIOSIG). Darmstadt: Society for Informatics, 2023.
p. 1-4. ISBN: 979-8-3503-3655-9. Detail - PRUDKÝ, D.; FIRC, A.; MALINKA, K. Assessing the Human Ability to Recognize Synthetic Speech in Ordinary Conversation. In 2023 International Conference of the Biometrics Special Interest Group (BIOSIG). Proceedings of the 22nd International Conference of the Biometrics Special Interest Group. Darmstadt: GI - Group for computer science, 2023.
p. 1-5. ISBN: 978-3-88579-733-3. Detail - STANČÍKOVÁ, I.; HOMOLIAK, I. SBvote: Scalable Self-Tallying Blockchain-Based Voting. In SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. Tallin: Association for Computing Machinery, 2023.
p. 203-2011. ISBN: 978-1-4503-9517-5. Detail - VEIGEND, P.; ŠÁTEK, V. Nonlinear Control Using High-Order Integration Method. In 19th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2023.
p. 1-4. ISSN: 0094-243X. Detail - ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. Energy Efficiency of a Wheeled Bio-Inspired Hexapod Walking Robot in Sloping Terrain. Robotics, 2023, vol. 12, no. 2,
p. 1-15. ISSN: 2218-6581. Detail
Patents
2023
- Multimodal spatial structure sensor of finger blood vessel, utility model, 2023
Authors: RYDLO, Š.; DRAHANSKÝ, M.