Projects

Ongoing

  • Tools for AI-enhanced Security Verification of Cryptographic Devices

    • 2022-2025
    • Funding: Ministry of the Interior of the Czech Republic
    • Joint project with Brno University of Technology and Masaryk University
    • VJ02010010

  • Design, programming and verification of intelligent embedded systems

    • 2023 - 2025
    • Funding: Student Grant Competition of CTU (SGS)
    • SGS23/208/OHK3/3T/18

Past

  • Design, programming and verification of embedded systems

    • 2020 - 2022
    • Funding: Student Grant Competition of CTU (SGS)
    • SGS20/211/OHK3/3T/18

  • DRASTIC: Dynamically Reconfigurable Architectures for Side-channel analysis protecTIon of Cryptographic implementations

    • 2017-2019
    • Funding: Central Europe Leuven Strategic Alliance (CELSA)
    • International project in cooperation with KU Leuven (Nele Mentens)
    • CELSA/17/033
    • Webpage

  • Dependable and attack-resistant architectures for programmable devices

    • 2017-2019
    • Funding: Student Grant Competition of CTU (SGS)
    • SGS17/213/OHK3/3T/18

  • Fault-Tolerant and Attack-Resistant Architectures Based on Programmable Devices: Research of Interplay and Common Features

    • 2016-2018
    • Funding: The Czech Science Foundation (Grantová agentura České republiky, GAČR)
    • GA16-05179S