NES@FIT - Networks and distributed systems research group

Publications

  • 2024

    HRANICKÝ Radek, HORÁK Adam, POLIŠENSKÝ Jan, JEŘÁBEK Kamil and RYŠAVÝ Ondřej. Unmasking the Phishermen: Phishing Domain Detection with Machine Learning and Multi-Source Intelligence. In: Proceedings of IEEE/IFIP Network Operations and Management Symposium 2024. Soul: Institute of Electrical and Electronics Engineers, 2024, pp. 1-5. ISBN 979-8-3503-2794-6.
    Detail

    MUTUA Nelson Makau, NADJM-TEHRANI Simin and MATOUŠEK Petr. Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systrems. In: 2024, pp. 1-19.
    Detail

    MATOUŠEK Petr, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. In: Proceedings of 20th International Conference on Network and Service Management. Prague, 2024, pp. 1-5.
    Detail

    BURGETOVÁ Ivana, MATOUŠEK Petr and RYŠAVÝ Ondřej. Towards Identification of Network Applications in Encrypted Traffic. In: 2024, p. 9.
    Detail

  • 2023

    HAVLENA Vojtěch, MATOUŠEK Petr, RYŠAVÝ Ondřej and HOLÍK Lukáš. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, vol. 2023, no. 14, pp. 2352-2366. ISSN 1949-3053.
    Detail

    POLČÁK Libor, SALOŇ Marek, MAONE Giorgio, HRANICKÝ Radek and MCMAHON Michael. JShelter: Give Me My Browser Back. In: Proceedings of the 20th International Conference on Security and Cryptography. Řím: SciTePress - Science and Technology Publications, 2023, pp. 287-294. ISBN 978-989-758-666-8.
    Detail

    VONDRÁČEK Martin, BAGGILI Ibrahim, CASEY Peter and MEKNI Mehdi. Rise of the Metaverse's Immersive Virtual Reality Malware and the Man-in-the-Room Attack & Defenses. Computers and Security, vol. 127, no. 1, 2023, pp. 1-13. ISSN 0167-4048.
    Detail

    JEŘÁBEK Kamil, HYNEK Karel, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. DNS over HTTPS Detection Using Standard Flow Telemetry. IEEE Access, vol. 2023, no. 11, pp. 50000-50012. ISSN 2169-3536.
    Detail

    IMERI Arbnor and RYŠAVÝ Ondřej. Deep learning for predictive alerting and cyber-attack mitigation. In: IEEE 13th Annual Computing and Communication Workshop and Conference, CCWC 2023. Las Vegas: IEEE Computer Society, 2023, pp. 476-481. ISBN 978-3-319-93490-7.
    Detail

    BURGET Radek. Scraping Data from Web Pages using SPARQL Queries. In: Web Engineering - 23rd International Conference, ICWE 2023. Lecture Notes in Computer Science. Alicante: Springer Nature Switzerland AG, 2023, pp. 293-300. ISBN 978-3-031-34443-5.
    Detail

    BURGET Radek and SALEM Hamza. Creating Searchable Web Page Snapshots using Semantic Technologies. In: Web Engineering - 23rd International Conference, ICWE 2023. Lecture Notes in Computer Science. Alicante: Springer Nature Switzerland AG, 2023, pp. 355-358. ISBN 978-3-031-34443-5.
    Detail

    POLČÁK Libor and JEŘÁBEK Kamil. Data Protection and Security Issues with Network Error Logging. In: Proceedings of the 20th International Conference on Security and Cryptography. Řím: SciTePress - Science and Technology Publications, 2023, pp. 683-690. ISBN 978-989-758-666-8.
    Detail

    PEŠEK Jaroslav, PLNÝ Richard, KOUMAR Josef, JEŘÁBEK Kamil and ČEJKA Tomáš. Augmenting Monitoring Infrastructure For Dynamic Software-Defined Networks. In: 8th International Conference on Smart and Sustainable Technologies (SpliTech). Split, 2023, pp. 1-4.
    Detail

    POLČÁK Libor and SLEZÁKOVÁ Alexandra. Data Exfiltration by Hotjar Revisited. In: Proceedings of the 19th International Conference on Web Information Systems and Technologies. Řím: SciTePress - Science and Technology Publications, 2023, pp. 347-354. ISBN 978-989-758-672-9.
    Detail

    RADER Roman, JEŘÁBEK Kamil and RYŠAVÝ Ondřej. Detecting DoH-Based Data Exfiltration: FluBot Malware Case Study. In: IEEE 48th Conference on Local Computer Networks (LCN). Daytona Beach: IEEE Computer Society, 2023, pp. 50-54. ISBN 979-8-3503-0074-1.
    Detail

    DOLEJŠKA Daniel, KOUTENSKÝ Michal, VESELÝ Vladimír and PLUSKAL Jan. Busting up Monopoly: Methods for Modern Darknet Marketplace Forensics. Forensic Science International: Digital Investigation, vol. 46, no. 1, 2023, pp. 1-11. ISSN 2666-2817.
    Detail

  • 2022

    POLČÁK Libor and MATOUŠEK Petr. 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, pp. 47-58. ISBN 978-989-758-590-6.
    Detail

    JEŘÁBEK Kamil, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Measurement and characterization of DNS over HTTPS traffic. arXiv.org, vol. 2022, no. 2204, pp. 1-27. ISSN 2331-8422.
    Detail

    JEŘÁBEK Kamil, HYNEK Karel, ČEJKA Tomáš and RYŠAVÝ Ondřej. Collection of Datasets with DNS over HTTPS Traffic. Data in Brief, vol. 2022, no. 42, pp. 1-13. ISSN 2352-3409.
    Detail

    DOLEJŠKA Daniel, VESELÝ Vladimír, PLUSKAL Jan and KOUTENSKÝ Michal. Shedding Light on Monopoly: Temporal Analysis of Drug Trades. In: 13th EAI International Conference, ICDF2C 2022, Boston, MA, November 16-18, 2022, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Boston, MA: Springer Nature Switzerland AG, 2022, pp. 151-168. ISBN 978-3-031-36573-7. ISSN 1867-8211.
    Detail

    PLUSKAL Jan and VESELÝ Vladimír. Intercepting and Collecting Web Evidence in the Times of TLS1.3 and HTTP3.0. ISS World Europe 2022, Praha, 2022.
    Detail

    DOLEJŠKA Daniel, VESELÝ Vladimír, GRÉGR Matěj and JEŘÁBEK Vladimír. Možnosti monitorování a korelování aktivit na temných tržišť při ztotožňování uživatelů. Brno, 2022.
    Detail

  • 2021

    MATOUŠEK Petr, BURGETOVÁ Ivana, RYŠAVÝ Ondřej and VICTOR Malombe. 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, vol. 351. Boston: Springer International Publishing, 2021, pp. 1-22. ISBN 978-3-030-68733-5.
    Detail

    MATOUŠEK Petr, HAVLENA Vojtěch and HOLÍK Lukáš. 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, pp. 81-89. ISBN 978-3-903176-32-4.
    Detail

    MATOUŠEK Petr and RYŠAVÝ Ondřej. 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, pp. 148-153. ISBN 978-1-7281-9324-3.
    Detail

    MATOUŠEK Petr, RYŠAVÝ Ondřej and POLČÁK Libor. 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, pp. 938-943. ISBN 978-3-903176-32-4.
    Detail

    MATOUŠEK Petr and KRAJČ Patrik. Monitoring of IoT Devices Using SNMP. IT-TR-2020-10, Brno: Faculty of Information Technology BUT, 2021.
    Detail

    MATOUŠEK Petr, PRISTAŠ Ján and MASÁROVÁ Mária. Simulation of Industrial Processes using I/O Factory and UniPi. IT-TR-2020-09, Brno: Faculty of Information Technology BUT, 2021.
    Detail

    RYŠAVÝ Ondřej and MATOUŠEK Petr. 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, pp. 144-151. ISBN 978-1-4503-9057-6.
    Detail

    BURGETOVÁ Ivana, MATOUŠEK Petr and MUTUA Nelson Makau. Statistical Methods for Anomaly Detection in Industrial Communication. IT-TR-2021-01, Brno: Faculty of Information Technology BUT, 2021.
    Detail

    BURGETOVÁ Ivana, MATOUŠEK Petr and RYŠAVÝ Ondřej. 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, pp. 166-172. ISBN 978-3-903176-36-2.
    Detail

    MATOUŠEK Petr and GROFČÍK Peter. ICS Virtual Testbed. FIT-TR-2021-02, Brno: Faculty of Information Technology BUT, 2021.
    Detail

    MUTUA Nelson Makau and MATOUŠEK Petr. Outlier Detection in Smart Grid Communication. In: Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference. Munich, 2021, pp. 1-4.
    Detail

    HOLKOVIČ Martin, BOHUŠ Michal and RYŠAVÝ Ondřej. Network Problem Diagnostics using Typographic Error Correction. In: Proceedings of the 17th International Conference on Network Service Management (CNSM 2021). Izmir: Institute of Electrical and Electronics Engineers, 2021, pp. 482-490. ISBN 978-3-903176-36-2.
    Detail

    UHLÁR Juraj, HOLKOVIČ Martin and RUSŇÁK Vít. PCAPFunnel: A Tool for Rapid Exploration of Packet Capture Files. In: 2021 25TH INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV): AI & VISUAL ANALYTICS & DATA SCIENCE. Sydney: IEEE Biometric Council, 2021, pp. 69-76. ISBN 978-1-6654-3827-8. ISSN 2375-0138.
    Detail

    POLČÁK Libor. CVE-2021-34571, CVE-2021-34572, CVE-2021-34573, CVE-2021-34576. Frankfurt am Main, 2021.
    Detail

    MATOUŠEK Petr. Bezpečnostní rizika IoT. Brno, 2021.
    Detail

    VESELÝ Vladimír and ZAVŘEL Jan. Quality Control Methodology for Simulation Models of Computer Network Protocols. In: Proceedings of 8th Virutal OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2021, pp. 1-19. ISSN 2331-8422.
    Detail

    MATOUŠEK Petr. Security of Smart Grid Communication. Brno: Faculty of Information Technology BUT, 2021.
    Detail

  • 2020

    POLČÁK Libor, RYŠAVÝ Ondřej and MATOUŠEK Petr. 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, pp. 45-52. ISBN 978-989-758-445-9.
    Detail

    KOUTENSKÝ Michal, VESELÝ Vladimír and MAFFIONE Vincenzo. Bandwidth-driven Flow Allocation Policy for RINA. In: Proceedings of the 23rd Conference on Innovation in Clouds, Internet and Networks (ICIN 2020). Paris: IEEE Communications Society, 2020, pp. 51-56. ISBN 978-1-7281-5127-4.
    Detail

    POLČÁK Libor. Soukromí uživatelů v prostředí internetové reklamy na českém webu. DSM Data Security Management, vol. 2020, no. 1, pp. 11-16. ISSN 1211-8737.
    Detail

    HOLKOVIČ Martin, POLČÁK Libor and RYŠAVÝ Ondřej. Application Error Detection in Networks by Protocol Behavior Model. In: Communications in Computer and Information Science. Praha: Springer Verlag, 2020, pp. 3-28. ISBN 978-3-030-52685-6. ISSN 1865-0929.
    Detail

    HOLKOVIČ Martin and RYŠAVÝ Ondřej. Using Rule-Based Decision Trees for Automatic Passive Diagnostics of the Network Problems. International Journal on Advances in Networks and Services, vol. 2020, no. 1, pp. 1-10. ISSN 1942-2644.
    Detail

    KOUTENSKÝ Michal, VESELÝ Vladimír and MAFFIONE Vincenzo. Addressing Bandwidth-driven Flow Allocation in RINA. Computers, vol. 9, no. 3, 2020, pp. 1-23. ISSN 2073-431X.
    Detail

    YOUSSEF Sawsan and RYŠAVÝ Ondřej. Behavioral Anomaly Detection in Industrial Control Systems: An Evaluation of Flowmon ADS. FIT-TR-2020-02, Brno: Faculty of Information Technology BUT, 2020.
    Detail

    YOUSSEF Sawsan and RYŠAVÝ Ondřej. Proposed Method for Partial Node Replacement by Software Defined Network. In: Position Papers of the 2020 Federated Conference on Computer Science and Information Systems. Annals of Computer Science and Information Systems, vol. 22. Warsaw: Polish Information Processing Society, 2020, pp. 11-14. ISBN 978-83-959183-0-8. ISSN 2300-5963.
    Detail

    HOLKOVIČ Martin, BOHUŠ Michal and RYŠAVÝ Ondřej. Pattern Detection Based Network Diagnostics. In: Proceedings of the 17th International Joint Conference on e-Business and Telecommunications. Setubal: SciTePress - Science and Technology Publications, 2020, pp. 35-42. ISBN 978-989-758-445-9.
    Detail

    HRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch, MÚČKA Matúš, HORÁK Adam, BOLVANSKÝ Dávid and ŽENČÁK Tomáš. The architecture of Fitcrack distributed password cracking system, version 2. FIT-TR-2020-04, Brno: Faculty of Information Technology BUT, 2020.
    Detail

    BURGET Radek and RYCHLÝ Marek. Extrakce událostí ze souborových systémů - Návrh a implementace distribuované architektury. FIT-TR-2020-08, Brno: Faculty of Information Technology BUT, 2020.
    Detail

    MATOUŠEK Petr, RYŠAVÝ Ondřej, HAVLENA Vojtěch and GRÉGR Matěj. Flow based monitoring of ICS communication in the smart grid. Journal of Information Security and Applications, vol. 2020, no. 54, pp. 102535-102535. ISSN 2214-2126.
    Detail

    MATOUŠEK Petr, BURGETOVÁ Ivana and VICTOR Malombe. Mobile Device Fingerprinting. FIT-TR-2020-05, Brno, 2020.
    Detail

    VICTOR Malombe. PC Browser and Android Applications Fingerprinting. Brno, 2020.
    Detail

    WACHIURI Simon. Security Analysis of the GOOSE Communication Protocol Using Statistical Profiling. Brno, 2020.
    Detail

    MUTUA Nelson Makau. Application of Approximate Matching on Industrial Control System (ICS) Network Communication Using Ssdeep Algorithm. Brno, 2020.
    Detail

    HAVLENA Vojtěch, HOLÍK Lukáš and MATOUŠEK Petr. Learning Probabilistic Automata in the Context of IEC 104. IT-TR-2020-01, Brno: Faculty of Information Technology BUT, 2020.
    Detail

    HRANICKÝ Radek. Forenzní analýza šifrovaných dat. DSM Data Security Management, vol. 2020, no. 4, pp. 14-18. ISSN 1211-8737.
    Detail

    PLUSKAL Jan. SSL/TLS Interception Workshop (TLS1.3 edition). Dubai, 2020.
    Detail

    PLUSKAL Jan. Towards Fully Automated Infinitely Scalable and Maximally Effective Password Cracking of Encrypted Documents. Dubai, 2020.
    Detail

    VESELÝ Vladimír and ZAVŘEL Jan. Enhanced Interior Gateway Routing Protocol. Budapešť, 2020.
    Detail

  • 2019

    JEŘÁBEK Kamil and VESELÝ Vladimír. One of the Ways How to Make RIB Distributed. In: Proceedings of the 22nd Conference on Innovation in Clouds, Internet and Networks (ICIN 2019). Paříž: IEEE Communications Society, 2019, pp. 49-53. ISBN 978-1-5386-3458-5.
    Detail

    LETAVAY Viliam, PLUSKAL Jan and RYŠAVÝ Ondřej. A Scalable Architecture for Network Traffic Forensics. In: The Fifteenth International Conference on Networking and Services ICNS 2019. Athens: The International Academy, Research and Industry Association, 2019, pp. 32-36. ISBN 978-1-61208-711-5.
    Detail

    VESELÝ Vladimír. Towards Fully Automated Infinitely Scalable and Maximally Effective Password Cracking of Encrypted Documents. Dubai, 2019.
    Detail

    VESELÝ Vladimír. Hunting Down Cryptocurrency Users. Dubaj, 2019.
    Detail

    HRANICKÝ Radek, LIŠTIAK Filip, MIKUŠ Dávid and RYŠAVÝ Ondřej. On Practical Aspects of PCFG Password Cracking. In: Data and Applications Security and Privacy. Charleston: Springer Nature Switzerland AG, 2019, pp. 43-60. ISBN 978-3-030-22478-3. ISSN 0302-9743.
    Detail

    HRANICKÝ Radek, ZOBAL Lukáš, RYŠAVÝ Ondřej and KOLÁŘ Dušan. Distributed password cracking with BOINC and hashcat. Digital Investigation, vol. 30, no. 1, 2019, pp. 161-172. ISSN 1742-2876.
    Detail

    KOCMAN Tomáš. Představení knihovny Scrapy pro tvorbu web crawlerů. ROOT, informace nejen ze světa Linuxu, vol. 2019, no. 2019. ISSN 1212-8309.
    Detail

    PLUSKAL Jan, VONDRÁČEK Martin and RYŠAVÝ Ondřej. Network Forensics in GSE Overlay Networks. In: ECBS '19: Proceedings of the 6th Conference on the Engineering of Computer Based Systems. Bukurešť: Association for Computing Machinery, 2019, pp. 1-10. ISBN 978-1-4503-7636-5.
    Detail

    JEŘÁBEK Kamil and RYŠAVÝ Ondřej. Big Data Network Flow Processing Using Apache Spark. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems (ECBS 2019), 2019. Bukurešť: Association for Computing Machinery, 2019, pp. 1-9. ISBN 978-1-4503-7636-5.
    Detail

    LETAVAY Viliam, PLUSKAL Jan and RYŠAVÝ Ondřej. Network Forensic Analysis for Lawful Enforcement Steroids, Distributed and Scalable. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems (ECBS 2019), 2019. Bucharest: Association for Computing Machinery, 2019, pp. 1-10. ISBN 978-1-4503-7636-5.
    Detail

    HOLKOVIČ Martin and RYŠAVÝ Ondřej. Network Diagnostics Using Passive Network Monitoring and Packet Analysis. In: ICNS 2019. The Fifteenth International Conference on Networking and Services. Athens: The International Academy, Research and Industry Association, 2019, pp. 47-51. ISBN 978-1-61208-711-5.
    Detail

    HOLKOVIČ Martin, RYŠAVÝ Ondřej and DUDEK Jindřich. Automating Network Security Analysis at Packet-level by using Rule-based Engine. In: Proceedings of the Sixth European Conference on the Engineering of Computer-Based Systems. Bucharest: Association for Computing Machinery, 2019, pp. 1-8. ISBN 978-1-4503-7636-5.
    Detail

    HOLKOVIČ Martin, RYŠAVÝ Ondřej and POLČÁK Libor. Using Network Traces to Generate Models for Automatic Network Application Protocols Diagnostics. In: Proceedings of the 16th International Joint Conference on e-Business and Telecommunications Volume 1: DCNET, ICE-B, OPTICS, SIGMAP and WINSYS. Praha: SciTePress - Science and Technology Publications, 2019, pp. 37-47. ISBN 978-989-758-378-0.
    Detail

    MATOUŠEK Petr, RYŠAVÝ Ondřej and GRÉGR Matěj. Increasing Visibility of IEC 104 Communication in the Smart Grid. In: 6th International Symposium for ICS & SCADA Cyber Security Research 2019. Swindon: BCS Learning and Development Ltd., 2019, pp. 21-30. ISBN 978-1-78017-523-2.
    Detail

    VESELÝ Vladimír, MAREK Marcel and JEŘÁBEK Kamil. RINASim. EAI/Springer Innovations in Communication and Computing, vol. 2019, no. 1, pp. 139-181. ISBN 978-3-030-12842-5. ISSN 2522-8595.
    Detail

    POLČÁK Libor. Wireless M-Bus: Kdo ví, že perete?. DSM Data Security Management, vol. 2019, no. 4, pp. 13-17. ISSN 1211-8737.
    Detail

    VESELÝ Vladimír, MAREK Marcel, JEŘÁBEK Kamil and NOVÁK Adrián. Everything You Always Wanted to Know About BGPv4 in OMNeT++ But Were Afraid to Ask. In: Proceedings of 6th OMNeT++ Community Summit. Manchester: EasyChair, 2019, pp. 1-8. ISSN 2398-7340.
    Detail

    MATOUŠEK Petr, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Extending Networking Curriculum with Applied Artificial Intelligence. In: Proceedings of EAEEIE 2019. Ruse: Institute of Electrical and Electronics Engineers, 2019, pp. 11-16. ISBN 978-1-7281-3222-8.
    Detail

    VESELÝ Vladimír and ŽÁDNÍK Martin. How to detect cryptocurrency miners? By traffic forensics!. Digital Investigation, vol. 31, no. 31, 2019, pp. 1-14. ISSN 1742-2876.
    Detail

    MATOUŠEK Petr, RYŠAVÝ Ondřej and GRÉGR Matěj. 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, pp. 1-9. ISBN 978-1-4503-7636-5.
    Detail

    RYŠAVÝ Ondřej and MATOUŠEK Petr. An IPFIX Extension for MQTT Protocol Monitoring. FIT-TR-2019-01, Brno: Faculty of Information Technology BUT, 2019.
    Detail

    GRÉGR Matěj. Study on visual representation of IoT diagnostic information. Brno, 2019.
    Detail

    PLUSKAL Jan, KOUTENSKÝ Michal, VONDRÁČEK Martin and RYŠAVÝ Ondřej. Network Forensic Investigations of Tunneled Traffic: A Case Study. Revue roumaine des sciences techniques. Série électrotechnique et énergétique, vol. 64, no. 4, 2019, pp. 429-434. ISSN 0035-4066.
    Detail

    HRANICKÝ Radek, MIKUŠ Dávid and ZOBAL Lukáš. Lámání hesel pomocí pravděpodobnostních gramatik. FIT-TR-2019-03, Brno: Faculty of Information Technology BUT, 2019.
    Detail

    JEŘÁBEK Kamil. Big Data cluster založený na kontejnerech. FIT-TR-2019-04, Brno: Faculty of Information Technology BUT, 2019.
    Detail

    JEŘÁBEK Kamil. DNS Over HTTPS Analysis and Detection in Regular HTTPS. FIT-TR-2019-05, Brno: Faculty of Information Technology BUT, 2019.
    Detail

    VESELÝ Vladimír. Hunting Down Cryptocurrency Users. Praha, 2019.
    Detail

    VESELÝ Vladimír. Cryptocurrency Investigation Workshop. Kuala Lumpur, 2019.
    Detail

    PLUSKAL Jan and VESELÝ Vladimír. SSL/TLS Interception Workshop (TLS1.3 edition). Kuala Lumpur, 2019.
    Detail

    PLUSKAL Jan and VESELÝ Vladimír. SSL/TLS Interception Workshop. Praha, 2019.
    Detail

    VESELÝ Vladimír. Towards Fully Automated Infinitely Scalable and Maximally Effective Password Cracking of Encrypted Documents. Praha, 2019.
    Detail

    VESELÝ Vladimír. Workshop on Evidence Collection and Analysis of Webpages. Kuala Lumpur, 2019.
    Detail

  • 2018

    PLUSKAL Jan, LICHTNER Ondrej and RYŠAVÝ Ondřej. Traffic Classification and Application Identification in Network Forensics. In: Fourteenth Annual IFIP WG 11.9 International Conference on Digital Forensics. New Delhi: Springer International Publishing, 2018, pp. 161-181. ISBN 978-3-319-99277-8. ISSN 1868-4238.
    Detail

    RYCHLÝ Marek and RYŠAVÝ Ondřej. Big Data Security Analysis with TARZAN Platform. Journal of Cyber Security and Mobility, vol. 8, no. 2, 2018, pp. 165-188. ISSN 2245-1439.
    Detail

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

    VONDRÁČEK Martin, PLUSKAL Jan and RYŠAVÝ Ondřej. Automated Man-in-the-Middle Attack Against Wi-Fi Networks. The Journal of Digital Forensics, Security and Law, vol. 2018, no. 13, pp. 59-80. ISSN 1558-7215.
    Detail

    MATOUŠEK Petr. Description of IEC 61850 Communication. FIT-TR-2018-01, Brno: Faculty of Information Technology BUT, 2018.
    Detail

    PLUSKAL Jan and VESELÝ Vladimír. TLS/SSL Decryption Workshop. Praha, 2018.
    Detail

    VESELÝ Vladimír. Cryptocurrency Forensics Utilizing a Multi-currency Blockchain Explorer. Praha, 2018.
    Detail

    VESELÝ Vladimír. Hunting Down Cryptocurrency Users. Kuala Lumpur, 2018.
    Detail

    VESELÝ Vladimír and PLUSKAL Jan. SSL/TLS Interception Workshop. Kuala Lumpur, 2018.
    Detail

    VESELÝ Vladimír. Towards Fully Automated Infinitely Scalable and Maximally Effective Password Cracking of Encrypted Documents. Kuala Lumpur, 2018.
    Detail

    HRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch and MÚČKA Matúš. Distribuce výpočtů pro nástroj hashcat. FIT-TR-2018-04, Brno, 2018.
    Detail

    POLČÁK Libor. Co skrývá síť BitTorrent?. FIT-TR-2018-05, Brno, 2018.
    Detail

    HRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch and MÚČKA Matúš. The architecture of Fitcrack distributed password cracking system. FIT-TR-2018-03, Brno: Faculty of Information Technology BUT, 2018.
    Detail

    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: 2018 28th EAEEIE Annual Conference, EAEEIE 2018. Hafnarfjordur: Institute of Electrical and Electronics Engineers, 2018, pp. 1-6. ISBN 978-1-5386-7711-7.
    Detail

    GRÉGR Matěj. Souhrnná zpráva k projektu DDoS ochrana člena sdružení CESNET. Brno: CESNET National Research and Education Network, 2018.
    Detail

  • 2017

    PLUSKAL Jan and RYŠAVÝ Ondřej. Detection, and Analysis of SIP Fraud Attack on 100Gb Ethernet with NEMEA System. Pristina, 2017.
    Detail

    HRANICKÝ 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.
    Detail

    RYCHLÝ Marek and RYŠAVÝ Ondřej. TARZAN: An Integrated Platform for Security Analysis. In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Annals of Computer Science and Information Systems, Volume 11. Praha: IEEE Computer Society, 2017, pp. 561-567. ISBN 978-83-946253-7-5.
    Detail

    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 978-1-7281-0907-7.
    Detail

    VONDRÁČEK Martin, PLUSKAL Jan and RYŠAVÝ Ondřej. Automation of MitM Attack on Wi-Fi Networks. In: 9th International Conference on Digital Forensics & Cyber Crime. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series (LNICST), vol. 2018. Prague: Springer International Publishing, 2017, pp. 207-220. ISBN 978-3-319-73696-9. ISSN 1867-8211.
    Detail

    MAREK Marcel, RYŠAVÝ Ondřej and VESELÝ Vladimír. Towards analysis of IP communication in a constrained environment of tactical radio networks. In: Proceedings of European Conference on the Engineering of Computer Based Systems. Larnaca: Association for Computing Machinery, 2017, pp. 50-57. ISBN 978-1-4503-4843-0.
    Detail

    POLČÁK Libor. Základní informace o síti Tor. FIT-TR-2017-01, Brno, 2017.
    Detail

    BAGGILI Ibrahim, BREITINGER Frank and KARPÍŠEK Filip. Leveraging the SRTP protocol for over-the-network memory acquisition of a GE Fanuc Series 90-30. Digital Investigation, vol. 2017, no. 22, pp. 26-38. ISSN 1742-2876.
    Detail

    PLUSKAL Jan, LICHTNER Ondrej and RYŠAVÝ Ondřej. Netfox Detective - Identifikace aplikačních protokolů pomocí algoritmů strojového učení. FIT-TR-2017-05, 2017.
    Detail

    PLUSKAL Jan. Netfox Detective 2.0 - Nástroj pro síťovou forenzní analýzu. FIT-TR-2017-06: Faculty of Information Technology BUT, 2017.
    Detail

    MATOUŠEK Petr. Description and analysis of IEC 104 Protocol. FIT-TR-2017-12, Brno: Faculty of Information Technology BUT, 2017.
    Detail

    VESELÝ Vladimír. Detekce kryptoměnových těžařů. FIT-TR-2017-03, Brno, 2017.
    Detail

    RYCHLÝ Marek and RYŠAVÝ Ondřej. Platforma pro zpracovaní dat síťové forenzní analýzy. FIT-TR-2017-07, Brno, 2017.
    Detail

    RYŠAVÝ Ondřej. Analysis of Constrained Application Protocol. FIT-TR-2017-15, Brno: Faculty of Information Technology BUT, 2017.
    Detail

    RYŠAVÝ Ondřej. Security Monitoring of LwM2M communication. FIT-TR-2017-16, Brno: Faculty of Information Technology BUT, 2017.
    Detail

    MATOUŠEK Petr. Analysis of DLMS Protocol. FIT-TR-2017-13, Brno, 2017.
    Detail

    GRÉGR Matěj. Souhrnná zpráva k projektu DDoS ochrana člena sdružení CESNET. Brno: CESNET National Research and Education Network, 2017.
    Detail

    VESELÝ Vladimír and RAJCA Tomáš. Discovering Neighbor Devices in Computer Network - Development of CDP and LLDP Simulation Modules for OMNeT++. In: Proceedings of 4th OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2017, pp. 1-4. ISSN 2331-8422.
    Detail

    VESELÝ Vladimír, HOLUŠA Jan and RYŠAVÝ Ondřej. First-hop Redundancy Protocols in OMNeT++. In: Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH. Madrid: SciTePress - Science and Technology Publications, 2017, pp. 331-339. ISBN 978-989-758-265-3.
    Detail

    MATOUŠEK Petr. Detekce mobilních zařízení v síťové komunikaci. FIT-TR-2017-08, Brno: Faculty of Information Technology BUT, 2017.
    Detail

  • 2016

    POLČÁK Libor, CALDAROLA Leo, CUDA Davide, DONDERO Marco, FICARA Domenico, FRANKOVÁ Barbora, HOLKOVIČ Martin, CHOUKIR Amine, MUCCIFORA Roberto and TRIFILO Antonio. High Level Policies in SDN. In: Communications in Computer and Information Science. Berlin: Springer International Publishing, 2016, pp. 39-57. ISBN 978-3-319-30221-8. ISSN 1865-0929.
    Detail

    KARMAZÍN Jaromír and OČENÁŠEK Pavel. The state of Near-Field Communication (NFC) on the Android platform. In: Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science, vol. 9750. Toronto: Springer Verlag, 2016, pp. 247-254. ISBN 978-3-319-39380-3. ISSN 0302-9743.
    Detail

    GRASA Eduard, RYŠAVÝ Ondřej, LICHTNER Ondrej, ASGARI Hamid, DAY John and CHITKUSHEV Lou. From protecting protocols to layers: designing, implementing and experimenting with security policies in RINA. In: 2016 IEEE International Conference on Communications (ICC). Kuala-Lumpur: Institute of Electrical and Electronics Engineers, 2016, pp. 736-742. ISBN 978-1-4799-6665-3.
    Detail

    HRANICKÝ 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, vol. 11, no. 2, 2016, pp. 79-95. ISSN 1558-7215.
    Detail

    VESELÝ Vladimír, REK Vít and RYŠAVÝ Ondřej. Babel Routing Protocol for OMNeT++ - More than just a new simulation module for INET framework. In: Proceedings of 3rd OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2016, pp. 1-5. ISSN 2331-8422.
    Detail

    PLUSKAL Jan, RYŠAVÝ Ondřej and MATOUŠEK Petr. On the Identification of Applications from Captured Network Traffic. New York, 2016.
    Detail

    PLUSKAL Jan, VESELÝ Vladimír, GRÉGR Matěj and RYŠAVÝ Ondřej. TLS/SSL Decryption Workshop. Praha, 2016.
    Detail

    PLUSKAL Jan and RYŠAVÝ Ondřej. Network Forensic Tool Netfox Detective. Pristina, 2016.
    Detail

  • 2015

    CALDAROLA Leo, CHOUKIR Amine, CUDA Davide, DONDERO Marco, FICARA Domenico, MUCCIFORA Roberto, POLČÁK Libor and TRIFILO Antonio. Towards a real application-aware network. In: Proceedings of the 6th International Conference on Data Communication Networking (DCNET-2015). Colmar: SciTePress - Science and Technology Publications, 2015, pp. 5-12. ISBN 978-989-758-112-0.
    Detail

    POLČÁK Libor and FRANKOVÁ Barbora. Clock-Skew-Based Computer Identification: Traps and Pitfalls. Journal of Universal Computer Science, vol. 21, no. 9, 2015, pp. 1210-1233. ISSN 0948-6968.
    Detail

    OČENÁŠEK Pavel and TRCHALÍK Roman. System for Remote Monitoring of Engineering Services. In: International Conference on Advances in Manufacturing and Materials Engineering (ICAMME 2014). Chennai: Elsevier Science, 2015, pp. 1-3. ISBN 978-1-63439-365-2.
    Detail

    OČENÁŠEK Pavel. Effective Synchronization of Data in Distributed Systems. In: Information, Computer and Application Engineering - Proceedings of the International Conference on Information Technology and Computer Application Engineering, ITCAE 2014. Leiden: CRC Press LLC, 2015, pp. 177-180. ISBN 978-1-138-02717-6.
    Detail

    VESELÝ Vladimír and RYŠAVÝ Ondřej. Locator/Id Split Protocol Improvement for High-Availability Environment. In: Proceedings of The Eleventh International Conference on Networking and Services ICNS 2015. Roma: The International Academy, Research and Industry Association, 2015, pp. 61-67. ISBN 978-1-61208-404-6.
    Detail

    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.
    Detail

    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, vol. 2015, no. 157, pp. 69-84. ISSN 1867-8211.
    Detail

    PODERMAŃSKI Tomáš and GRÉGR Matěj. Bezpečné IPv6 : směrovač se hlásí. ROOT, informace nejen ze světa Linuxu, vol. 2014, no. 1, 2015, pp. 1-10. ISSN 1212-8309.
    Detail

    GRÉGR Matěj and PODERMAŃSKI Tomáš. Bezpečné IPv6: zkrocení zlých směrovačů. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
    Detail

    PODERMAŃSKI Tomáš and GRÉGR Matěj. Bezpečné IPv6: trable s hlavičkami. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
    Detail

    GRÉGR Matěj and PODERMAŃSKI Tomáš. Bezpečné IPv6: vícehlavý útočník. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
    Detail

    GRÉGR Matěj and PODERMAŃSKI Tomáš. Bezpečné IPv6: trable s multicastem. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
    Detail

    PODERMAŃSKI Tomáš and GRÉGR Matěj. Bezpečné IPv6: když dojde keš. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
    Detail

    PODERMAŃSKI Tomáš and GRÉGR Matěj. Bezpečné IPv6: když dojde keš - obrana. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
    Detail

    GRÉGR Matěj and PODERMAŃSKI Tomáš. Bezpečné IPv6: příliš mnoho sousedů. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
    Detail

    VESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš and RYŠAVÝ Ondřej. Skip This Paper - RINASim: Your Recursive InterNetwork Architecture Simulator. In: Proceedings of 2nd OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2015, pp. 1-4. ISSN 2331-8422.
    Detail

    GRÉGR Matěj, PODERMAŃSKI Tomáš, ŠOLTÉS Miroslav and ŽÁDNÍK Martin. IPv6: Bezpečná správa adresového prostoru. Brno: Ministry of Interior of the Czech Republic, 2015.
    Detail

    GRÉGR Matěj and PODERMAŃSKI Tomáš. IPv6: Doporučení pro konfiguraci aktivních prvků. Brno: Ministry of Interior of the Czech Republic, 2015.
    Detail

    GRÉGR Matěj and PODERMAŃSKI Tomáš. Metodika testování bezpečnostních vlastností IPv6 u aktivních prvků. Brno: Ministry of Interior of the Czech Republic, 2015.
    Detail

    FRANKOVÁ Barbora, HOLKOVIČ Martin and POLČÁK Libor. Optimalizace řízení a bezpečnosti síťových toků pomocí softwarově definovaných sítí. FIT-TR-2015-02, Brno: Faculty of Information Technology BUT, 2015.
    Detail

    KARPÍŠEK Filip, BAGGILI Ibrahim and BREITINGER Frank. WhatsApp network forensics: Decrypting and understanding the WhatsApp call signaling messages. Digital Investigation, vol. 2015, no. 15, pp. 110-118. ISSN 1742-2876.
    Detail

    OČENÁŠEK Pavel. Information and Communication Management in Business Information Systems. In: 2015 International Conference on Simulation, Modelling and Mathematical Statistics (SMMS 2015). Lancaster: DEStech Publications, Inc., 2015, pp. 384-388. ISBN 978-1-60595-112-6.
    Detail

    VESELÝ Vladimír, REK Vít and RYŠAVÝ Ondřej. Enhanced Interior Gateway Routing Protocol with IPv4 and IPv6 Support for OMNeT++. Advances in Intelligent Systems and Computing, vol. 402, no. 1, 2015, pp. 65-82. ISSN 2194-5357.
    Detail

    VESELÝ Vladimír and RYŠAVÝ Ondřej. Map-Cache Synchronization and Merged RLOC Probing Study for LISP. The International Journal on Advances in Intelligent Systems, vol. 2015, no. 34, pp. 494-506. ISSN 1942-2679.
    Detail

    VESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš, RYŠAVÝ Ondřej and LICHTNER Ondrej. Deliverable 2.4: RINASim - basic functionality. Brno, 2015.
    Detail

    VESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš, RYŠAVÝ Ondřej, LICHTNER Ondrej and JEŘÁBEK Kamil. Deliverable 2.6: RINASim - advanced functionality. Brno, 2015.
    Detail

    PODERMAŃSKI Tomáš and GRÉGR Matěj. Implementujeme Carrier Grade NAT: Nečekané nástrahy. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
    Detail

    PODERMAŃSKI Tomáš and GRÉGR Matěj. Implementujeme Carrier Grade NAT: Zálohování. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
    Detail

    PODERMAŃSKI Tomáš and GRÉGR Matěj. Implementujeme Carrier Grade NAT: Zákon, alternativy a IPv6. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
    Detail

    GRÉGR Matěj. Souhrnná zpráva k projektu Návrh systému pro testování zabezpečení sítě IPv6 a zpracování incidentů v prostoru privátních adres za rok 2015. Brno: CESNET National Research and Education Network, 2015.
    Detail

    PLUSKAL Jan and RYŠAVÝ Ondřej. Concepts of Intercepted Communication Processing with Netfox Detective. Praha, 2015.
    Detail

  • 2014

    POLČÁK Libor, JIRÁSEK Jakub and MATOUŠEK Petr. Comment on "Remote Physical Device Fingerprinting". IEEE Transactions on Dependable and Secure Computing, vol. 11, no. 5, 2014, pp. 494-496. ISSN 1545-5971.
    Detail

    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.
    Detail

    VESELÝ Vladimír. Virtualizace počítačových sítí. Sborník studijních materiálů ke kurzu Rozvoj kompetencí ve vyspělých technologiích a ve špičkovém výzkumu s využitím ICT. Hradec Králové, 2014. ISBN 978-80-7435-317-8.
    Detail

    POLČÁK Libor. Challenges in Identification in Future Computer Networks. In: ICETE 2014 Doctoral Consortium. Wien: SciTePress - Science and Technology Publications, 2014, pp. 15-24.
    Detail

    GREGA Wojciech, HILBURN Thomas B., KORNECKI Andrew J., MAYR Richard, PYLE Ian, ROZENBLIT Jerzy, RYŠAVÝ Ondřej, ŠVÉDA Miroslav, ZHANG Le and ZHANG Le. Proceedings of the International workshop on Cyber-Physical Systems. 2013 Federated Conference on Computer Science and Information Systems. Krakow: Elsevier Science, 2014, pp. 1-200. ISBN 978-1-4673-4471-5.
    Detail

    HALFAR Patrik and ŠVÉDA Miroslav. Cyber-Physical Information Systems for Enterprise Engineering -- Cyber-Physical Applications Timing. In: ICEIS Proceedings 2014. Lisabon: Institute for Systems and Technologies of Information, Control and Communication, 2014, pp. 1-7. ISBN 978-989-758-029-1.
    Detail

    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.
    Detail

    GRÉGR Matěj, PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. Measuring Quality and Penetration of IPv6 Services. In: The Tenth International Conference on Networking and Services. 74400 CHAMONIX MONT-BLANC: Institute for Systems and Technologies of Information, Control and Communication, 2014, pp. 96-101. ISBN 978-1-61208-330-8.
    Detail

    VESELÝ Vladimír, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. Protocol Independent Multicast in OMNeT++. In: The Tenth International Conference on Networking and Services. 74400 CHAMONIX MONT-BLANC: The International Academy, Research and Industry Association, 2014, pp. 132-137. ISBN 978-1-61208-330-8.
    Detail

    POLČÁK Libor and FRANKOVÁ Barbora. On Reliability of Clock-skew-based Remote Computer Identification. In: Proceedings of the 11th International Conference on Security and Cryptography. Wien: SciTePress - Science and Technology Publications, 2014, pp. 291-298. ISBN 978-989-758-045-1.
    Detail

    ŠVÉDA Miroslav. Dependability in Cyber-Physical Systems Network Applications. In: Proceedings of the 5th International Conference on Circuits, Systems, Control, Signals 2014. Invited Talk. Salerno: North Atlantic University Union, 2014, pp. 1-6. ISBN 978-1-61804-204-0.
    Detail

    COUFAL Zdeněk and POLČÁK Libor. Anonymizační síť Tor. FIT-TR-2014-02, Brno: Faculty of Information Technology BUT, 2014.
    Detail

    POLČÁK Libor, HRANICKÝ Radek and MARTÍNEK Tomáš. On Identities in Modern Networks. The Journal of Digital Forensics, Security and Law, vol. 2014, no. 2, pp. 9-22. ISSN 1558-7215.
    Detail

    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, vol. 2014, no. 2, pp. 99-110. ISSN 1558-7215.
    Detail

    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.
    Detail

    MATOUŠEK Petr, KMEŤ Martin and BASEL Martin. On-line Monitoring of VoIP Quality Using IPFIX. Advances in Electrical and Electronic Engineering, vol. 2014, no. 4, pp. 325-333. ISSN 1804-3119.
    Detail

    PLUSKAL Jan. NetFox.Framework - The network forensic extandable analysis tool. In: Proceedings of the 20th Conference STUDENT EEICT 2014 Volume 2. Brno: Brno University of Technology, 2014, pp. 280-282. ISBN 978-80-214-4923-7.
    Detail

    PLUSKAL Jan, RYŠAVÝ Ondřej and VESELÝ Vladimír. NetFox - The network forensic extandable analysis tool. In: 6th AFCEA Student Conference Future of Information and Communication Technology. Bucharest: University Politehnica of Bucharest, 2014, pp. 68-71. ISBN 978-606-551-047-0.
    Detail

    GRÉ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, vol. 2014, no. 1, pp. 1-20. ISSN 0572-3043.
    Detail

    VESELÝ Vladimír, BLOUDÍČEK Jan and RYŠAVÝ Ondřej. Enhanced Interior Gateway Routing Protocol for OMNeT++. In: Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014). Wien: SciTePress - Science and Technology Publications, 2014, pp. 50-58. ISBN 978-989-758-045-1.
    Detail

    KMEŤ Martin. Analýza a detekce typu multimediálních dat v provozu RTP. In: Proceedings of the 20th Conference STUDENT EEICT 2014 Volume 2. Brno: Brno University of Technology, 2014, pp. 274-276. ISBN 978-80-214-4923-7.
    Detail

    PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. IP45: Architecture, Design and Implementation. In: The 22nd IEEE International Conference on Network Protocols (ICNP 2014). The Research Triangle, North Carolina, USA: IEEE Computer Society, 2014, pp. 492-494. ISBN 978-1-4799-6204-4.
    Detail

    GRÉGR Matěj and ŠVÉDA Miroslav. Challenges with Transition and User Accounting in Next Generation Networks. In: Proceedings 2014 IEEE 22nd International Conference on Network Protocols. Raleigh, NC, USA: Institute of Electrical and Electronics Engineers, 2014, pp. 501-503. ISBN 978-1-4799-6203-7.
    Detail

    POLČÁK Libor, MARTÍNEK Tomáš, HRANICKÝ Radek, BÁRTA Stanislav, HOLKOVIČ Martin, FRANKOVÁ Barbora and KRAMOLIŠ Petr. Zákonné odposlechy v moderních sítích - Shrnutí výsledků skupiny pro zákonné odposlechy projektu Moderní prostředky pro boj s kybernetickou kriminalitou na Internetu nové generace. FIT-TR-2014-07, Brno: Faculty of Information Technology BUT, 2014.
    Detail

    HRANICKÝ Radek. Rozšíření systému pro zákonné odposlechy. In: Proceedings of the 20th Conference STUDENT EEICT 2014. Volume 2. Brno: Brno University of Technology, 2014, pp. 271-273. ISBN 978-80-214-4923-7.
    Detail

    VESELÝ Vladimír, MAREK Marcel, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. Multicast, TRILL and LISP Extensions for INET. International Journal on Advances in Networks and Services, vol. 2014, no. 4, pp. 240-251. ISSN 1942-2644.
    Detail

  • 2013

    DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr and ŠVÉDA Miroslav. On formal reachability analysis in networks with dynamic behavior. Telecommunication Systems, vol. 52, no. 2, 2013, pp. 919-929. ISSN 1018-4864.
    Detail

    OČENÁŠEK Pavel. Effective Design and Implementation of Distributed Business Information Systems. In: Proceedings of 2012 International Conference on Mechatronics and Applied Mechanics. Hong Kong: National Taiwan University, 2013, pp. 451-454. ISBN 978-3-03785-659-8. ISSN 1660-9336.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. On the Effective Internet Communication Filtering. In: Proceedings of the 2012 ICMCM Conference. Dubaj: Trans Tech Publications Inc., 2013, pp. 478-481. ISBN 978-3-03785-659-8. ISSN 1660-9336.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. Communication in Business Information Systems - New Perspectives. International Academic Research Journal of Business and Management, vol. 1, no. 7, 2013, pp. 87-92. ISSN 2227-1287.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. On the Effective Internet Communication Filtering. Applied Mechanics and Materials, vol. 2013, no. 307, pp. 478-481. ISSN 1660-9336.
    Detail

    OČENÁŠEK Pavel. Effective Design and Implementation of Distributed Business Information Systems. Applied Mechanics and Materials, vol. 2013, no. 307, pp. 451-454. ISSN 1660-9336.
    Detail

    VESELÝ Vladimír, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. IPv6 Unicast and IPv4 Multicast Routing in OMNeT++. In: Proceedings of the IEEE 6th International ICST Conference on Simulation Tools and Techniques. Cannes: International Communication Sciences and Technology Association, 2013, pp. 1-4. ISBN 978-1-936968-47-3.
    Detail

    OČENÁŠEK Pavel. The Practice of Global Internet Filtering. In: Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science, vol. 8030. Berlin Heidelberg: Springer Verlag, 2013, pp. 332-337. ISBN 978-3-642-39344-0. ISSN 0302-9743.
    Detail

    OČENÁŠEK Pavel and KARMAZÍN Jaromír. On the Secure and Safe Data Synchronization. In: Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science, vol. 8030. Berlin Heidelberg: Springer Verlag, 2013, pp. 326-331. ISBN 978-3-642-39344-0. ISSN 0302-9743.
    Detail

    ŠVÉDA Miroslav. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. In: Proceedings of the SCSI 2013. Recent Advances in Electrical Engineering Series, 16. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013, pp. 413-419. ISBN 978-1-61804-204-0.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach. In: IEEE Proceedings AFRICON 2013. New York: Institute of Electrical and Electronics Engineers, 2013, pp. 101-106. ISBN 978-1-4673-5943-6.
    Detail

    VESELÝ Vladimír. Map-cache Synchronization for Locator/ID Split Protocol. In: Proceedings of the 19th Conference Student EEICT 2013 Volume 3. Brno: Faculty of Information Technology BUT, 2013, pp. 234-239. ISBN 978-80-214-4695-3.
    Detail

    RYŠAVÝ Ondřej, RÁB Jaroslav and ŠVÉDA Miroslav. Improving security in SCADA systems through firewall policy analysis. In: Proceedings of the Federated Conference on Computer Science and Information Systems. Krakow: IEEE Computer Society, 2013, pp. 1435-1440. ISBN 978-1-4673-4471-5.
    Detail

    ŠVÉDA Miroslav and RYŠAVÝ Ondřej. Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems. In: Programmable Devices and Embedded Systems. Volume #12, vol. 2013. Laxenburg: IFAC, 2013, pp. 1-4. ISBN 978-3-902823-21-2. ISSN 1474-6670.
    Detail

    ŠVÉDA Miroslav. Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design. International Journal of Systems Applications, Engineering & Development, vol. 7, no. 5, 2013, pp. 263-270. ISSN 2074-1308.
    Detail

    VESELÝ Vladimír. LISP: nové paradigma ve směrování (1.). ROOT, informace nejen ze světa Linuxu, vol. 2013, no. 9, pp. 1-6. ISSN 1212-8309.
    Detail

    VESELÝ Vladimír. LISP: nové paradigma ve směrování (2.). ROOT, informace nejen ze světa Linuxu, vol. 2013, no. 9, pp. 1-6. ISSN 1212-8309.
    Detail

    VESELÝ Vladimír. LISP: nové paradigma ve směrování (3.). ROOT, informace nejen ze světa Linuxu, vol. 2013, no. 10, pp. 1-6. ISSN 1212-8309.
    Detail

    VESELÝ Vladimír. LISP: nové paradigma ve směrování (4.). ROOT, informace nejen ze světa Linuxu, vol. 2013, no. 10, pp. 1-6. ISSN 1212-8309.
    Detail

    VESELÝ Vladimír. LISP: nové paradigma ve směrování (5.). ROOT, informace nejen ze světa Linuxu, vol. 2013, no. 10, pp. 1-6. ISSN 1212-8309.
    Detail

    VESELÝ Vladimír and ŠVÉDA Miroslav. Comparison of Proposals Suggesting Internet Architecture Change. In: Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2013, pp. 1-11. ISBN 978-80-87952-00-9.
    Detail

    PODERMAŃSKI Tomáš. S IPv6 na věčné časy a nikdy jinak. Praha, 2013.
    Detail

    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.
    Detail

  • 2012

    OČENÁŠEK Pavel and MÍCHAL Luboš. Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae. In: Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011). Hongkong: Trans Tech Publications Inc., 2012, pp. 870-873. ISBN 978-3-03785-380-1. ISSN 1660-9336.
    Detail

    Š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. LNCS CCIS, Vol.222, vol. 2012. Heidelberg: Springer Science+Business Media B.V., 2012, pp. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929.
    Detail

    OČENÁŠEK Pavel and HRANÁČ Jakub. Design of Authentication and Key Distribution Protocols with Routing Functionality. Journal of Information & Communication Technology, vol. 5, no. 1, 2012, pp. 1-11. ISSN 1816-613X.
    Detail

    RYŠAVÝ Ondřej, ŠVÉDA Miroslav and VRBA Radimír. A Framework for Cyber-Physical Systems Design - A Concept Study. In: Proceedings ICONS 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012, pp. 79-82. ISBN 978-1-61208-184-7.
    Detail

    ŠVÉDA Miroslav, SEKLETÁR Michal, FIDLER Tomáš and RYŠAVÝ Ondřej. A High-level Network-wide Router Configuration Language. In: Proceedings ICN 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012, pp. 18-21. ISBN 978-1-61208-183-0.
    Detail

    GRÉGR Matěj, PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. User identification in IPV6 network. IP Networking 1 -- Theory and Practice. Žilina: Zilina University Publisher, 2012, pp. 5-8. ISBN 978-80-554-0494-3.
    Detail

    VESELÝ Vladimír and ŠVÉDA Miroslav. L2 protocols in OMNeT++. IP Networking 1 -- Theory and Practice. Žilina: Zilina University Publisher, 2012, pp. 37-40. ISBN 978-80-554-0494-3.
    Detail

    VESELÝ 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.
    Detail

    TRCHALÍK Roman and ŠVÉDA Miroslav. Unified Sensor Gateway Interconnection of Sensor Networks. In: Proceedings 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Sy. Programmable Devices and Embedded Systems, Volume # 11 | Part# 1, vol. 2012. Brno: Faculty of Electrical Engineering and Communication BUT, 2012, pp. 372-377. ISBN 978-3-902823-21-2. ISSN 1474-6670.
    Detail

    HALFAR Patrik, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Authorization Framework for Networked SCADA Systems. In: Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012, pp. 298-302. ISBN 978-0-7695-4664-3.
    Detail

    HALFAR Patrik and ŠVÉDA Miroslav. Networking in Cyber Physical Systems - A Concept Study. In: Proceedings of the International Workshop of Cyber Physical Systems. Bucharest: Romanian Academy, Publishing House of the Romanian Academy, 2012, pp. 50-53.
    Detail

    VESELÝ Vladimír. Comparison Study on Merging PCAP Files. In: Proceedings of the 18th Conference Student EEICT 2012 Volume 3. Brno: Faculty of Information Technology BUT, 2012, pp. 457-461. ISBN 978-80-214-4462-1.
    Detail

    GRÉGR Matěj, PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. Deploying IPv6 - practical problems from the campus perspective. Reykjavik, 2012.
    Detail

    OČENÁŠEK Pavel and MÍCHAL Luboš. Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae. Applied Mechanics and Materials, vol. 2012, no. 157, pp. 870-873. ISSN 1660-9336.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. Analysis and Filtering of Network Communication in ISP Firewalls. In: Proceedings of the Third International Conference on Theoretical and Mathematical Foundations of Computer Science. Denpasar: Information Engineering Research Institute, 2012, pp. 1-4.
    Detail

    VESELÝ Vladimír. Extended Comparison Study on Merging PCAP Files. ElectroScope, vol. 2012, no. 5, pp. 1-6. ISSN 1802-4564.
    Detail

    PODERMAŃSKI Tomáš. Security challenges in IPv6 from the campus perspective. Oslo, 2012.
    Detail

    GRÉGR Matěj, PODERMAŃSKI Tomáš and ŠOLTÉS Miroslav. Flow Based Monitoring of IPv6. Brno, 2012.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. Communication in Business Information Systems - New Perspectives. In: Proceedings of ARC 2012 International Conference on Business and Management. Bangalore: Siemens, Corporate Research and Development, 2012, pp. 257-262. ISBN 978-0-615-73960-1.
    Detail

    GRÉGR Matěj. Analysis of tunneled traffic. Brno, 2012.
    Detail

    GRÉGR Matěj. Testing implementations of NAT66. Helsinki, 2012.
    Detail

    PODERMAŃSKI Tomáš. IPv6 v praxi. Brno, 2012.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. Analysis and Filtering of Network Communication in ISP Firewalls. Lecture Notes in Information Technology, vol. 2012, no. 38, pp. 491-494. ISSN 2070-1918.
    Detail

    PLUSKAL Jan. Analýza a rekonstrukce komunikace typu instant messaging (YMSG a ICQ). In: Proceedings of the 18th Conference Student EEICT 2012 Volume 1. Brno: Faculty of Information Technology BUT, 2012, pp. 176-178. ISBN 978-80-214-4460-7.
    Detail

    HRANICKÝ Radek. Podvržená data v počítačových sítích. In: Proceedings of the 18th Conference Student EEICT 2012. Volume 1. Brno: Brno University of Technology, 2012, pp. 164-166. ISBN 978-80-214-4460-7.
    Detail

  • 2011

    ŠVÉDA Miroslav. Design Experience with Routing SW and Related Applications. In: Proceedings of The Tenth International Conference on Networks - ICN 2011. St. Maarten: International Academy, Research, and Industry Association, 2011, pp. 133-138. ISBN 978-1-61208-002-4.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. A Cyber-Physical System Design Approach. In: Proceedings of The Sixth International Conference on Systems - ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011, pp. 12-18. ISBN 978-1-61208-002-4.
    Detail

    Š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.
    Detail

    VOGEL Ivan, ZEDEK František and OČENÁŠEK Pavel. Constructing Phylogenetic Trees Based on Intra-Group Analysis of Human Mitochondrial DNA. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 165-169. ISBN 978-3-642-21792-0. ISSN 0302-9743.
    Detail

    OČENÁŠEK Pavel. An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 374-378. ISBN 978-3-642-21792-0.
    Detail

    OČENÁŠEK Pavel. Analysis of Authentication Protocols with Scyter: Case Study. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 359-365. ISBN 978-3-642-21792-0.
    Detail

    OČENÁŠEK Pavel and HRANÁČ Jakub. Routing Functionality in the Logic Approach for Authentication Protocol Design. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 366-373. ISBN 978-3-642-21792-0.
    Detail

    VOGEL Ivan, OČENÁŠEK Pavel and ZEDEK František. Computational molecular evolution - from mathematical models to novel distance metric based on intra-group analysis. In: EDS '11 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2011, pp. 264-269. ISBN 978-80-214-4303-7.
    Detail

    ELICH Martin, GRÉGR Matěj and ČELEDA Pavel. Monitoring of Tunneled IPv6 Traffic Using Packet Decapsulation and IPFIX. In: Traffic Monitoring and Analysis. Lecture Notes in Computer Science, vol. 6613. Vienna: Springer Verlag, 2011, pp. 64-71. ISBN 978-3-642-20304-6.
    Detail

    PODERMAŃSKI Tomáš and GRÉGR Matěj. IPv6 Mýty a skutečnost, díl IV. - Podpora autokonfigurace. Lupa.cz, vol. 2011, no. 1, p. 9. ISSN 1213-0702.
    Detail

    Š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.
    Detail

    PODERMAŃSKI Tomáš and GRÉGR Matěj. IPv6 Mýty a skutečnost, díl V. - Zjednodušené hlavičky. Lupa.cz, vol. 2011, no. 1, p. 6. ISSN 1213-0702.
    Detail

    PODERMAŃSKI Tomáš and GRÉGR Matěj. IPv6 Mýty a skutečnost, díl VI. - Bezpečnostní mechanizmy. Lupa.cz, vol. 2011, no. 1, p. 6. ISSN 1213-0702.
    Detail

    PODERMAŃSKI Tomáš and GRÉGR Matěj. IPv6 Mýty a skutečnost, díl VIII. - Přechodové mechanizmy. Lupa.cz, vol. 2011, no. 1, p. 7. ISSN 1213-0702.
    Detail

    POLČÁK Libor. Designing Lawful Interception System. In: Proceedings of the 17th Conference STUDENT EEICT 2011 Volume 3. Brno: Faculty of Information Technology BUT, 2011, pp. 569-573. ISBN 978-80-214-4273-3.
    Detail

    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.
    Detail

    OČENÁŠEK Pavel. Specification of Traces in the Security Protocols Analysis. In: Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011, pp. 115-118. ISBN 978-953-7138-20-2.
    Detail

    OČENÁŠEK Pavel and TRCHALÍK Roman. Approaches to the Security and Payment Protocols Design: State of the Art. In: International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011, pp. 1-4. ISBN 978-953-7138-21-9.
    Detail

    GRÉ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.
    Detail

    PODERMAŃSKI Tomáš and VESELÝ Vladimír. IPv6 Mýty a skutečnost, díl VII. - Podpora Multicast a anycast provozu. Lupa.cz, vol. 2011, no. 1, p. 10. ISSN 1213-0702.
    Detail

    PODERMAŃSKI Tomáš. IPv6 Mýty a skutečnost, díl I. - Jak jsme na tom. Lupa.cz, vol. 2011, no. 1, p. 9. ISSN 1213-0702.
    Detail

    PODERMAŃSKI Tomáš. IPv6 Mýty a skutečnost, díl II. - Adresový prostor. Lupa.cz, vol. 2011, no. 1, p. 9. ISSN 1213-0702.
    Detail

    PODERMAŃSKI Tomáš. IPv6 Mýty a skutečnost: díl III. - podpora end-to-end služeb. Lupa.cz, vol. 2011, no. 1, p. 9. ISSN 1213-0702.
    Detail

    PODERMAŃSKI Tomáš. IPv6 Mýty a skutečnost, díl IX. - Quo Vadis, IPv6?. Lupa.cz, vol. 2011, no. 1, p. 9. ISSN 1213-0702.
    Detail

    PODERMAŃSKI Tomáš. Security concerns and solutions with IPv6. Helsinki, 2011.
    Detail

    PODERMAŃSKI Tomáš. IPv6 - bezpečnostní hrozby (aneb IPSec to srovná). In: Sborník příspěvků z 38. konference EurOpen.CZ, 8.-11. května 2011. Plzeň: Czech Open Systems User's Group, 2011, pp. 37-50. ISBN 978-80-86583-21-1.
    Detail

    PODERMAŃSKI Tomáš. IPv6 - mýty a skutečnost. Brno, 2011.
    Detail

    PODERMAŃSKI Tomáš. IPv6 - bezpečnostní hrozby. Brno, 2011.
    Detail

    GRÉGR Matěj and PODERMAŃSKI Tomáš. Deploying IPv6 in University Campus Network - Practical Problems. Toulouse, 2011.
    Detail

    GRÉGR Matěj and PODERMAŃSKI Tomáš. Monitoring datových toků IPv6. Praha, 2011.
    Detail

    GRÉGR Matěj, PODERMAŃSKI Tomáš, ŠOLTÉS Miroslav and ŽÁDNÍK Martin. Design of Data Retention System in IPv6 network. FIT-TR-2011-07, Brno: Faculty of Information Technology BUT, 2011.
    Detail

  • 2010

    KORNECKI Andrew J., GREGA Wojciech, HILBURN Thomas B., THIRIET Jean-Marc, ŠVÉDA Miroslav, RYŠAVÝ Ondřej and PILAT Adam. Transatlantic Engineering Programs: An Experience in International Cooperation. Safeeullah Soomro (Editor): Engineering the Computer Science and IT. 2010. Vienna: IN-TECH Education and Publishing, 2010, pp. 65-84. ISBN 978-953-307-012-4.
    Detail

    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.
    Detail

    ŠVÉDA Miroslav. Fault Management Driven Design with Safety and Security Requirements. In: Proceedings 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems ECBS 2010. Oxford: IEEE Computer Society, 2010, pp. 113-120. ISBN 978-0-7695-4005-4.
    Detail

    Š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.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. An Embedded Application Regarded as Cyber-Physical System. In: Proceedings of the Fifth International Conference on Systems ICONS 2010. Les Menuires: IEEE Computer Society, 2010, pp. 170-174. ISBN 978-0-7695-3980-5.
    Detail

    Š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.
    Detail

    ŠVÉDA Miroslav. NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses. In: Proceedings of the Fifth International Conference on Software and Data Technologies, ICSOFT 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010, pp. 173-178. ISBN 978-989-8425-22-5.
    Detail

    OČENÁŠEK Pavel and FELIX Martin. Camera and Sensor Monitoring System. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2010, pp. 241-245. ISBN 978-80-214-4138-5.
    Detail

    OČENÁŠEK Pavel and KUČEROVÁ Petra. Analysis of Selected Payment Protocols. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2010, pp. 235-240. ISBN 978-80-214-4138-5.
    Detail

    VESELÝ Vladimír. Security Issues of Bootstrap Router Mechanism in Protocol Independent Multicast. In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010, pp. 239-243. ISBN 978-80-214-4080-7.
    Detail

    GRÉGR Matěj. Portscan detection using NetFlow data. In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010, pp. 229-233. ISBN 978-80-214-4080-7.
    Detail

    ŠVÉDA Miroslav and TRCHALÍK Roman. Development of Interconnecting SW for Intranets and Fieldbuses. IFAC-PapersOnLine, vol. 2010, no. 10, pp. 119-124. ISSN 1474-6670.
    Detail

    OČENÁŠEK Pavel. On the Design of Communication in Business Information Systems. In: Proceedings of 2010 International Conference on Economics, Business and Management. Chengdu: Institute of Electrical and Electronics Engineers, 2010, pp. 98-101. ISBN 978-1-4244-9202-2.
    Detail

    OČENÁŠEK Pavel and HRANÁČ Jakub. Regression Based Logic for Authentication Protocol Design. In: 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010, pp. 89-92. ISBN 978-1-4244-9674-7.
    Detail

    OČENÁŠEK Pavel and PAPEŽ Zdeněk. A Knowledge-Belief Approach to the Security Protocol Analysis. In: 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010, pp. 85-88. ISBN 978-1-4244-9674-7.
    Detail

    PODERMAŃSKI Tomáš. Redundance od síťové vrstvy až po zařízení (Maximum pro síťovou jistotu). CONNECT!, vol. 10, no. 4, 2010, pp. 18-20. ISSN 1211-3085.
    Detail

    PODERMAŃSKI Tomáš. Je libo IPv6 na přepínačích HP ProCurve ?. Lupa.cz, vol. 2010, no. 1, p. 5. ISSN 1213-0702.
    Detail

  • 2009

    KOLLÁR Matej, PETERKA Ondřej, RYŠAVÝ Ondřej and ŠKARVADA Libor. A Calculus of Coercive Subtyping. Brno: Masaryk University, 2009.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. AVISPA: Towards Practical Verification of Communication Properties. In: Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1, vol. 2009. Ostrava: IFAC, 2009, pp. 153-156. ISBN 978-3-902661-41-8. ISSN 1474-6670.
    Detail

    OČENÁŠEK Pavel, TRCHALÍK Roman and ŠVÉDA Miroslav. On the Implementation of Metrics in Industrial Embedded Systems. In: Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1, vol. 2009. Ostrava: IFAC, 2009, pp. 157-160. ISBN 978-3-902661-41-8. ISSN 1474-6670.
    Detail

    ŠVÉDA Miroslav, TRCHALÍK Roman and OČENÁŠEK Pavel. Design of Networked Embedded Systems: An Approach for Safety and Security. In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009. Ostrava: IFAC, 2009, pp. 131-136. ISSN 1474-6670.
    Detail

    OČENÁŠEK Pavel. Universal Access to the Internet Web Pages for Users with Special Needs. In: Universal Access in Human-Computer Interaction. Applications and Services. Lecture Notes in Computer Science, vol. 5616. Berlin: Springer Verlag, 2009, pp. 764-767. ISBN 978-3-642-02712-3.
    Detail

    OČENÁŠEK Pavel. An Approach for the Design of Secure Communication in Embedded Systems. In: Human Interface and the Management of Information. Designing Information Environments. Lecture Notes in Computer Science, vol. 5617. Berlin: Springer Verlag, 2009, pp. 579-586. ISBN 978-3-642-02555-6.
    Detail

    OČENÁŠEK Pavel. Towards Security Issues in ZigBee Architecture. In: Human Interface and the Management of Information. Designing Information Environments. Berlin: Springer Verlag, 2009, pp. 587-593. ISBN 978-3-642-02555-6.
    Detail

    ŠVÉDA Miroslav. Fault Management for Secure Embedded Systems. In: International Conference on Systems Proceedings, ICONS 2009. New York, NY: IEEE Computer Society, 2009, pp. 23-28. ISBN 978-0-7695-3551-7.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Specifications of Secure and Safe Embedded System Networks. In: 8th International Conference on Networks Proceedings ICN 2009. New York, NY: IEEE Computer Society, 2009, pp. 220-225. ISBN 978-0-7695-3552-4.
    Detail

    KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, ŠVÉDA Miroslav and THIRIET Jean-Marc. ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems. Journal of Automation, Mobile Robotics and Intelligent Systems, vol. 3, no. 1, 2009, pp. 66-71. ISSN 1897-8649.
    Detail

    RYŠAVÝ Ondřej and RÁB Jaroslav. A Formal Model of Composing Components: The TLA+ Approach. Innovations in Systems and Software Engineering, vol. 5, no. 2, 2009, pp. 139-149. ISSN 1614-5046.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. A Model for Measurement and Analysis of the Workflow Processes. In: Human Interface and the Management of Information. Designing Information Environments. Lecture Notes in Computer Science, vol. 5617. Berlin: Springer Verlag, 2009, pp. 149-153. ISBN 978-3-642-02555-6.
    Detail

    THIRIET Jean-Marc, HILBURN Thomas B., KORNECKI Andrew J., GREGA Wojciech and ŠVÉDA Miroslav. Organization of a US-European Trans-national Degree in Engineering. J3eA - Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, vol. 2009, no. 1, pp. 1-7. ISSN 1638-1963.
    Detail

    OČENÁŠEK Pavel and KUČEROVÁ Petra. Payment Protocols Verification: A Case Study. In: EDS '09 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2009, pp. 38-43. ISBN 978-80-214-3933-7.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Meta-Design with Safe and Secure Embedded System Networking. International Journal On Advances in Security., vol. 2, no. 1, 2009, pp. 8-15. ISSN 1942-2636.
    Detail

    ŠVÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc and RYŠAVÝ Ondřej. Real-Time Software-Intensive Systems Engineering: An International Perspective. In: European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009, p. 6. ISBN 978-84-8363-428-8.
    Detail

    GREGA Wojciech, HILBURN Thomas B., KORNECKI Andrew J., RYŠAVÝ Ondřej, ŠVÉDA Miroslav and THIRIET Jean-Marc. Methodology for Creation of Multidisciplinary, Transatlantic Engineering Program in Information Technology. In: Proceedings of the European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009, p. 5. ISBN 978-84-8363-428-8.
    Detail

    ŠVÉDA Miroslav. Safe and Secure Networked Embedded Applications. In: Proceedings of the 4th International Conference on Broadband Communication. Wroclaw: Institute of Electrical and Electronics Engineers, 2009, p. 6. ISBN 978-83-7493-405-3.
    Detail

    MATOUŠEK Petr. 8. konference Cisco Networking Academy 2009 na FIT. Události (VUT News), vol. 2009, no. 7. ISSN 1211-4421.
    Detail

    MATOUŠEK Petr and SKOKANOVÁ Jana. Nový univerzitní kurz "Multimédia v počítačových sítích". Brno, 2009.
    Detail

    TRCHALÍK Roman. A Component-Based model for Embedded Software. In: EDS '09 IMAPS CS International Conference Proceedings. Brno, CZ: Brno University of Technology, 2009, p. 5. ISBN 978-80-214-3933-7.
    Detail

  • 2008

    OČENÁŠEK Pavel and TRCHALÍK Roman. Průmyslová bezdrátová síť ZigBee. Brno, 2008.
    Detail

    MATOUŠ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.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Meta-Design Support for Safe and Secure Networked Embedded Systems. In: IEEE Proceedings of the Third International Conference on Systems, ICONS 2008. New York: IEEE Computer Society, 2008, pp. 69-74. ISBN 978-0-7695-3105-2.
    Detail

    Č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.
    Detail

    OČENÁŠEK Pavel. Modification of Web Content According to the User Requirements. In: Technologies for E-Learning and Digital Entertainment. Lecture Notes in Computer Science, vol. 5093. Berlin: Springer Verlag, 2008, pp. 324-327. ISBN 978-3-540-69734-3.
    Detail

    OČENÁŠEK Pavel. A Proxy-Based System for Translation of Internet Content into Specific Form. In: Computer-Human Interaction. Lecture Notes in Computer Science, vol. 5068. Berlin: Springer Verlag, 2008, pp. 413-419. ISBN 978-3-540-70584-0.
    Detail

    ČEJKA Rudolf. Nekempujte v serverovně (recenze vzdálených konzol Raritan). CONNECT!, vol. 2008, no. 5, pp. 44-45. ISSN 1211-3085.
    Detail

    OČENÁŠEK Pavel and KUČEROVÁ Petra. Srovnání platebních systémů v ČR a zahraničí. In: Management, Economics and Business Development in the New European Conditions. Brno: Akademické nakladatelství CERM, 2008, p. 10. ISBN 978-80-7204-582-2.
    Detail

    OČENÁŠEK Pavel and BRENER Radim. Financial Portal: systém pro sledování a analýzu finančního trhu. In: Management, Economics and Business Development in the New European Conditions. Brno: Akademické nakladatelství CERM, 2008, p. 9. ISBN 978-80-7204-582-2.
    Detail

    OČENÁŠEK Pavel and TRCHALÍK Roman. Using AVISPA in the Education of Network Security. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008, p. 8. ISBN 978-80-214-3717-3.
    Detail

    MATOUŠEK Petr. Úspěch studentů FIT v soutěži Networking Academy Games. Události (VUT News), vol. 2008, no. 5. ISSN 1211-4421.
    Detail

    MATOUŠEK Petr. Projekt CCIE inkubátor. Stará Lesná, 2008.
    Detail

    ŽÁDNÍK Martin. Monitorování sítí na základě IP toků. CONNECT!, vol. 2008, no. 2, pp. 14-15. ISSN 1211-3085.
    Detail

    ČEJKA Rudolf. Zálohováním ke klidnějšímu spánku (recenze CA ARCserve Backup r12). CONNECT!, vol. 2008, no. 7, pp. 57-59. ISSN 1211-3085.
    Detail

    TRCHALÍK Roman, OČENÁŠEK Pavel and ŠVÉDA Miroslav. Using MSC and SDL Languages for Description of Network Communication. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008, p. 5. ISBN 978-80-214-3717-3.
    Detail

    PILAT Adam, KORNECKI Andrew J., THIRIET Jean-Marc, GREGA Wojciech and ŠVÉDA Miroslav. Industry Feedback on Skills and Knowledge. In: Proceedings of the 19th EAEEIE Annual Conference. Tallin: IEEE Computer Society, 2008, pp. 129-133. ISBN 978-1-4244-2009-4.
    Detail

    THIRIET Jean-Marc, HILBURN Thomas B., KORNECKI Andrew J., GREGA Wojciech and ŠVÉDA Miroslav. Implementation for a US-European Trans-national Degree in Real-Time Software Engineering. In: Proceedings of the 19th EAEEIE Annual Conference. Tallin: IEEE Computer Society, 2008, pp. 134-137. ISBN 978-1-4244-2009-4.
    Detail

    HILBURN Thomas B., THIRIET Jean-Marc, KORNECKI Andrew J., GREGA Wojciech and ŠVÉDA Miroslav. Credits and Accreditation in the U.S.A. and Europe: Towards a Framework for Trans-national Engineering Degrees. Innovations, vol. 2008, no. 1, pp. 29-42. ISBN 978-0-9741252-8-2. ISSN 1553-9911.
    Detail

    KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc and ŠVÉDA Miroslav. A COMMON US-EUROPE CURRICULUM: An Approach for Real-Time Software Intensive Systems. In: Proceedings of the 2008 ASEE Anual Conference & Exposition. Pittsburgh, PA: American Society for Engineering Education, 2008, pp. 1359-1371. ISBN 0-87823-196-X.
    Detail

    HILBURN Thomas B., KORNECKI Andrew J., THIRIET Jean-Marc, GREGA Wojciech and ŠVÉDA Miroslav. An RSIC-SE2004 Curriculum Framework. In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology - Real-Time Software. Wisla: IEEE Computer Society, 2008, pp. 633-638. ISBN 978-83-60810-14-9. ISSN 1896-7094.
    Detail

    RYŠAVÝ Ondřej and RÁB Jaroslav. A Component-based Approach to Verification of Embedded Control Systems using TLA+. In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology. Wisla: IEEE Computer Society Press, 2008, pp. 719-725. ISBN 978-83-60810-14-9.
    Detail

    KORNECKI Andrew J., GREGA Wojciech, THIRIET Jean-Marc, ŠVÉDA Miroslav, GONZALES Avelino and THARP Hal. Dependable Systems International Research and Educational Experience. Daytona Beach: European Comission EU, 2008.
    Detail

    ŠVÉDA Miroslav, RYŠAVÝ Ondřej and VRBA Radimír. Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design. Frontiers in Robotics, Automation and Control. Vienna: IN-TECH Education and Publishing, 2008, pp. 151-164. ISBN 978-953-7619-17-6.
    Detail

  • 2007

    MATOUŠEK Petr. Bezpečné připojení jedním zařízením. CONNECT!, vol. 2007, no. 1, pp. 62-63. ISSN 1211-3085.
    Detail

    OČENÁŠEK Pavel. Wardriving: Detecting, Attacking, Securing. In: Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007, p. 4. ISBN 978-80-8073-805-1.
    Detail

    TRCHALÍK Roman and OČENÁŠEK Pavel. Addressing and Routing in Sensor Networks. In: Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007, p. 4. ISBN 978-80-8073-805-1.
    Detail

    ŠVÉDA Miroslav. End-User Development Framework for Embedded System Applications. In: Engineering of Computer-Based Systems, 2007. Tucson, Arizona: IEEE Computer Society, 2007, pp. 186-192. ISBN 0-7695-2772-8.
    Detail

    MATOUŠEK Petr. Kombinované rešení switch/router. CONNECT!, vol. 2007, no. 4, pp. 40-41. ISSN 1211-3085.
    Detail

    OČENÁŠEK Pavel and ŠIMEK Václav. Determining Location of Target Within the Indoor Location System. In: Proceedings of the 16th International Conference on Systems Science: Volume III. Wroclaw, 2007, pp. 168-176. ISBN 978-83-7493-341-4.
    Detail

    OČENÁŠEK Pavel. Analysis of the Network Communication With OPNET. In: Proceedings of the 16th International Conference on Systems Science: Volume II. Wroclaw, 2007, pp. 312-317. ISBN 978-83-7493-340-7.
    Detail

    ŠVÉDA Miroslav. Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains. In: IEEE Proceedings of the Second International Conference on Systems, ICONS 2007. New York: IEEE Computer Society, 2007, pp. 11-16. ISBN 0-7695-2807-4.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Dependability-driven Embedded Systems Networking. In: Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007, pp. 483-488. ISBN 0-7695-2805-8.
    Detail

    ŠVÉDA Miroslav. Industrial Measurement Application Development. In: Proceedings of the First International Workshop on Application-oriented Systems. Saint Luce, Martinique: IEEE Computer Society, 2007, pp. 523-529. ISBN 0-7695-2807-4.
    Detail

    ŠVÉDA Miroslav and TRCHALÍK Roman. ZigBee-to-Internet Interconnection Architectures. In: Proceedings of the Second International Workshop on Mobile Communications and Learning MCL 2007. Saint Luce, Martinique: IEEE Computer Society, 2007, p. 6. ISBN 0-7695-2807-4.
    Detail

    OČENÁŠEK Pavel and TRCHALÍK Roman. Reasoning About Security Protocols in the ZigBee Standard. In: Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007, p. 4. ISBN 978-80-8073-805-1.
    Detail

    ŠVÉDA Miroslav, VRBA Radimír and RYŠAVÝ Ondřej. Pattern-Driven Reuse of Embedded Control Design. In: Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, p. 8. ISBN 972-8865-84-8.
    Detail

    PAVLÍK Michal, HÁZE Jiří, VRBA Radimír and ŠVÉDA Miroslav. Smart Differential Pressure Sensor. In: Proceedings ICINCO 2007: Signal Processing, Systems Modelling and Control. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, pp. 244-248. ISBN 978-972-886584-9.
    Detail

    OČENÁŠEK Pavel. Platební protokoly používané v elektronické komerci. In: Management, Economics and Business Development in the New European Conditions. Brno: Akademické nakladatelství CERM, 2007, p. 10. ISBN 80-7204-532-7.
    Detail

    MATOUŠEK Petr. Network Security by Cisco. Slavonice, 2007.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications. In: Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B). Barcelona: IEEE Computer Society, 2007, pp. 23-30. ISBN 978-989-8111-11-1.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. In: Proceedings of the International Conference on Software and Data Technologies (ICSOFT 2007). Barcelona: Institute for Systems and Technologies of Information, Control and Communication, 2007, pp. 345-350. ISBN 978-989-8111-06-7.
    Detail

    OČENÁŠEK Pavel. On the Design of Protocols in Electronic Commerce. In: MIC 2007 Conference Proceedings. Portorož, 2007, p. 6. ISBN 978-961-6573-88-7.
    Detail

    OČENÁŠEK Pavel. Tools for Analysis and Simulation of Protocol Communication. In: EDS '07 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2007, pp. 87-91. ISBN 978-80-214-3470-7.
    Detail

    ŠVÉDA Miroslav and TRCHALÍK Roman. Safety and Security-driven Design of Networked Embedded Systems. In: Proceedings 10th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools. Lübeck: IEEE Computer Society, 2007, pp. 420-423. ISBN 0-7695-2978-X.
    Detail

    MATOUŠEK Petr and RYŠAVÝ Ondřej. A Path to Become a Skillful CCNP Expert During your University Studies. Istanbul, 2007.
    Detail

    MATOUŠEK Petr. Automatická analýza síťové bezpečnosti. Brno, 2007.
    Detail

    GREGA Wojciech, KORNECKI Andrew J., ŠVÉDA Miroslav and THIRIET Jean-Marc. Developing an Interdisciplinary and Multinational Software Engineering Curriculum. In: Proceedings of the International Conference on Engineering Education. Coimbra: European Comission - Education and Training, 2007, p. 4. ISBN 978-972-8055-14-1.
    Detail

    PETERKA Ondřej, RYŠAVÝ Ondřej, LORENC Václav, OSOVSKÝ Martin and ŠKARVADA Libor. Can Objects Have Dependent Types?. In: Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 173-180. ISBN 978-80-7355-077-6.
    Detail

    KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc and ŠVÉDA Miroslav. ILERT - International Learning Environment for Real-Time Software Intensive Control Systems. Computer Science and Information Technology, vol. 2007, no. 2, pp. 943-948. ISSN 1896-7094.
    Detail

    OČENÁŠEK Pavel. Ontologie a sémantický web. Brno, 2007.
    Detail

  • 2006

    MATOUŠEK Petr. Praktické úlohy z počítačových sítí. Brno, 2006.
    Detail

    ŠVÉDA Miroslav. REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN. In: Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 78-83. ISBN 80-214-3130-X.
    Detail

    RYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. Designing Algorithm-oriented Generic Library on .NET Framework. In: Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006. Los Alamitos, CA: IEEE Computer Society, 2006, pp. 159-163. ISBN 0-7695-2546-6.
    Detail

    OČENÁŠEK Pavel and TRCHALÍK Roman. Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006, pp. 401-404. ISBN 80-248-1066-2.
    Detail

    OČENÁŠEK Pavel. Security Protocols: Analysis and Design. In: Proceedings of the Junior Scientist Conference 2006. Vienna: Technical University Wien, 2006, pp. 51-52. ISBN 3-902463-05-8.
    Detail

    TRCHALÍK Roman and OČENÁŠEK Pavel. Metrics in Workflow Systems. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006, pp. 569-572. ISBN 80-248-1066-2.
    Detail

    MATOUŠEK Petr. Implementace kurzů NetAcad na FIT VUT v Brně. Stará Lesná, 2006.
    Detail

    OČENÁŠEK Pavel and TRCHALÍK Roman. The Use of Modal Logics in the Security Protocols Analysis. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 395-399. ISBN 80-214-3163-6.
    Detail

    TRCHALÍK Roman and OČENÁŠEK Pavel. Zigbee Gateways. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 410-414. ISBN 80-214-3163-6.
    Detail

    OČENÁŠEK Pavel and OČENÁŠEK Jiří. Designing Secure Communications Using Evolutionary Approach. In: Genetic and Evolutionary Computation Conference GECCO 2006. Seattle, WA: Association for Computing Machinery, 2006, p. 3.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. An Approach to Automated Design of Security Protocols. In: Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006, p. 4. ISBN 0-7695-2552-0.
    Detail

    ŠVÉDA Miroslav, VRBA Radimír and OČENÁŠEK Pavel. Local Time Specifications of Networked Embedded Systems. In: Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006, p. 6. ISBN 0-7695-2552-0.
    Detail

    MATOUŠEK Petr. Dobrého nespálí - test firewallů pro sítě do 150 uživatelů. CONNECT!, vol. 2006, no. 6, pp. 26-29. ISSN 1211-3085.
    Detail

    OČENÁŠEK Pavel and KUBÁT Lubomír. Establishing Certified Quality System in Technology Companies. In: EDS '06 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2006, pp. 290-295. ISBN 80-214-3246-2.
    Detail

    OČENÁŠEK Pavel and TRCHALÍK Roman. Tracing Authentication Protocols Behavior: A Case Study. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006, pp. 166-173. ISBN 80-214-3287-X.
    Detail

    FUJCIK Lukáš, VRBA Radimír and ŠVÉDA Miroslav. A 16-Bit Switched-Capacitor Sigma-Delta Modulator Matlab Model Exploiting Two-Step Quantization Process. In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006, pp. 142-147. ISBN 972-8865-59-7.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Fault Maintenance in Embedded Systems Applications. In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006, pp. 183-186. ISBN 972-8865-59-7.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. INTERNET-BASED EMBEDDED SYSTEM ARCHITECTURES -- End-User Development Support for Embedded System Applications. In: Proceedings of the IEEE International Joint Conference on e-Business and Telecommunications (ICETE 2006), 2006. Setúbal: IEEE Computer Society, 2006, pp. 63-68. ISBN 972-8865-62-7.
    Detail

    ŠVÉDA Miroslav and TRCHALÍK Roman. Smart Sensor Networking with ZigBee and Internet. In: Proceedings of the 2nd International Workshop on Artificial Neural Networks and Intelligent Information Processing (ANNIIP 2006). Setúbal: University of Pierre and Marie Curie, 2006, pp. 64-71. ISBN 972-8865-68-6.
    Detail

    OČENÁŠEK Pavel. Automatic Design of Security Protocols. In: Počítačové architektúry & diagnostika 2006. Bratislava: Slovak Academy of Science, 2006, pp. 49-54. ISBN 80-969202-2-7.
    Detail

    TRCHALÍK Roman and ŠVÉDA Miroslav. Sensor Networking through Intranet and ZigBee. In: Proceedings IMAPS CS International Conference EDS'06. Brno: Brno University of Technology, 2006, pp. 217-221. ISBN 80-214-3246-2.
    Detail

    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.
    Detail

    MATOUŠEK Petr. Tools for Verification of Security Protocols. Brno, 2006.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Safe and secure networks of microelectronic systems. Brno: Faculty of Electrical Engineering and Communication BUT, 2006.
    Detail

    OČENÁŠEK Pavel. Automatic System for Making Web Content Accessible for Visually Impaired Users. WSEAS Transactions on Computers Research, vol. 1, no. 2, 2006, pp. 325-328. ISSN 1991-8755.
    Detail

    OČENÁŠEK Pavel. Automatic System for Making Web Content Accessible for Visually Impaired Users. In: Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz, 2006, pp. 430-433. ISBN 960-8457-57-2.
    Detail

    OČENÁŠEK Pavel and TRCHALÍK Roman. On the Implementation of Metrics in the Workflow System. In: Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz: World Scientific and Engineering Academy, 2006, pp. 329-331. ISBN 960-8457-57-2.
    Detail

    OČENÁŠEK Pavel and TRCHALÍK Roman. On the Implementation of Metrics in the Workflow System. WSEAS Transactions on Computers Research, vol. 1, no. 2, 2006, pp. 360-362. ISSN 1991-8755.
    Detail

    OČENÁŠEK Pavel and STUCHLÍK Radek. Sémantický web tutorial. Brno, 2006.
    Detail

  • 2005

    ŠVÉDA Miroslav, BENEŠ Petr, VRBA Radimír and ZEZULKA František. Introduction to Industrial Sensor Networking. Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems. Boca Raton, Florida: CRC Press LLC, 2005, pp. 10-24. ISBN 0-8493-1968-4.
    Detail

    OČENÁŠEK Pavel. The Security Protocol Design Using Genetic Algorithms Paradigms. In: Proceedings of the 11th Conference and Competition STUDENT EEICT 2005. Brno: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 576-580. ISBN 80-214-2890-2.
    Detail

    OČENÁŠEK Pavel and TOUFAROVÁ Jana. Zpřístupnění obsahu Internetu zrakově handicapovaným uživatelům. INFORUM 2005: 11. ročník konference o profesionálních informačních zdrojích, vol. 2005, no. 1, p. 8. ISSN 1801-2213.
    Detail

    BUREŠ František, RYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. A Framework for Formal Specification of Embedded Systems. In: Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, California: IEEE Computer Society, 2005, pp. 323-330. ISBN 0-7695-2308-0.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. An Approach to the Design of Networked Embedded Systems. In: Proceedings of the 16th IFAC WORLD CONGRESS, 2005. Kidlington, Oxford: Elsevier Science, 2005, p. 6. ISBN 0-08-045108-X. ISSN 1474-6670.
    Detail

    ŠČUGLÍK František. Relation Between UML2 Activity Diagrams and CSP algebra. In: Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization. Kerkyra: World Scientific and Engineering Academy, 2005, p. 6. ISBN 960-8457-32-7.
    Detail

    ŠČUGLÍK František. Time Synchronization Possibilities in Wireless networks for Embedded Systems. In: Proceedings of the 5th Int. Conf. on Applied Electromagnetics, Wireless and Optical Communications. Kerkyra: World Scientific and Engineering Academy, 2005, pp. 1215-1219. ISBN 960-8457-34-3.
    Detail

    ŠČUGLÍK František. Relation between UML2 Activity Diagrams and CSP algebra. WSEAS Transactions on Computers, vol. 4, no. 10, 2005, pp. 1234-1240. ISSN 1109-2750.
    Detail

    ŠČUGLÍK František. Time Synchronization Possibilities in Wireless networks for Embedded Systems. WSEAS Transactions on Communications, vol. 4, no. 11, 2005, pp. 1215-1219. ISSN 1109-2742.
    Detail

    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. Lecture Notes in Computer Science 3725/2005, vol. 2005. Berlin: Springer Verlag, 2005, pp. 371-375. ISBN 978-3-540-29105-3. ISSN 0302-9743.
    Detail

    ŠVÉDA Miroslav. Computer Networks with Smart Sensors: the IEEE 1451 Approach. In: Proceedings IMAPS CS International Conference EDS'05. Brno: Brno University of Technology, 2005, pp. 107-110. ISBN 80-214-2990-9.
    Detail

    OČENÁŠEK Pavel. Towards Selected Problems in the Security Protocol Design and Verification. In: Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics MU, 2005, p. 9.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Sensor Networks with IEEE 1451.1 Embedded Systems on Internet. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, p. 5. ISBN 0-7803-9371-6.
    Detail

    KUCHTA Radek, ŠTEFFAN Pavel, BARTOŇ Zdeněk, VRBA Radimír and ŠVÉDA Miroslav. Wireless Temperature Data Logger. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, pp. 208-212. ISBN 0-7803-9371-6.
    Detail

    OČENÁŠEK Pavel. Evolutionary Approach in the Security Protocols Design. In: Proceedings of the First European Conference on Computer Network Defence. University of Glamorgan: Springer Verlag, 2005, pp. 147-156. ISBN 1-84628-311-6.
    Detail

    VRBA Radimír, SAJDL Ondřej and ŠVÉDA Miroslav. Smart Sensors in Wireless Network System. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, pp. 343-353. ISBN 0-7803-9270-1.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Embedded Systems with IEEE 1451.1 on Internet. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, pp. 539-550. ISBN 0-7803-9270-1.
    Detail

  • 2004

    VRBA Radimír, ŠVÉDA Miroslav and MAREČEK Karel. Pressure Transducer with Multiplexed Frequency Transmitter. In: Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference. New Orleans, LA: IEEE Computer Society, 2004, pp. 7-10. ISBN 0-7803-8143-2.
    Detail

    OČENÁŠEK Pavel. On Inductive Approach in Security Protocol Verification. In: Proceedings of the 10th Conference and Competition STUDENT EEICT 2004. Brno: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 272-276. ISBN 80-214-2635-7.
    Detail

    ŠVÉDA Miroslav. A Design Framework for Internet-Based Embedded Distributed Systems. In: Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, California: IEEE Computer Society, 2004, pp. 113-120. ISBN 0-7695-2125-8.
    Detail

    OČENÁŠEK Pavel. Reasoning about Security Issues in Wireless Devices based on the IEEE 802.11. In: 11th Electronic Devices and Systems Conference 2004 Proceedings. Brno: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 228-231. ISBN 80-214-2701-9.
    Detail

    ŠČUGLÍK František. Formal Specification of Shared Variables Using CSP. In: Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2004, pp. 211-216. ISBN 0-7695-2125-8.
    Detail

    ŠVÉDA Miroslav. IP Multicast with Publish/Subscribe for Sensors on Internet. In: 11th Electronic Devices and Systems Conference 2004 Proceedings. Brno: Brno University of Technology, 2004, pp. 350-353. ISBN 80-214-2701-9.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. An Approach to Computer-Based System Synthesis. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, p. 8. ISBN 0-8576-9197-0.
    Detail

    VRBA Radimír, SAJDL Ondřej, KUCHTA Radek and ŠVÉDA Miroslav. Wireless Smart Sensor Network System. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, pp. 466-471. ISBN 0-8576-9197-0.
    Detail

    ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, vol. 10, no. 10, 2004, pp. 1354-1356. ISSN 0948-6968.
    Detail

  • 2003

    OČENÁŠEK Pavel. Verifikace bezpečnostních protokolů. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 211-213. ISBN 80-214-2377-3.
    Detail

    ŠČUGLÍK František. Visualizing formal specifications using diagrams. In: 11. International Conference on Software, Telecommunications & Computer Networks. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split, 2003, p. 5. ISBN 953-6114-64-X.
    Detail

  • 2002

    ŠČUGLÍK František. Formal specification and verification of already composed systems. In: Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002, pp. 511-515. ISBN 80-214-2116-9.
    Detail

    ŠČUGLÍK František. Comparing CSP representation and First order logic. In: Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Brno University of Technology, 2002, pp. 341-344. ISBN 80-214-2180-0.
    Detail

  • 1996

    ZEZULKA František and ŠVÉDA Miroslav. Specification of Anticipative Problems in Control Engineering. Advances in Modeling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 1-921836-43-1.
    Detail

    ŠVÉDA Miroslav and ZEZULKA František. Specification of Anticipative Problems in Control Engineering. Advances in Modelling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 0-92183-43-14.
    Detail

Back to top