Publikační výsledky

• 2025

  BURGETOVÁ, I.; MATOUŠEK, P.; RYŠAVÝ, O. Towards identification of network applications in encrypted traffic. 2025, vol. 2025, no. 9, p. 1-18. ISSN: 1958-9395.
  Detail

  MUTUA, N.; NADJM-TEHRANI, S.; MATOUŠEK, P. Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systrems. Critical Information Infrastructures Security. Lecture Notes in Computer Science. Springer Cham: Springer Nature Switzerland AG, 2025. p. 249-268. ISBN: 978-3-031-84259-7.
  Detail

• 2024

  MATOUŠEK, P.; RYŠAVÝ, O.; BURGETOVÁ, I. Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. In Proceedings of 20th International Conference on Network and Service Management. Prague: 2024. p. 1-5.
  Detail

  BURGETOVÁ, I.; MATOUŠEK, P.; RYŠAVÝ, O. Towards Identification of Network Applications in Encrypted Traffic. The Proceedings of the 8th Cyber Security in Networking Conference (CSNet 2024). IEEE Explore. Paris: IEEE Communications Society, 2024. p. 213-221. ISBN: 979-8-3315-3410-3.
  Detail

• 2023

  HAVLENA, V.; MATOUŠEK, P.; RYŠAVÝ, O.; HOLÍK, L. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, 2023, vol. 2023, no. 14, p. 2352-2366. ISSN: 1949-3053.
  Detail

• 2022

  POLČÁK, L.; MATOUŠEK, P. Metering Homes: Do Energy Efficiency and Privacy Need to be in Conflict?. In Proceedings of the 19th International Conference on Security and Cryptography. Lisabon: SciTePress - Science and Technology Publications, 2022. p. 47-58. ISBN: 978-989-758-590-6.
  Detail

• 2021

  MATOUŠEK, P.; RYŠAVÝ, O.; POLČÁK, L. Unified SNMP Interface for IoT Monitoring. In Proceedings of the IM 2021 - 2021 IFIP/IEEE International Symposium on Integrated Network Management. Bordeaux: International Federation for Information Processing, 2021. p. 938-943. ISBN: 978-3-903176-32-4.
  Detail

  MATOUŠEK, P.; HAVLENA, V.; HOLÍK, L. Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata. In Proceedings of IFIP/IEEE International Symposium on Integrated Network Management. Bordeaux: International Federation for Information Processing, 2021. p. 81-89. ISBN: 978-3-903176-32-4.
  Detail

  MATOUŠEK, P.; BURGETOVÁ, I.; RYŠAVÝ, O.; VICTOR, M. On Reliability of JA3 Hashes for Fingerprinting Mobile Applications. In Digital Forensics and Cyber Crime. ICDF2C 2020. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Boston: Springer International Publishing, 2021. p. 1-22. ISBN: 978-3-030-68733-5.
  Detail

  MATOUŠEK, P.; RYŠAVÝ, O. Teaching ICS Security in Blended Classroom Environment. In Proceedings of the 2021 30th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE). Prague: Czech Technical University, 2021. p. 148-153. ISBN: 978-1-7281-9324-3.
  Detail

  MUTUA, N.; MATOUŠEK, P. Outlier Detection in Smart Grid Communication. Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference. Munich: 2021. p. 1-4.
  Detail

  RYŠAVÝ, O.; MATOUŠEK, P. A Network Traffic Processing Library for ICS Anomaly Detection. In ECBS '21: Proceedings of the 7th Conference on the Engineering of Computer Based Systems. Novi Sad: Association for Computing Machinery, 2021. p. 144-151. ISBN: 978-1-4503-9057-6.
  Detail

  BURGETOVÁ, I.; MATOUŠEK, P.; RYŠAVÝ, O. Anomaly Detection of ICS Communication Using Statistical Models. In Proceedings of the 17th International Conference on Network Service Management (CNSM 2021). Izmir: Institute of Electrical and Electronics Engineers, 2021. p. 166-172. ISBN: 978-3-903176-36-2.
  Detail

