Detail projektu

CHESS - Cyber-security Excellence Hub in Estonia and South Moravia

Období řešení: 1. 1. 2023 - 31. 12. 2026

Typ projektu: grant

Kód: 101087529, 101087529

Agentura: Evropská komise EU

Program: HORIZON EUROPE

Název česky
Centrum excelence v kyber-bezpečnosti v Estonsku a na Jižní Moravě
Typ
grant
Abstrakt

Projekt realizuje centrum excelence v kyber-bezpečnosti v Estonsku a na Jižní Moravě. Centrum se zaměřuje na následující oblasti: Internet bezpečných věcí, bezpečnostní certifikaci, verifikaci důvěryhodného software, technologii blockchain, post-kvantovou kryptografii a lidské aspekty kybernetické bezpečnosti.
 

Řešitelé
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , hlavní řešitel
Hajný Jan, Doc. Ing., Ph.D. (UTKO FEKT VUT) , spoluřešitel
Andriushchenko Roman, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Dacík Tomáš, Ing. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Homoliak Ivan, Ing., Ph.D. (UITS FIT VUT)
Malík Viktor, Ing. (UITS FIT VUT)
Malinka Kamil, Mgr., Ph.D. (UITS FIT VUT)
Publikace

2024

  • DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš a ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: 2024. Detail

2023

  • MALÍK Viktor, NEČAS František, SCHRAMMEL Peter a VOJNAR Tomáš. 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, roč. 13994. Paris: Springer International Publishing, 2023, s. 529-534. ISBN 978-3-031-30819-2. Detail
Produkty

2023

  • 2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10, software, 2023
    Autoři: Brain Martin, Buecheli Samuel, David Cristina, Hruška Martin, Kroening Daniel, Kumar Madhukar, Malík Viktor, Martiček Štefan, Mukherjee Rajdeep, Nečas František, Schrammel Peter, Vojnar Tomáš, Watcher Björn Detail
  • DiffKemp: Statický analyzátor sémantických rozdílů, verze 0.4.0, software, 2023
    Autoři: Glozar Tomáš, Malecová Tatiana, Malík Viktor, Rozek Jakub, Šilling Petr, Vojnar Tomáš, Žáčik Pavol Detail
Nahoru