Ing. Petr Matoušek, Ph.D., M.A.

Publications

2018MATOUŠEK Petr and SCHMIEDECKER Martin. Digital Forensics and Cyber Crime. Cham: Springer International Publishing, 2018. ISBN 978-3-319-73697-6.
 MATOUŠEK Petr, RYŠAVÝ Ondřej, JAMES Joshua I. and JANG Yunsik J. Interconnecting Education and Research Through International Partnership: IoT Case Study. In: Proceedings of 28th EAEEIE Annual Conference (EAEEIE). Hafnarfjordur: Institute of Electrical and Electronics Engineers, 2018, pp. 1-6. ISBN 978-1-5386-7711-7.
 MATOUŠEK Petr. Description of IEC 61850 Communication. FIT-TR-2018-01, Brno: Faculty of Information Technology BUT, 2018.
2017HRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch and MATOUŠEK Petr. Distributed Password Cracking in a Hybrid Environment. In: Proceedings of SPI 2017. Brno: University of Defence in Brno, 2017, pp. 75-90. ISBN 978-80-7231-414-0.
 MATOUŠEK Petr, ONYANGO Collins Oduor, RYŠAVÝ Ondřej and SEVILLA Joseph. Delivering ICT Security Courses over 5.944 km. In: Proceedings of the 27th EAEEIE Annual Conference. Grenoble: Grenoble Institute of Technology, 2017, pp. 1-7. ISBN 2-9516740-8-2.
 MATOUŠEK Petr. Analysis of DLMS Protocol. FIT-TR-2017-13, Brno, 2017.
 MATOUŠEK Petr. Description and analysis of IEC 104 Protocol. FIT-TR-2017-12, Brno: Faculty of Information Technology BUT, 2017.
2016HRANICKÝ Radek, HOLKOVIČ Martin, MATOUŠEK Petr and RYŠAVÝ Ondřej. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law. 2016, vol. 11, no. 2, pp. 79-96. ISSN 1558-7215.
 HRANICKÝ Radek, MATOUŠEK Petr, RYŠAVÝ Ondřej and VESELÝ Vladimír. Experimental Evaluation of Password Recovery in Encrypted Documents. In: Proceedings of ICISSP 2016. Roma: SciTePress - Science and Technology Publications, 2016, pp. 299-306. ISBN 978-989-758-167-0.
 PLUSKAL Jan, RYŠAVÝ Ondřej and MATOUŠEK Petr. On the Identification of Applications from Captured Network Traffic. New York, 2016.
2015MATOUŠEK Petr, MUSIL Martin, MUSIL Petr and ZEMČÍK Pavel. Souhrnná zpráva projektu VoIP. Brno: CAMEA, spol. s r. o., 2015.
 MATOUŠEK Petr, PLUSKAL Jan, RYŠAVÝ Ondřej, VESELÝ Vladimír, KMEŤ Martin, KARPÍŠEK Filip and VYMLÁTIL Martin. Advanced Techniques for Reconstruction of Incomplete Network Data. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. 2015, vol. 2015, no. 157, pp. 69-84. ISSN 1867-8211.
 PLUSKAL Jan, MATOUŠEK Petr, RYŠAVÝ Ondřej, KMEŤ Martin, VESELÝ Vladimír, KARPÍŠEK Filip and VYMLÁTIL Martin. Netfox Detective: A tool for advanced network forensics analysis. In: Proceedings of Security and Protection of Information (SPI) 2015. Brno: University of Defence in Brno, 2015, pp. 147-163. ISBN 978-80-7231-997-8.