• 2020

  POLČÁK, L.; RYŠAVÝ, O.; MATOUŠEK, P. Identity Linking in Computer Networks. In Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, DCNET, OPTICS, SIGMAP and WINSYS. Setubal: SciTePress - Science and Technology Publications, 2020. p. 45-52. ISBN: 978-989-758-445-9.
  Detail

  MATOUŠEK, P.; RYŠAVÝ, O.; HAVLENA, V.; GRÉGR, M. Flow based monitoring of ICS communication in the smart grid. Journal of Information Security and Applications, 2020, vol. 2020, no. 54, p. 102535-102535. ISSN: 2214-2126.
  Detail

• 2019

  MATOUŠEK, P.; RYŠAVÝ, O.; GRÉGR, M. Security Monitoring of IoT Communication Using Flows. In Proceedings of the 6th Conference on the Engineering of Computer Based Systems. ECBS '19. New York: Association for Computing Machinery, 2019. p. 1-9. ISBN: 978-1-4503-7636-5.
  Detail

  MATOUŠEK, P.; RYŠAVÝ, O.; BURGETOVÁ, I. Extending Networking Curriculum with Applied Artificial Intelligence. In Proceedings of EAEEIE 2019. Ruse: Institute of Electrical and Electronics Engineers, 2019. p. 11-16. ISBN: 978-1-7281-3222-8.
  Detail

  MATOUŠEK, P.; RYŠAVÝ, O.; GRÉGR, M. Increasing Visibility of IEC 104 Communication in the Smart Grid. 6th International Symposium for ICS & SCADA Cyber Security Research 2019. Swindon: BCS Learning and Development Ltd., 2019. p. 21-30. ISBN: 978-1-78017-523-2.
  Detail

• 2018

  MATOUŠEK, P.; RYŠAVÝ, O.; JAMES, J.; JANG, Y. Interconnecting Education and Research Through International Partnership: IoT Case Study. In 2018 28th EAEEIE Annual Conference, EAEEIE 2018. Hafnarfjordur: Institute of Electrical and Electronics Engineers, 2018. p. 1-6. ISBN: 978-1-5386-7711-7.
  Detail

  MATOUŠEK, P.; SCHMIEDECKER, M. Digital Forensics and Cyber Crime. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Cham: Springer International Publishing, 2018. 235 p. ISBN: 978-3-319-73697-6.
  Detail

• 2017

  MATOUŠEK, P.; RYŠAVÝ, O.; ONYANGO, C.; SEVILLA, J. Delivering ICT Security Courses over 5.944 km Experience of Czech-Kenyan Co-operation. In Proceedings of the 27th EAEEIE Annual Conference. Grenoble: Grenoble Institute of Technology, 2017. p. 1-7. ISBN: 978-1-7281-0907-7.
  Detail

  HRANICKÝ, R.; ZOBAL, L.; VEČEŘA, V.; MATOUŠEK, P. Distributed Password Cracking in a Hybrid Environment. Proceedings of SPI 2017. Brno: University of Defence in Brno, 2017. p. 75-90. ISBN: 978-80-7231-414-0.
  Detail

• 2016

  HRANICKÝ, R.; HOLKOVIČ, M.; MATOUŠEK, P.; RYŠAVÝ, O. On Efficiency of Distributed Password Recovery. Journal of Digital Forensics Security and Law, 2016, vol. 11, no. 2, p. 79-95. ISSN: 1558-7215.
  Detail

  HRANICKÝ, R.; MATOUŠEK, P.; RYŠAVÝ, O.; VESELÝ, V. Experimental Evaluation of Password Recovery in Encrypted Documents. In Proceedings of ICISSP 2016. Roma: SciTePress - Science and Technology Publications, 2016. p. 299-306. ISBN: 978-989-758-167-0.
  Detail

