ViLMA: Virtuálne laboratórium pre malvérovú analýzu

Basic informations

Thematic area: komisia č. 2 pre nové technológie, metódy a formy vo vzdelávaní

Project name (Slovak): ViLMA: Virtuálne laboratórium pre malvérovú analýzu

Project name (English): ViLMA: Virtual Laboratory for Malware Analysis

Start of project: 2017

End of project: 2019

Condition of project: Ukončený

Project number: 079TUKE-4/2017

Project leader: doc. Ing. Martin Tomášek, PhD.

University: Technická univerzita v Košiciach

Department: Fakulta elektrotechniky a informatiky

Financial grant of MŠVVandŠ SR within KEGA

	Financial grant of MŠVVandŠ SR within KEGA	Capital expenditures in €
Pumped for the entire period of the project	22 591,00	0,00

List of project outcomes for the entire solution

Publishing activity

Category code	Specific output, name (ISBN, number of pages a i.)
AFD	Šťastná, Jana (100%): High-level malware behavioural patterns. 2017 Košice : TU, 2017 : ISBN 978-80-553-3162-1
AFC	Šťastná, Jana (50%); Tomášek, Martin (50%): High-level malware behavioural patterns: Extractability evaluation. 2017 Danvers : IEEE, 2017 : ISBN 978-83-946253-7-5
AFD	Šťastná, Jana (50%); Tomášek, Martin (50%): Assembling behavioural characteristics of malicious software. 2017 Danvers : IEEE, 2017 : ISBN 978-1-5386-0888-3
AFD	Silváši, František (50%); Tomášek, Martin (50%): Fully Automatic Modular Theorem Prover with Code Generation Support. 2017 Danvers : ISBN 978-1-5386-0889-0
AFD	Perháč, Ján (34%); Mihályi, Daniel (33%); Maťaš, Lukáš (33%): Resource Oriented BDI Architecture for IDS. 2017 Danvers : IEEE, 2017 : ISBN 978-1-5386-0888-3
AFD	Silváši, František (100%): Reasoning About Arbitrary Domains Using Formal Modelling and Subsequent (Semi-) Automatic Synthesis of Their Properties. 2017 Košice : TU, 2017 : ISBN 978-80-553-3162-1
AFC	Šťastná, Jana (50%); Tomášek, Martin (50%): Characterising Malicious Software with High-Level Behavioural Patterns. 2017 Cham : Springer International Publishing, 2017 : ISBN 978-3-319-51962-3 ISSN 0302-9743
ADF	Silváši, František (50%); Tomášek, Martin (50%): Lean Formalization of Insertion Sort Stability and Correctness. Košice : ISSN 1338-3957
AFD	Silváši, František (100%): Utilizing inductive predicates to formally verify stability of sorting. 2018 Košice : ISBN 978-80-553-2972-7
AED	Verčimák, Miroslav (60%); Havlice, Zdeněk (30%); Vrábel, Peter (10%): Use of knowledge about software system for computer aided modification, extension and maintenance. 2018 Košice : ISBN 978-80-553-2713-6
ADM	Perháč, Ján (34%); Mihályi, Daniel (33%); Novitzká, Valerie (33%): Modeling Synchronization Problems: From Composed Petri Nets to Provable Linear Sequents. 2017 ISSN 1785-8860
ADF	Mihályi, Daniel (25%); Peniašková, Monika (25%); Perháč, Ján (25%); Mihelič, Jurij (25%): WEB-Based Questionnaires For Type Theory Course. 2017 ISSN 1335-8243
ADE	Mihályi, Daniel (34%); Perháč, Ján (33%); Bálint, Patrik (33%): Logical Time and Space of the Network Intrusion. 2017 ISSN 2065-9601
DAI	Jana Šťastná: Malware Characteristics and Behaviour on High Level of Abstraction. Dizertačná práca. 2018. Technická univerzita v Košiciach
AFH	Pristiak, Samuel (20%); Sedlák, Erik (20%); Tomášek, Martin (20%); Žoldák, Gabriel (40%): New bioinformatics software for co-evolutionary coupling analysis of insertion/deletions incidents in multiple sequence alignments of proteins. 2019 Košice : ISBN 978-80-89656-25-7
AFL	Kormondiová, Júlia (20%); Tomášek, Martin (20%); Žoldák, Gabriel (20%); Sedlák, Erik (40%): Analýza rozpustnosti proteínu na základe jeho primárnej štruktúry. 2019 Košice : ISBN 978-80-89656-25-7
AFH	Bednarik, Tomáš (20%); Tomášek, Martin (20%); Žoldák, Gabriel (20%); Sedlák, Erik (40%): Pomer spektrálnych signálov používaný na vyhodnotenie konformačných prechodov proteínov je komplexnou funkciou pôvodných závislostí. 2019 Košice : ISBN 978-80-89656-25-7
ADD	Šimoňák, Slavomír (75%); Tomášek, Martin (25%): ACP Semantics for Petri Nets. Bratislava : ISSN 2585-8807
ADF	Šťastná, Jana (50%); Tomášek, Martin (50%): Searching for Malware Markers and Malware Behavioural Patterns. Košice : ISSN 2585-9587
AFD	Silváši, František (100%): Lean Formalization of Cellular Automata. 2019 Košice : ISBN 978-80-553-3273-4
BCI	Juhár, Ján (45%); Šťastná, Jana (45%); Biňas, Miroslav (10%): Objektovo-orientované programovanie: Prípadová štúdia pre cvičenia.

Final evaluation of the commission KEGA

Splnil ciele excelentne (s dosiahnutím celospoločenských prínosov).