  Typ výsledku
Autor celku
Název celku(Celkem 10 zázn.)
|
|---|
| Hauzar, David, Kofroň, Jan. On Data-flow Analysis of Dynamic Languages. In Yang Liu, Jun Pang. Proceedings of 3rd International Workshop on Engineering Safety and Security Systems. : EPTCS, 2014. s. 1–15. [Článek ve sborníku] |
| Hauzar, David, Kofroň, Jan. On Security Analysis of PHP Web Applications. In Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elci, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine. 36th Annual IEEE Computer Software and Applications Conference Workshops. : IEEE Computer Society, 2012. s. 577–582. ISBN 978-1-4673-2714-5. [Článek ve sborníku] |
| Hauzar, David, Kofroň, Jan, Baštecký, Pavel, Brenner, Matyáš, Kikta, Marcel, Škorvaga, David, Vodolán, Miroslav, Softwarový projekt WeVerca - Web Applications Verification for PHP (http://d3s.mff.cuni.cz/projects/formal_methods/weverca/). [Jiný výsledek] |
| Tyrpáková, Natália, Hauzar, David, Sada pluginů pro vizualizaci výsledků bezpečnostního analyzátoru v Eclipse IDE (http://d3s.mff.cuni.cz/projects/formal_methods/weverca/). [Jiný výsledek] |
| Hauzar, David, Kofroň, Jan, Článek "WeVerca: Web Applications Verification for PHP" předložen k posouzení k publikaci na mezinárodní konferenci. [Jiný výsledek] |
| Hauzar, David, Průběžně dosažené výsledky byly prezentovány v rámci Doktorského týdne MFF. [Jiný výsledek] |
| Hauzar, David, Metoda statické analýzy prezentována na letní škole VTSA 2012. [Jiný výsledek] |
| Šimko, Viliam, Hauzar, David, Bureš, Tomáš, Hnětynka, Petr, Plášil, František, Publikace Verifying Temporal Properties of Use-Cases in Natural Language byla prezentována na mezinárodním sympózium FACS 2012 a bude vydána v konferenčním sborníku (LNCS). Publikace popisuje metodu odhalení chyb ve fázi specifikace aplikace pomocí analýzy use-case. V součásné době je funkční implementace metody za použití nástroje SMV. [Jiný výsledek] |
| Hauzar, David, Průběžně dosažené výsledky byly prezentovány v rámci Doktorského týdne MFF. [Jiný výsledek] |
| Hauzar, David, Kofroň, Jan, Publikace Hunting Bugs Inside Web Applications byla prezentována na mezinárodní konferenci FoVeOOS 2011 a byla vydána jako technická zpráva Karlsruhe Institute of Technology (ISSN 2190-4782). V současné době probíhá příprava pro druhé kolo schvalovacího procesu konference, které rozhodne, zda bude publikace vydána ve sborníku konference (LNCS). Publikace popisuje metodu statické analýzy programů vytvořených v jazyce PHP. Cíl metody je dosažení vysoké přesnosti analýzy i v případě použití dynamických vlastností jazyka PHP. Publikace dále popisuje způsob využití této metody pro hledání bezpečnostních problémů ve webových aplikacích. [Jiný výsledek] |
