Products
-
2022
GadgetCA: A Tool for Generating ReDoS Attacks, software, 2022
Authors: HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M. -
2020
Chipmunk: A Tool for Matching of Regular Expressions, software, 2020
Authors: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M. -
2019
PICoSo: An SMT Solver for String Constraints, software, 2019
Authors: HOLÍKOVÁ, L.; JANKŮ, P. -
2018
MINA: A Tool for Verification of Programs with an Unbounded Number of Threads, software, 2018
Authors: HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.