Secure and Reliable Computer Systems

Czech title:Bezpečné a spolehlivé počítačové systémy
Reseach leader:Vojnar Tomáš
Team members:Barabas Maroš, Češka Milan, Češka Milan, Drahanský Martin, Fiedor Jan, Fiedor Tomáš, Hanáček Petr, Holík Lukáš, Hrubý Martin, Hruška Martin, Janků Petr, Janoušek Vladimír, Kocina Filip, Kočí Radek, Křena Bohuslav, Kunovský Jiří, Lengál Ondřej, Malinka Kamil, Orság Filip, Peringer Petr, Pluháčková Hana, Rogalewicz Adam, Rozman Jaroslav, Samek Jan, Smrčka Aleš, Šátek Václav, Šoková Veronika, Turoňová Lenka, Zbořil František, Zbořil František V.
Agency:Brno University of Technology
Code:FIT-S-17-4014, FIT-S-17-4014
Start:2017-03-01
End:2019-12-31
Keywords:secure and reliable computer systems
Annotation:
The project aims at research on secure and reliable computer systems.

Publications

2017BAROTOVÁ Štěpánka and DRAHANSKÝ Martin. Fingerprint Damage Localizer and Detector of Skin Diseases from Fingerprint Images. In: Proceedings of the 16th International Conference of the Biometrics Special Interest Group. Darmstadt: Springer Verlag, 2017, pp. 267-274. ISBN 978-3-88579-664-0.
 DRAHANSKÝ Martin and KANICH Ondřej. Skin Diseases in Fingerprints. Praha, 2017.
 DRAHANSKÝ Martin. Bezpečnosť biometrických systémov. PC Revue. Bratislava: unknown, 2017, vol. 2017, no. 5, pp. 96-99. ISSN 1335-0226.
 DRAHANSKÝ Martin. Detector of Weapons in Video. Praha, 2017.
 DRAHANSKÝ Martin. Multispectral Optical Properties of Human Hands Skin. Lillehammer, 2017.
 DRAHANSKÝ Martin, DVOŘÁK Michal, LUŽA Radim, RITTER Walter, KÜNZ Andreas, KEMPTER Guido, MOHELNÍKOVÁ Jitka and MOHELNÍK Petr. Measurement of light sources. Brno: Faculty of Information Technology BUT, 2017.
 DRAHANSKÝ Martin, MEISTER Torsten and NEZHYBA Ondřej. Sicherheit für intelligente Häuser. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 64-69. ISBN 978-3-95853-316-5.
 DRAHANSKÝ Martin, PERNICKÝ Radim, KANICH Ondřej and BAROTOVÁ Štěpánka. Verarbeitung von beschädigten Fingerabdrücken in der polizeilichen Praxis. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, vol. 41, no. 7, pp. 407-414. ISSN 1614-0702.
 DRAHANSKÝ Martin, SPURNÝ Martin and GOLDMANN Tomáš. Gesichtsdetektion und -erkennung in Videos aus öffentlichen Kamerasystemen. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, vol. 41, no. 7, pp. 415-421. ISSN 1614-0702.
 DVOŘÁK Michal and DRAHANSKÝ Martin. Security of Hand Geometry. In: Proceedings of Conference SPI 2017. Brno: Brno University of Defence, 2017, pp. 17-29. ISBN 978-80-7231-414-0.
 DVOŘÁK Michal, DRAHANSKÝ Martin, KEMPTER Guido, MOHELNÍKOVÁ Jitka, LUŽA Radim, RITTER Walter and KÜNZ Andreas. Usability and Quality of Light Sources for Households. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 125-133. ISBN 978-3-95853-316-5.
 ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Heidelberg: Springer Verlag, 2017, pp. 302-309. ISSN 0302-9743.
 FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš and VOJNAR Tomáš. Verifying Concurrent Programs Using Contracts. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). Tokyo: Institute of Electrical and Electronics Engineers, 2017, pp. 196-206. ISBN 978-1-5090-6032-0.
 HOMOLIAK Ivan, BARABAS Maroš and HANÁČEK Petr. Exploitation of NetEm Utility for Non-payload-based Obfuscation Techniques Improving Network Anomaly Detection. In: Proceedings of 12th International Conference on Security and Privacy in Communication Networks. Guangzhou: Springer International Publishing, 2017, pp. 770-773. ISBN 978-3-319-59607-5.
 CHALOUPKA Jan, NEČASOVÁ Gabriela, VEIGEND Petr, KUNOVSKÝ Jiří and ŠÁTEK Václav. Modern Taylor series method in numerical integration: PART 1. In: 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik, 2017, pp. 263-273. ISBN 978-83-65265-14-2. ISSN 2391-9361.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX, 2017, pp. 1-12.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017.
 KAČIC Matej and BARABAS Maroš. Klasifikace informací v souvislostech. In: IS2 - Other Dimensions of Security. Praha: Tate International s.r.o., 2017, pp. 133-141. ISBN 978-80-86813-30-1.
 KOČÍ Radek and JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software. 2017, vol. 10, no. 12, pp. 121-131. ISSN 1942-2628.
 LENGÁL Ondřej, LIN Anthony W., MAJUMDAR Rupak and RUMMER Philipp. Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 499-517. ISBN 978-3-662-46680-3.
 LUŽA Radim, ORSÁG Filip, DRAHANSKÝ Martin and ROZMAN Jaroslav. Robot RUDA - Introduction and Current Research. Central European Researchers Journal. Žilina: University of Žilina, 2017, vol. 3, no. 1, pp. 1-8. ISSN 2453-7314.

Your IPv4 address: 54.225.41.203
Switch to IPv6 connection

DNSSEC [dnssec]