2014GRÉGR Matěj, MATOUŠEK Petr, PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. Practical IPv6 Monitoring on Campus - Best Practice Document. Vědecký sborník. 2014, vol. 2014, no. 1, pp. 1-20. ISSN 0572-3043.
 MATOUŠEK Petr, KMEŤ Martin and BASEL Martin. On-line Monitoring of VoIP Quality Using IPFIX. Advances in Electrical and Electronic Engineering. Ostrava: VŠB-Technical University of Ostrava, 2014, vol. 2014, no. 4, pp. 325-333. ISSN 1804-3119.
 MATOUŠEK Petr, RYŠAVÝ Ondřej and KMEŤ Martin. Fast RTP Detection and Codecs Classification in Internet Traffic. The Journal of Digital Forensics, Security and Law. 2014, vol. 2014, no. 2, pp. 99-110. ISSN 1558-7215.
 MATOUŠEK Petr, RYŠAVÝ Ondřej, GRÉGR Matěj and VYMLÁTIL Martin. Towards Identification of Operating Systems from the Internet Traffic. IPFIX Monitoring with Fingerprinting and Clustering. In: DCNET2014. Proceedings of the 5th International Conference on Data Communication Networking. Wien: SciTePress - Science and Technology Publications, 2014, pp. 21-27. ISBN 978-989-758-042-0.
 MATOUŠEK Petr. Souhrnná zpráva projektu VoIP - Architektura a bezpečnost komunikačních nástrojů v mobilních technologiích. Brno: CAMEA, spol. s r. o., 2014.
 MATOUŠEK Petr. Síťové služby a jejich architektura. Brno: Publishing house of Brno University of Technology VUTIUM, 2014. ISBN 978-80-214-3766-1.
 POLČÁK Libor, HOLKOVIČ Martin and MATOUŠEK Petr. Host Identity Detection in IPv6 Networks. In: E-Business and Telecommunications. Berlin: Springer Verlag, 2014, pp. 74-89. ISBN 978-3-662-44787-1. ISSN 1865-0929.
 POLČÁK Libor, JIRÁSEK Jakub and MATOUŠEK Petr. Comment on "Remote Physical Device Fingerprinting". IEEE Transactions on Dependable and Secure Computing. Los Alamitos: IEEE Computer Society, 2014, vol. 11, no. 5, pp. 494-496. ISSN 1545-5971.
2013DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr and ŠVÉDA Miroslav. On formal reachability analysis in networks with dynamic behavior. Telecommunication Systems. New York: Springer US, 2013, vol. 52, no. 2, pp. 919-929. ISSN 1018-4864.
 MATOUŠEK Petr, MUSIL Martin, MUSIL Petr and ZEMČÍK Pavel. Sumarizace požadavků na třídy VoIP protokolů a jejich zpracování včetně možnosti implementace v FPGA - průběžná technická zpráva. Brno, 2013.
 POLČÁK Libor, HOLKOVIČ Martin and MATOUŠEK Petr. A New Approach for Detection of Host Identity in IPv6 Networks. In: Proceedings of the 4th International Conference on Data Communication Networking, 10th International Conference on e-Business and 4th International Conference on Optical Communication Systems. Reykjavík: SciTePress - Science and Technology Publications, 2013, pp. 57-63. ISBN 978-989-8565-72-3.
 POLČÁK Libor, HRANICKÝ Radek and MATOUŠEK Petr. Hiding TCP Traffic: Threats and Counter-measures. In: Security and Protection of Information 2013, Proceedings of the Conference. Brno: University of Defence in Brno, 2013, pp. 83-96. ISBN 978-80-7231-922-0.
 VESELÝ Vladimír, MATOUŠEK Petr and ŠVÉDA Miroslav. Multicast simulation and modeling in OMNeT++. In: SimuTools '13 Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques. Brussels: International Communication Sciences and Technology Association, 2013, pp. 142-145. ISBN 978-1-4503-2464-9.
2012VESELÝ Vladimír, MATOUŠEK Petr and ŠVÉDA Miroslav. Multicast Simulation and Modeling in OMNeT++. In: Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques. Desenzano del Garda: International Communication Sciences and Technology Association, 2012, pp. 298-301. ISBN 978-1-936968-47-3.
 ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr and RÁB Jaroslav. Static Analysis of Routing and Firewall Policy Configurations. In: e-Business and Telecommunications. Heidelberg: Springer Science+Business Media B.V., 2012, pp. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929.