• 2015

  MATOUŠEK, P.; PLUSKAL, J.; RYŠAVÝ, O.; VESELÝ, V.; KMEŤ, M.; KARPÍŠEK, F.; VYMLÁTIL, M. 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, p. 69-84. ISSN: 1867-8211.
  Detail

  PLUSKAL, J.; MATOUŠEK, P.; RYŠAVÝ, O.; KMEŤ, M.; VESELÝ, V.; KARPÍŠEK, F.; VYMLÁTIL, M. Netfox Detective: A tool for advanced network forensics analysis. Proceedings of Security and Protection of Information (SPI) 2015. Brno: University of Defence in Brno, 2015. p. 147-163. ISBN: 978-80-7231-997-8.
  Detail

• 2014

  MATOUŠEK, P. Síťové služby a jejich architektura. Brno: Nakladatelství Vysokého učení technického v Brně VUTIUM, 2014. 396 s. ISBN: 978-80-214-3766-1.
  Detail

  MATOUŠEK, P.; RYŠAVÝ, O.; KMEŤ, M. Fast RTP Detection and Codecs Classification in Internet Traffic. Journal of Digital Forensics Security and Law, 2014, vol. 2014, no. 2, p. 99-110. ISSN: 1558-7215.
  Detail

  MATOUŠEK, P.; RYŠAVÝ, O.; GRÉGR, M.; VYMLÁTIL, M. 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. p. 21-27. ISBN: 978-989-758-042-0.
  Detail

  MATOUŠEK, P.; KMEŤ, M.; BASEL, M. On-line Monitoring of VoIP Quality Using IPFIX. 2014, vol. 2014, no. 4, p. 325-333. ISSN: 1804-3119.
  Detail

  POLČÁK, L.; HOLKOVIČ, M.; MATOUŠEK, P. Host Identity Detection in IPv6 Networks. In E-Business and Telecommunications. Communications in Computer and Information Science. Berlin: Springer Verlag, 2014. no. 456, p. 74-89. ISBN: 978-3-662-44787-1. ISSN: 1865-0929.
  Detail

  POLČÁK, L.; JIRÁSEK, J.; MATOUŠEK, P. Comment on "Remote Physical Device Fingerprinting". IEEE Transactions on Dependable and Secure Computing, 2014, vol. 11, no. 5, p. 494-496. ISSN: 1545-5971.
  Detail

  GRÉGR, M.; MATOUŠEK, P.; PODERMAŃSKI, T.; ŠVÉDA, M. Practical IPv6 Monitoring on Campus - Best Practice Document. Vědecký sborník, 2014, vol. 2014, no. 1, p. 1-20. ISSN: 0572-3043.
  Detail

• 2013

  POLČÁK, L.; HRANICKÝ, R.; MATOUŠEK, P. Hiding TCP Traffic: Threats and Counter-measures. Security and Protection of Information 2013, Proceedings of the Conference. Brno: University of Defence in Brno, 2013. p. 83-96. ISBN: 978-80-7231-922-0.
  Detail

  VESELÝ, V.; MATOUŠEK, P.; ŠVÉDA, M. Multicast simulation and modeling in OMNeT++. SimuTools '13 Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques. Brussels: International Communication Sciences and Technology Association, 2013. p. 142-145. ISBN: 978-1-4503-2464-9.
  Detail

  DE SILVA, G.; RYŠAVÝ, O.; MATOUŠEK, P.; ŠVÉDA, M. On Formal Reachability Analysis in Networks with Dynamic Behavior. TELECOMMUNICATION SYSTEMS, 2013, vol. 52, no. 2, p. 919-929. ISSN: 1018-4864.
  Detail

  POLČÁK, L.; HOLKOVIČ, M.; MATOUŠEK, P. 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. p. 57-63. ISBN: 978-989-8565-72-3.
  Detail