2011GRÉGR Matěj, MATOUŠEK Petr, PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. Practical IPv6 Monitoring - Challenges and Techniques. In: Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011). Dublin: IEEE Computer Society, 2011, pp. 660-663. ISBN 978-1-4244-9220-6.
 POLČÁK Libor, GRÉGR Matěj, KAJAN Michal, MATOUŠEK Petr and VESELÝ Vladimír. Designing Lawful Interception in IPv6 Networks. In: Security and Protection of Information. Brno: University of Defence in Brno, 2011, pp. 114-126. ISBN 978-80-7231-777-6.
 ŠVÉDA Miroslav, RYŠAVÝ Ondřej and MATOUŠEK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 22-23. ISBN 978-84-693-9560-8.
 ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr and RÁB Jaroslav. Reachability Analysis in Dynamically Routed Networks. In: Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011, pp. 197-205. ISBN 978-0-7695-4379-6.
2010DE Silva Gayan, MATOUŠEK Petr, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. Formal Analysis Approach on Networks with Dynamic Behaviours. In: 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Moscow: IEEE Computer Society, 2010, pp. 545-551. ISBN 978-1-4244-7285-7.
 MATOUŠEK Petr, RYŠAVÝ Ondřej, DE Silva Gayan and DANKO Martin. Combination of Simulation and Formal Methods to Analyse Network Survivability. In: Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques. Malaga: International Communication Sciences and Technology Association, 2010, p. 6. ISBN 978-963-9799-87-5.
 ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr and RÁB Jaroslav. An Approach for Automated Network-Wide Security Analysis. In: Proceedings of the Ninth International Conference on Networks ICN 2010. Les Menuires: IEEE Computer Society, 2010, pp. 294-299. ISBN 978-0-7695-3979-9.
 ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr, RÁB Jaroslav and ČEJKA Rudolf. SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties. In: Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010, pp. 5-11. ISBN 978-989-8425-25-6.
2009MATOUŠEK Petr and SKOKANOVÁ Jana. Nový univerzitní kurz "Multimédia v počítačových sítích". Brno, 2009.
 MATOUŠEK Petr. 8. konference Cisco Networking Academy 2009 na FIT. Události (VUT News). 2009, vol. 2009, no. 7. ISSN 1211-4421.
2008MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Model for Network-wide Security Analysis. In: Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems. Belfast: University of Ulster, 2008, pp. 171-181. ISBN 0-7695-3141-5.
 MATOUŠEK Petr. Projekt CCIE inkubátor. Stará Lesná, 2008.
 MATOUŠEK Petr. Úspěch studentů FIT v soutěži Networking Academy Games. Události (VUT News). 2008, vol. 2008, no. 5. ISSN 1211-4421.
 ČEJKA Rudolf, MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Approach to Network Security Analysis. Brno: Faculty of Information Technology BUT, 2008.
2007MATOUŠEK Petr and RYŠAVÝ Ondřej. A path to become a skillful CCNP expert during your University studies. Istanbul, 2007.
 MATOUŠEK Petr. Automatická analýza síťové bezpečnosti. Brno, 2007.
 MATOUŠEK Petr. Network Security by Cisco. Slavonice, 2007.
 MATOUŠEK Petr. Bezpečné připojení jedním zařízením. CONNECT!. Brno: Computer Press, s.r.o, 2007, vol. 2007, no. 1, pp. 62-63. ISSN 1211-3085.
 MATOUŠEK Petr. Kombinované rešení switch/router. CONNECT!. Brno: Computer Press, s.r.o, 2007, vol. 2007, no. 4, pp. 40-41. ISSN 1211-3085.
 SMRČKA Aleš, ŘEHÁK Vojtěch, VOJNAR Tomáš, ŠAFRÁNEK David, MATOUŠEK Petr and ŘEHÁK Zdeněk. Verifying VHDL Design with Multiple Clocks in SMV. In: Formal Methods: Applications and Technology. Bonn: Springer Verlag, 2007, pp. 148-164. ISSN 0302-9743.
2006MATOUŠEK Petr. Implementace kurzů NetAcad na FIT VUT v Brně. Stará Lesná, 2006.
 MATOUŠEK Petr. Praktické úlohy z počítačových sítí. Brno, 2006.
 MATOUŠEK Petr. Tools for Verification of Security Protocols. Brno, 2006.
 MATOUŠEK Petr. Dobrého nespálí - test firewallů pro sítě do 150 uživatelů. CONNECT!. Brno: Computer Press, s.r.o, 2006, vol. 2006, no. 6, pp. 26-29. ISSN 1211-3085.
 SMRČKA Aleš, ŘEHÁK Vojtěch, VOJNAR Tomáš, ŠAFRÁNEK David, MATOUŠEK Petr and ŘEHÁK Zdeněk. Verifying VHDL Design with Multiple Clocks in SMV. In: Proceedings of FMICS 2006. Bonn, 2006, pp. 140-155.
2005MATOUŠEK Petr, SMRČKA Aleš and VOJNAR Tomáš. High-level Modelling, Analysis and Verification on FPGA-based Hardware Design. Brno: CESNET National Research and Education Network, 2005.
 MATOUŠEK Petr, SMRČKA Aleš and VOJNAR Tomáš. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. In: Correct Hardware Design and Verification Methods. Berlin: Springer Verlag, 2005, pp. 371-375. ISBN 978-3-540-29105-3. ISSN 0302-9743.
 MATOUŠEK Petr. Cisco Network Akademy také na VUT v Brně. Události (VUT News). 2005, vol. 2005, no. 11. ISSN 1211-4421.
 MATOUŠEK Petr. Symbolic Data Structure Based on Intervals for Parametric Verification. Seminary UIFS, FIT VUT Brno, 2005.
 MATOUŠEK Petr. TReX and IF. ParaDiSe seminary, FI MU Brno, 2005.
 MATOUŠEK Petr. Není datům v síti těsno?. CONNECT!. Brno: Computer Press, s.r.o, 2005, vol. 2005, no. 11, pp. 7-8. ISSN 1211-3085.
2004MATOUŠEK Petr and SIGHIREANU Mihaela. Parametric Analysis of PGM protocol. Advance meeting, Paris, 2004.
 MATOUŠEK Petr. Plánování a příprava nového předmětu na FIT VUT. Brno, 2004.
 MATOUŠEK Petr. A New Data Structure Based on Intervals. In: Proceedings of MOVEP'04. Bruxelles, 2004, pp. 16-21.
 MATOUŠEK Petr. Tools for Parametric Verification. A Comparison on a Case Study. Journal of Universal Computer Science. 2004, vol. 10, no. 10, pp. 1469-1495. ISSN 0948-6968.
 MATOUŠEK Petr. Tools for Parametric Verification: A Comparison on a Case Study. In: Proceedings of the 5th Joint Workshop on FSCBS. Stirling: University of Stirling, 2004, pp. 45-55. ISBN 1-85769-197-0.
2001MATOUŠEK Petr. Protocol Proving Using PVS: A Case Study. In: Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01. Hradec n/M, 2001, pp. 67-73. ISBN 80-85988-57-7.
 MATOUŠEK Petr. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. In: Modelling and Simulation 2001. Praha: Czech Technical University, 2001, pp. 59-62. ISBN 1-56555-225-3.
2000MATOUŠEK Petr, RÁB Jaroslav and VÝŠEK Pavel. Protocol Proving and Model Checking: A First-Look Experience. In: IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: unknown, 2000, pp. 71-75. ISBN 1-85-769121-0.
 MATOUŠEK Petr. Protocol Verification Using PVS. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000, pp. 201-203. ISBN 80-7240-155-X.

Show all publications

Your IPv4 address: 3.226.251.81
Switch to https