• 2012

  ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Static Analysis of Routing and Firewall Policy Configurations. In e-Business and Telecommunications. Communications in Computer and Information Science. LNCS CCIS, Vol.222. Heidelberg: Springer Science+Business Media B.V., 2012. no. 222, p. 39-53. ISBN: 978-3-642-25205-1. ISSN: 1865-0929.
  Detail

  VESELÝ, V.; MATOUŠEK, P.; ŠVÉDA, M. Multicast Simulation and Modeling in OMNeT++. Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques. Desenzano del Garda: International Communication Sciences and Technology Association, 2012. p. 298-301. ISBN: 978-1-936968-47-3.
  Detail

• 2011

  ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P. Supporting Safe and Secure Networked System Design. Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 22-23. ISBN: 978-84-693-9560-8.
  Detail

  ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Reachability Analysis in Dynamically Routed Networks. Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011. p. 197-205. ISBN: 978-0-7695-4379-6.
  Detail

  GRÉGR, M.; MATOUŠEK, P.; PODERMAŃSKI, T.; ŠVÉDA, M. Practical IPv6 Monitoring - Challenges and Techniques. Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011). Dublin: IEEE Computer Society, 2011. p. 660-663. ISBN: 978-1-4244-9220-6.
  Detail

  POLČÁK, L.; GRÉGR, M.; KAJAN, M.; MATOUŠEK, P.; VESELÝ, V. Designing Lawful Interception in IPv6 Networks. Security and Protection of Information. Brno: University of Defence in Brno, 2011. p. 114-126. ISBN: 978-80-7231-777-6.
  Detail

• 2010

  MATOUŠEK, P.; RYŠAVÝ, O.; DE SILVA, G.; DANKO, M. Combination of Simulation and Formal Methods to Analyse Network Survivability. Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques. Malaga: International Communication Sciences and Technology Association, 2010. p. 150-155. ISBN: 978-963-9799-87-5.
  Detail

  DE SILVA, G.; MATOUŠEK, P.; RYŠAVÝ, O.; ŠVÉDA, M. Formal Analysis Approach on Networks with Dynamic Behaviours. 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Moscow: IEEE Computer Society, 2010. p. 545-551. ISBN: 978-1-4244-7285-7.
  Detail

  ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J. An Approach for Automated Network-Wide Security Analysis. Proceedings of the Ninth International Conference on Networks ICN 2010. Les Menuires: IEEE Computer Society, 2010. p. 294-299. ISBN: 978-0-7695-3979-9.
  Detail

  ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J.; ČEJKA, R. SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties. Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010. p. 5-11. ISBN: 978-989-8425-25-6.
  Detail

• 2008

  MATOUŠEK, P.; RYŠAVÝ, O.; RÁB, J.; ŠVÉDA, M. A Formal Model for Network-wide Security Analysis. Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems. Belfast: University of Ulster, 2008. p. 171-181. ISBN: 0-7695-3141-5.
  Detail

• 2007

  MATOUŠEK, P. Bezpečné připojení jedním zařízením. Journal CONNECT!, 2007, roč. 2007, č. 1, s. 62-63. ISSN: 1211-3085.
  Detail

  MATOUŠEK, P. Kombinované rešení switch/router. Journal CONNECT!, 2007, roč. 2007, č. 4, s. 40-41. ISSN: 1211-3085.
  Detail

  SMRČKA, A.; ŘEHÁK, V.; VOJNAR, T.; ŠAFRÁNEK, D.; MATOUŠEK, P.; ŘEHÁK, Z. Verifying VHDL Design with Multiple Clocks in SMV. In Formal Methods: Applications and Technology. Lecture Notes in Computer Science. Lecture Notes in Computer Science 4346. Bonn: Springer Verlag, 2007. no. 4346, p. 148-164. ISBN: 978-3-540-70951-0. ISSN: 0302-9743.
  Detail

• 2006

  MATOUŠEK, P. Dobrého nespálí - test firewallů pro sítě do 150 uživatelů. Journal CONNECT!, 2006, roč. 2006, č. 6, s. 26-29. ISSN: 1211-3085.
  Detail

  SMRČKA, A.; ŘEHÁK, V.; VOJNAR, T.; ŠAFRÁNEK, D.; MATOUŠEK, P.; ŘEHÁK, Z. Verifying VHDL Design with Multiple Clocks in SMV. Proceedings of FMICS 2006. Bonn: 2006. p. 140-155.
  Detail

• 2005

  MATOUŠEK, P. Není datům v síti těsno?. Journal CONNECT!, 2005, roč. 2005, č. 11, s. 7-8. ISSN: 1211-3085.
  Detail

  SMRČKA, A., MATOUŠEK, P., VOJNAR, T. High-level Modelling, Analysis, and Verification on FPGA-based Hardware Design. Brno: CESNET National Research and Education Network, 2005. 17 p.
  Detail

  MATOUŠEK, P.; SMRČKA, A.; VOJNAR, T. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science. Lecture Notes in Computer Science 3725/2005. Berlin: Springer Verlag, 2005. no. 3725, p. 371-375. ISBN: 978-3-540-29105-3. ISSN: 0302-9743.
  Detail

• 2004

  MATOUŠEK, P. A New Data Structure Based on Intervals. Proceedings of MOVEP'04. Bruxelles: 2004. p. 16-21.
  Detail

  MATOUŠEK, P. Tools for Parametric Verification. A Comparison on a Case Study. 2004, vol. 10, no. 10, p. 1469-1495. ISSN: 0948-6968.
  Detail

  MATOUŠEK, P. Tools for Parametric Verification. A Comparison on A Case Study (extended abstract). Proceedings of the 5th Joint Workshop on FSCBS. Stirling: University of Stirling, 2004. p. 45-55. ISBN: 1-85769-197-0.
  Detail

• 2001

  MATOUŠEK, P. Protocol Proving Using PVS: A Case Study. Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01. Hradec n/M: Marq software s.r.o., 2001. p. 67-73. ISBN: 80-85988-57-7.
  Detail

  MATOUŠEK, P. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. Modelling and Simulation 2001. Praha: Czech Technical University, 2001. p. 59-62. ISBN: 1-56555-225-3.
  Detail

• 2000

  MATOUŠEK, P.; RÁB, J.; VÝŠEK, P. Protocol Proving and Model-Checking: A First-Look Experience. IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: unknown, 2000. p. 71-75. ISBN: 1-85-769121-0.
  Detail

  MATOUŠEK, P. Protocol Verification Using PVS. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000. p. 201-203. ISBN: 80-7240-155-X.
  Detail

• 1999

  MATOUŠEK, P. Global directory over LDAP with index servers. In Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM, 1999. p. 85-86. ISBN: 80-214-1155-4.
  Detail

  DVOŘÁK, V.; MATOUŠEK, P. Highly Efficient Parallel ANN Implementation for Real-Time Processing. Proceedings of conference Computer Engineering and Informatics CE&I'99. Kosice - Herlany, Slovakia: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 1999. p. 186-191. ISBN: 80-88922-05-4.
  Detail

  MATOUŠEK, P. Fuzzy matching as a technique for the name correction. MOSIS '99, Proceedings. Rožnov p.R.: unknown, 1999. p. 85-91. ISBN: 80-85988-33-X.
  Detail

• 1998

  MATOUŠEK, P. LDAP - Electronic White Pages. Lyon: 1998.
  Detail

  MATOUŠEK, P. Mailrouter-Automatic correction of mistyped email addresses using fuzzy match. Lyon: unknown, 1998.
  Detail

  MATOUŠEK, P. HEP Global Directory over LDAP. Batavia-Illinois: unknown, 1998.
  Detail

• 1997

  MATOUŠEK, P. Elektronické bílé stránky na FEI VUT. In Sborník prací studentů a doktorandů 1997. Brno: Fakulta elektrotechniky a informatiky VUT, 1997. s. 151-153. ISBN: 80-214-0637-2.
  Detail

*) Citace se generují jednou za 24 hodin.