NES@FIT - Výzkumná skupina počítačové sítě

2024

HRANICKÝ Radek, HORÁK Adam, POLIŠENSKÝ Jan, JEŘÁBEK Kamil a 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, s. 1-5. ISBN 979-8-3503-2794-6.
Detail

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

MATOUŠEK Petr, RYŠAVÝ Ondřej a 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, s. 1-5.
Detail

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

2023

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

POLČÁK Libor, SALOŇ Marek, MAONE Giorgio, HRANICKÝ Radek a 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, s. 287-294. ISBN 978-989-758-666-8.
Detail

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

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

IMERI Arbnor a 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, s. 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, s. 293-300. ISBN 978-3-031-34443-5.
Detail

BURGET Radek a 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, s. 355-358. ISBN 978-3-031-34443-5.
Detail

POLČÁK Libor a 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, s. 683-690. ISBN 978-989-758-666-8.
Detail

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

POLČÁK Libor a 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, s. 347-354. ISBN 978-989-758-672-9.
Detail

RADER Roman, JEŘÁBEK Kamil a 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, s. 50-54. ISBN 979-8-3503-0074-1.
Detail

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

2022

POLČÁK Libor a 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, s. 47-58. ISBN 978-989-758-590-6.
Detail

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

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

DOLEJŠKA Daniel, VESELÝ Vladimír, PLUSKAL Jan a 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, s. 151-168. ISBN 978-3-031-36573-7. ISSN 1867-8211.
Detail

PLUSKAL Jan a 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 a 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 a 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, roč. 351. Boston: Springer International Publishing, 2021, s. 1-22. ISBN 978-3-030-68733-5.
Detail

MATOUŠEK Petr, HAVLENA Vojtěch a 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, s. 81-89. ISBN 978-3-903176-32-4.
Detail

MATOUŠEK Petr a 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: České vysoké učení technické, 2021, s. 148-153. ISBN 978-1-7281-9324-3.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej a 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, s. 938-943. ISBN 978-3-903176-32-4.
Detail

MATOUŠEK Petr a KRAJČ Patrik. Monitoring of IoT Devices Using SNMP. IT-TR-2020-10, Brno: Fakulta informačních technologií VUT v Brně, 2021.
Detail

MATOUŠEK Petr, PRISTAŠ Ján a MASÁROVÁ Mária. Simulation of Industrial Processes using I/O Factory and UniPi. IT-TR-2020-09, Brno: Fakulta informačních technologií VUT v Brně, 2021.
Detail

RYŠAVÝ Ondřej a 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, s. 144-151. ISBN 978-1-4503-9057-6.
Detail

BURGETOVÁ Ivana, MATOUŠEK Petr a MUTUA Nelson Makau. Statistical Methods for Anomaly Detection in Industrial Communication. IT-TR-2021-01, Brno: Fakulta informačních technologií VUT v Brně, 2021.
Detail

BURGETOVÁ Ivana, MATOUŠEK Petr a 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, s. 166-172. ISBN 978-3-903176-36-2.
Detail

MATOUŠEK Petr a GROFČÍK Peter. ICS Virtual Testbed. FIT-TR-2021-02, Brno: Fakulta informačních technologií VUT v Brně, 2021.
Detail

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

HOLKOVIČ Martin, BOHUŠ Michal a 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, s. 482-490. ISBN 978-3-903176-36-2.
Detail

UHLÁR Juraj, HOLKOVIČ Martin a 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, s. 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 a 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, s. 1-19. ISSN 2331-8422.
Detail

MATOUŠEK Petr. Security of Smart Grid Communication. Brno: Fakulta informačních technologií VUT v Brně, 2021.
Detail

2020

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

KOUTENSKÝ Michal, VESELÝ Vladimír a 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, s. 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, roč. 2020, č. 1, s. 11-16. ISSN 1211-8737.
Detail

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

HOLKOVIČ Martin a 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, roč. 2020, č. 1, s. 1-10. ISSN 1942-2644.
Detail

KOUTENSKÝ Michal, VESELÝ Vladimír a MAFFIONE Vincenzo. Addressing Bandwidth-driven Flow Allocation in RINA. Computers, roč. 9, č. 3, 2020, s. 1-23. ISSN 2073-431X.
Detail

YOUSSEF Sawsan a RYŠAVÝ Ondřej. Behavioral Anomaly Detection in Industrial Control Systems: An Evaluation of Flowmon ADS. FIT-TR-2020-02, Brno: Fakulta informačních technologií VUT v Brně, 2020.
Detail

YOUSSEF Sawsan a 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, roč. 22. Warsaw: Polish Information Processing Society, 2020, s. 11-14. ISBN 978-83-959183-0-8. ISSN 2300-5963.
Detail

HOLKOVIČ Martin, BOHUŠ Michal a 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, s. 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 a ŽENČÁK Tomáš. The architecture of Fitcrack distributed password cracking system, version 2. FIT-TR-2020-04, Brno: Fakulta informačních technologií VUT v Brně, 2020.
Detail

BURGET Radek a RYCHLÝ Marek. Extrakce událostí ze souborových systémů - Návrh a implementace distribuované architektury. FIT-TR-2020-08, Brno: Fakulta informačních technologií VUT v Brně, 2020.
Detail

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

MATOUŠEK Petr, BURGETOVÁ Ivana a 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áš a MATOUŠEK Petr. Learning Probabilistic Automata in the Context of IEC 104. IT-TR-2020-01, Brno: Fakulta informačních technologií VUT v Brně, 2020.
Detail

HRANICKÝ Radek. Forenzní analýza šifrovaných dat. DSM Data Security Management, roč. 2020, č. 4, s. 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 a ZAVŘEL Jan. Enhanced Interior Gateway Routing Protocol. Budapešť, 2020.
Detail

2019

JEŘÁBEK Kamil a 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, s. 49-53. ISBN 978-1-5386-3458-5.
Detail

LETAVAY Viliam, PLUSKAL Jan a 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, s. 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 a RYŠAVÝ Ondřej. On Practical Aspects of PCFG Password Cracking. In: Data and Applications Security and Privacy. Charleston: Springer Nature Switzerland AG, 2019, s. 43-60. ISBN 978-3-030-22478-3. ISSN 0302-9743.
Detail

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

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

PLUSKAL Jan, VONDRÁČEK Martin a 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, s. 1-10. ISBN 978-1-4503-7636-5.
Detail

JEŘÁBEK Kamil a 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, s. 1-9. ISBN 978-1-4503-7636-5.
Detail

LETAVAY Viliam, PLUSKAL Jan a 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, s. 1-10. ISBN 978-1-4503-7636-5.
Detail

HOLKOVIČ Martin a 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, s. 47-51. ISBN 978-1-61208-711-5.
Detail

HOLKOVIČ Martin, RYŠAVÝ Ondřej a 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, s. 1-8. ISBN 978-1-4503-7636-5.
Detail

HOLKOVIČ Martin, RYŠAVÝ Ondřej a 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, s. 37-47. ISBN 978-989-758-378-0.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej a 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, s. 21-30. ISBN 978-1-78017-523-2.
Detail

VESELÝ Vladimír, MAREK Marcel a JEŘÁBEK Kamil. RINASim. EAI/Springer Innovations in Communication and Computing, roč. 2019, č. 1, s. 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, roč. 2019, č. 4, s. 13-17. ISSN 1211-8737.
Detail

VESELÝ Vladimír, MAREK Marcel, JEŘÁBEK Kamil a 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, s. 1-8. ISSN 2398-7340.
Detail

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

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

MATOUŠEK Petr, RYŠAVÝ Ondřej a 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, s. 1-9. ISBN 978-1-4503-7636-5.
Detail

RYŠAVÝ Ondřej a MATOUŠEK Petr. An IPFIX Extension for MQTT Protocol Monitoring. FIT-TR-2019-01, Brno: Fakulta informačních technologií VUT v Brně, 2019.
Detail

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

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

HRANICKÝ Radek, MIKUŠ Dávid a ZOBAL Lukáš. Lámání hesel pomocí pravděpodobnostních gramatik. FIT-TR-2019-03, Brno: Fakulta informačních technologií VUT v Brně, 2019.
Detail

JEŘÁBEK Kamil. Big Data cluster založený na kontejnerech. FIT-TR-2019-04, Brno: Fakulta informačních technologií VUT v Brně, 2019.
Detail

JEŘÁBEK Kamil. DNS Over HTTPS Analysis and Detection in Regular HTTPS. FIT-TR-2019-05, Brno: Fakulta informačních technologií VUT v Brně, 2019.
Detail

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

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

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

PLUSKAL Jan a 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 a 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, s. 161-181. ISBN 978-3-319-99277-8. ISSN 1868-4238.
Detail

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

MATOUŠEK Petr a 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 a RYŠAVÝ Ondřej. Automated Man-in-the-Middle Attack Against Wi-Fi Networks. The Journal of Digital Forensics, Security and Law, roč. 2018, č. 13, s. 59-80. ISSN 1558-7215.
Detail

MATOUŠEK Petr. Description of IEC 61850 Communication. FIT-TR-2018-01, Brno: Fakulta informačních technologií VUT v Brně, 2018.
Detail

PLUSKAL Jan a 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 a 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 a 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 a MÚČKA Matúš. The architecture of Fitcrack distributed password cracking system. FIT-TR-2018-03, Brno: Fakulta informačních technologií VUT v Brně, 2018.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej, JAMES Joshua I. a 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, s. 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, zájmové sdružení právnických osob, 2018.
Detail

2017

PLUSKAL Jan a 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 a MATOUŠEK Petr. Distributed Password Cracking in a Hybrid Environment. In: Proceedings of SPI 2017. Brno: Univerzita Obrany, 2017, s. 75-90. ISBN 978-80-7231-414-0.
Detail

RYCHLÝ Marek a 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, s. 561-567. ISBN 978-83-946253-7-5.
Detail

MATOUŠEK Petr, ONYANGO Collins Oduor, RYŠAVÝ Ondřej a SEVILLA Joseph. Delivering ICT Security Courses over 5.944 km Experience of Czech-Kenyan Co-operation. In: Proceedings of the 27th EAEEIE Annual Conference. Grenoble: Institut polytechnique de Grenoble, 2017, s. 1-7. ISBN 978-1-7281-0907-7.
Detail

VONDRÁČEK Martin, PLUSKAL Jan a 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), roč. 2018. Prague: Springer International Publishing, 2017, s. 207-220. ISBN 978-3-319-73696-9. ISSN 1867-8211.
Detail

MAREK Marcel, RYŠAVÝ Ondřej a 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, s. 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 a KARPÍŠEK Filip. Leveraging the SRTP protocol for over-the-network memory acquisition of a GE Fanuc Series 90-30. Digital Investigation, roč. 2017, č. 22, s. 26-38. ISSN 1742-2876.
Detail

PLUSKAL Jan, LICHTNER Ondrej a 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: Fakulta informačních technologií VUT v Brně, 2017.
Detail

MATOUŠEK Petr. Description and analysis of IEC 104 Protocol. FIT-TR-2017-12, Brno: Fakulta informačních technologií VUT v Brně, 2017.
Detail

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

RYCHLÝ Marek a 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: Fakulta informačních technologií VUT v Brně, 2017.
Detail

RYŠAVÝ Ondřej. Security Monitoring of LwM2M communication. FIT-TR-2017-16, Brno: Fakulta informačních technologií VUT v Brně, 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, zájmové sdružení právnických osob, 2017.
Detail

VESELÝ Vladimír a 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, s. 1-4. ISSN 2331-8422.
Detail

VESELÝ Vladimír, HOLUŠA Jan a 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, s. 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: Fakulta informačních technologií VUT v Brně, 2017.
Detail

2016

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

KARMAZÍN Jaromír a 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, roč. 9750. Toronto: Springer Verlag, 2016, s. 247-254. ISBN 978-3-319-39380-3. ISSN 0302-9743.
Detail

GRASA Eduard, RYŠAVÝ Ondřej, LICHTNER Ondrej, ASGARI Hamid, DAY John a 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, s. 736-742. ISBN 978-1-4799-6665-3.
Detail

HRANICKÝ Radek, HOLKOVIČ Martin, MATOUŠEK Petr a RYŠAVÝ Ondřej. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law, roč. 11, č. 2, 2016, s. 79-95. ISSN 1558-7215.
Detail

VESELÝ Vladimír, REK Vít a 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, s. 1-5. ISSN 2331-8422.
Detail

PLUSKAL Jan, RYŠAVÝ Ondřej a 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 a RYŠAVÝ Ondřej. TLS/SSL Decryption Workshop. Praha, 2016.
Detail

PLUSKAL Jan a RYŠAVÝ Ondřej. Síťový forenzní nástroj Netfox Detective. Pristina, 2016.
Detail

2015

CALDAROLA Leo, CHOUKIR Amine, CUDA Davide, DONDERO Marco, FICARA Domenico, MUCCIFORA Roberto, POLČÁK Libor a 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, s. 5-12. ISBN 978-989-758-112-0.
Detail

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

OČENÁŠEK Pavel a 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, s. 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, s. 177-180. ISBN 978-1-138-02717-6.
Detail

VESELÝ Vladimír a 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, s. 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 a VYMLÁTIL Martin. Netfox Detective: A tool for advanced network forensics analysis. In: Proceedings of Security and Protection of Information (SPI) 2015. Brno: Univerzita Obrany, 2015, s. 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 a VYMLÁTIL Martin. Advanced Techniques for Reconstruction of Incomplete Network Data. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, roč. 2015, č. 157, s. 69-84. ISSN 1867-8211.
Detail

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

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

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

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

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

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

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

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

VESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš a 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, s. 1-4. ISSN 2331-8422.
Detail

GRÉGR Matěj, PODERMAŃSKI Tomáš, ŠOLTÉS Miroslav a ŽÁDNÍK Martin. IPv6: Bezpečná správa adresového prostoru. Brno: Ministerstvo vnitra České republiky, 2015.
Detail

GRÉGR Matěj a PODERMAŃSKI Tomáš. IPv6: Doporučení pro konfiguraci aktivních prvků. Brno: Ministerstvo vnitra České republiky, 2015.
Detail

GRÉGR Matěj a PODERMAŃSKI Tomáš. Metodika testování bezpečnostních vlastností IPv6 u aktivních prvků. Brno: Ministerstvo vnitra České republiky, 2015.
Detail

FRANKOVÁ Barbora, HOLKOVIČ Martin a POLČÁK Libor. Optimalizace řízení a bezpečnosti síťových toků pomocí softwarově definovaných sítí. FIT-TR-2015-02, Brno: Fakulta informačních technologií VUT v Brně, 2015.
Detail

KARPÍŠEK Filip, BAGGILI Ibrahim a BREITINGER Frank. WhatsApp network forensics: Decrypting and understanding the WhatsApp call signaling messages. Digital Investigation, roč. 2015, č. 15, s. 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, s. 384-388. ISBN 978-1-60595-112-6.
Detail

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

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

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

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

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

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

PODERMAŃSKI Tomáš a GRÉGR Matěj. Implementujeme Carrier Grade NAT: Zákon, alternativy a IPv6. ROOT, informace nejen ze světa Linuxu, roč. 2015, č. 1, s. 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, zájmové sdružení právnických osob, 2015.
Detail

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

2014

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

POLČÁK Libor, HOLKOVIČ Martin a MATOUŠEK Petr. Host Identity Detection in IPv6 Networks. In: E-Business and Telecommunications. Berlin: Springer Verlag, 2014, s. 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, s. 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 a ZHANG Le. 2013 Federated Conference on Computer Science and Information Systems - International workshop on Cyber-Physical Systems. 2013 Federated Conference on Computer Science and Information Systems. Krakow: Elsevier Science, 2014, s. 1-200. ISBN 978-1-4673-4471-5.
Detail

HALFAR Patrik a Š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, s. 1-7. ISBN 978-989-758-029-1.
Detail

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

GRÉGR Matěj, PODERMAŃSKI Tomáš a Š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, s. 96-101. ISBN 978-1-61208-330-8.
Detail

VESELÝ Vladimír, RYŠAVÝ Ondřej a Š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, s. 132-137. ISBN 978-1-61208-330-8.
Detail

POLČÁK Libor a 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, s. 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, s. 1-6. ISBN 978-1-61804-204-0.
Detail

COUFAL Zdeněk a POLČÁK Libor. Anonymizační síť Tor. FIT-TR-2014-02, Brno: Fakulta informačních technologií VUT v Brně, 2014.
Detail

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

MATOUŠEK Petr, RYŠAVÝ Ondřej a KMEŤ Martin. Fast RTP Detection and Codecs Classification in Internet Traffic. The Journal of Digital Forensics, Security and Law, roč. 2014, č. 2, s. 99-110. ISSN 1558-7215.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej, GRÉGR Matěj a 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, s. 21-27. ISBN 978-989-758-042-0.
Detail

MATOUŠEK Petr, KMEŤ Martin a BASEL Martin. On-line Monitoring of VoIP Quality Using IPFIX. Advances in Electrical and Electronic Engineering, roč. 2014, č. 4, s. 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: Vysoké učení technické v Brně, 2014, s. 280-282. ISBN 978-80-214-4923-7.
Detail

PLUSKAL Jan, RYŠAVÝ Ondřej a 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, s. 68-71. ISBN 978-606-551-047-0.
Detail

GRÉGR Matěj, MATOUŠEK Petr, PODERMAŃSKI Tomáš a ŠVÉDA Miroslav. Practical IPv6 Monitoring on Campus - Best Practice Document. Vědecký sborník, roč. 2014, č. 1, s. 1-20. ISSN 0572-3043.
Detail

VESELÝ Vladimír, BLOUDÍČEK Jan a 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, s. 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: Vysoké učení technické v Brně, 2014, s. 274-276. ISBN 978-80-214-4923-7.
Detail

PODERMAŃSKI Tomáš a Š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, s. 492-494. ISBN 978-1-4799-6204-4.
Detail

GRÉGR Matěj a Š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, s. 501-503. ISBN 978-1-4799-6203-7.
Detail

POLČÁK Libor, MARTÍNEK Tomáš, HRANICKÝ Radek, BÁRTA Stanislav, HOLKOVIČ Martin, FRANKOVÁ Barbora a 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: Fakulta informačních technologií VUT v Brně, 2014.
Detail

HRANICKÝ Radek. Rozšíření systému pro zákonné odposlechy. In: Proceedings of the 20th Conference STUDENT EEICT 2014. Volume 2. Brno: Vysoké učení technické v Brně, 2014, s. 271-273. ISBN 978-80-214-4923-7.
Detail

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

2013

DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr a ŠVÉDA Miroslav. On Formal Reachability Analysis in Networks with Dynamic Behavior. Telecommunication Systems, roč. 52, č. 2, 2013, s. 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, s. 451-454. ISBN 978-3-03785-659-8. ISSN 1660-9336.
Detail

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

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

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

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

VESELÝ Vladimír, RYŠAVÝ Ondřej a Š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, s. 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, roč. 8030. Berlin Heidelberg: Springer Verlag, 2013, s. 332-337. ISBN 978-3-642-39344-0. ISSN 0302-9743.
Detail

OČENÁŠEK Pavel a 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, roč. 8030. Berlin Heidelberg: Springer Verlag, 2013, s. 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: Evropská společnost pro výzkum prostředí a udržitelný vývoj, 2013, s. 413-419. ISBN 978-1-61804-204-0.
Detail

ŠVÉDA Miroslav a 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, s. 101-106. ISBN 978-1-4673-5943-6.
Detail

VESELÝ Vladimír. Map-keš synchronizace pro LISP. In: Proceedings of the 19th Conference Student EEICT 2013 Volume 3. Brno: Fakulta informačních technologií VUT v Brně, 2013, s. 234-239. ISBN 978-80-214-4695-3.
Detail

RYŠAVÝ Ondřej, RÁB Jaroslav a Š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, s. 1435-1440. ISBN 978-1-4673-4471-5.
Detail

ŠVÉDA Miroslav a 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, roč. 2013. Laxenburg: IFAC, 2013, s. 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, roč. 7, č. 5, 2013, s. 263-270. ISSN 2074-1308.
Detail

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

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

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

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

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

VESELÝ Vladimír a Š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, s. 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 a Š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, s. 142-145. ISBN 978-1-4503-2464-9.
Detail

2012

OČENÁŠEK Pavel a 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, s. 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 a RÁB Jaroslav. Static Analysis of Routing and Firewall Policy Configurations. In: e-Business and Telecommunications. LNCS CCIS, Vol.222, roč. 2012. Heidelberg: Springer Science+Business Media B.V.,, 2012, s. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929.
Detail

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

RYŠAVÝ Ondřej, ŠVÉDA Miroslav a VRBA Radimír. A Framework for Cyber-Physical Systems Design - A Concept Study. In: Proceedings ICONS 2012. Saint Gilles, Reunion Island: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2012, s. 79-82. ISBN 978-1-61208-184-7.
Detail

ŠVÉDA Miroslav, SEKLETÁR Michal, FIDLER Tomáš a RYŠAVÝ Ondřej. A High-level Network-wide Router Configuration Language. In: Proceedings ICN 2012. Saint Gilles, Reunion Island: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2012, s. 18-21. ISBN 978-1-61208-183-0.
Detail

GRÉGR Matěj, PODERMAŃSKI Tomáš a ŠVÉDA Miroslav. User identification in IPV6 network. IP Networking 1 -- Theory and Practice. Žilina: Vydavatelství Žilinské univerzity, 2012, s. 5-8. ISBN 978-80-554-0494-3.
Detail

VESELÝ Vladimír a ŠVÉDA Miroslav. L2 protocols in OMNeT++. IP Networking 1 -- Theory and Practice. Žilina: Vydavatelství Žilinské univerzity, 2012, s. 37-40. ISBN 978-80-554-0494-3.
Detail

VESELÝ Vladimír, MATOUŠEK Petr a Š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, s. 298-301. ISBN 978-1-936968-47-3.
Detail

TRCHALÍK Roman a Š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, roč. 2012. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2012, s. 372-377. ISBN 978-3-902823-21-2. ISSN 1474-6670.
Detail

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

HALFAR Patrik a Š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, s. 50-53.
Detail

VESELÝ Vladimír. Srovnávací studie spojování PCAP souborů. In: Proceedings of the 18th Conference Student EEICT 2012 Volume 3. Brno: Fakulta informačních technologií VUT v Brně, 2012, s. 457-461. ISBN 978-80-214-4462-1.
Detail

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

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

OČENÁŠEK Pavel a Š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, s. 1-4.
Detail

VESELÝ Vladimír. Rozšíření porovnávací studie o spojování PCAP souborů. ElectroScope, roč. 2012, č. 5, s. 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áš a ŠOLTÉS Miroslav. Flow Based Monitoring of IPv6. Brno, 2012.
Detail

OČENÁŠEK Pavel a Š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, s. 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 a ŠVÉDA Miroslav. Analysis and Filtering of Network Communication in ISP Firewalls. Lecture Notes in Information Technology, roč. 2012, č. 38, s. 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: Fakulta informačních technologií VUT v Brně, 2012, s. 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: Vysoké učení technické v Brně, 2012, s. 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: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 133-138. ISBN 978-1-61208-002-4.
Detail

ŠVÉDA Miroslav a VRBA Radimír. A Cyber-Physical System Design Approach. In: Proceedings of The Sixth International Conference on Systems - ICONS 2011. St. Maarten: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 12-18. ISBN 978-1-61208-002-4.
Detail

ŠVÉDA Miroslav, RYŠAVÝ Ondřej a MATOUŠEK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 22-23. ISBN 978-84-693-9560-8.
Detail

VOGEL Ivan, ZEDEK František a 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, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 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, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 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, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 359-365. ISBN 978-3-642-21792-0.
Detail

OČENÁŠEK Pavel a 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, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 366-373. ISBN 978-3-642-21792-0.
Detail

VOGEL Ivan, OČENÁŠEK Pavel a 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: Vysoké učení technické v Brně, 2011, s. 264-269. ISBN 978-80-214-4303-7.
Detail

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

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

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr a RÁB Jaroslav. Reachability Analysis in Dynamically Routed Networks. In: Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011, s. 197-205. ISBN 978-0-7695-4379-6.
Detail

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

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

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

POLČÁK Libor. Designing Lawful Interception System. In: Proceedings of the 17th Conference STUDENT EEICT 2011 Volume 3. Brno: Fakulta informačních technologií VUT v Brně, 2011, s. 569-573. ISBN 978-80-214-4273-3.
Detail

POLČÁK Libor, GRÉGR Matěj, KAJAN Michal, MATOUŠEK Petr a VESELÝ Vladimír. Designing Lawful Interception in IPv6 Networks. In: Security and Protection of Information. Brno: Univerzita Obrany, 2011, s. 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, s. 115-118. ISBN 978-953-7138-20-2.
Detail

OČENÁŠEK Pavel a 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, s. 1-4. ISBN 978-953-7138-21-9.
Detail

GRÉGR Matěj, MATOUŠEK Petr, PODERMAŃSKI Tomáš a Š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, s. 660-663. ISBN 978-1-4244-9220-6.
Detail

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

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

PODERMAŃSKI Tomáš. IPv6 Mýty a skutečnost, díl II. - Adresový prostor. Lupa.cz, roč. 2011, č. 1, s. 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, roč. 2011, č. 1, s. 9. ISSN 1213-0702.
Detail

PODERMAŃSKI Tomáš. IPv6 Mýty a skutečnost, díl IX. - Quo Vadis, IPv6?. Lupa.cz, roč. 2011, č. 1, s. 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ň: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2011, s. 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 a PODERMAŃSKI Tomáš. Deploying IPv6 in University Campus Network - Practical Problems. Toulouse, 2011.
Detail

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

GRÉGR Matěj, PODERMAŃSKI Tomáš, ŠOLTÉS Miroslav a ŽÁDNÍK Martin. Design of Data Retention System in IPv6 network. FIT-TR-2011-07, Brno: Fakulta informačních technologií VUT v Brně, 2011.
Detail

2010

KORNECKI Andrew J., GREGA Wojciech, HILBURN Thomas B., THIRIET Jean-Marc, ŠVÉDA Miroslav, RYŠAVÝ Ondřej a 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, s. 65-84. ISBN 978-953-307-012-4.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej, DE Silva Gayan a 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, s. 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, s. 113-120. ISBN 978-0-7695-4005-4.
Detail

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr a 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, s. 294-299. ISBN 978-0-7695-3979-9.
Detail

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

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr, RÁB Jaroslav a Č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, s. 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, s. 173-178. ISBN 978-989-8425-22-5.
Detail

OČENÁŠEK Pavel a FELIX Martin. Camera and Sensor Monitoring System. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2010, s. 241-245. ISBN 978-80-214-4138-5.
Detail

OČENÁŠEK Pavel a KUČEROVÁ Petra. Analysis of Selected Payment Protocols. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2010, s. 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: Fakulta informačních technologií VUT v Brně, 2010, s. 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: Fakulta informačních technologií VUT v Brně, 2010, s. 229-233. ISBN 978-80-214-4080-7.
Detail

ŠVÉDA Miroslav a TRCHALÍK Roman. Development of Interconnecting SW for Intranets and Fieldbuses. IFAC-PapersOnLine, roč. 2010, č. 10, s. 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, s. 98-101. ISBN 978-1-4244-9202-2.
Detail

OČENÁŠEK Pavel a 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, s. 89-92. ISBN 978-1-4244-9674-7.
Detail

OČENÁŠEK Pavel a 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, s. 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!, roč. 10, č. 4, 2010, s. 18-20. ISSN 1211-3085.
Detail

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

2009

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

OČENÁŠEK Pavel a Š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, roč. 2009. Ostrava: IFAC, 2009, s. 153-156. ISBN 978-3-902661-41-8. ISSN 1474-6670.
Detail

OČENÁŠEK Pavel, TRCHALÍK Roman a Š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, roč. 2009. Ostrava: IFAC, 2009, s. 157-160. ISBN 978-3-902661-41-8. ISSN 1474-6670.
Detail

ŠVÉDA Miroslav, TRCHALÍK Roman a 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, s. 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, roč. 5616. Berlin: Springer Verlag, 2009, s. 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, roč. 5617. Berlin: Springer Verlag, 2009, s. 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, s. 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, s. 23-28. ISBN 978-0-7695-3551-7.
Detail

ŠVÉDA Miroslav a 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, s. 220-225. ISBN 978-0-7695-3552-4.
Detail

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

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

OČENÁŠEK Pavel a Š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, roč. 5617. Berlin: Springer Verlag, 2009, s. 149-153. ISBN 978-3-642-02555-6.
Detail

THIRIET Jean-Marc, HILBURN Thomas B., KORNECKI Andrew J., GREGA Wojciech a Š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, roč. 2009, č. 1, s. 1-7. ISSN 1638-1963.
Detail

OČENÁŠEK Pavel a KUČEROVÁ Petra. Payment Protocols Verification: A Case Study. In: EDS '09 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2009, s. 38-43. ISBN 978-80-214-3933-7.
Detail

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

ŠVÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc a 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: Universidad Politécnica de Valencia, 2009, s. 6. ISBN 978-84-8363-428-8.
Detail

GREGA Wojciech, HILBURN Thomas B., KORNECKI Andrew J., RYŠAVÝ Ondřej, ŠVÉDA Miroslav a 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: Universidad Politécnica de Valencia, 2009, s. 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, s. 6. ISBN 978-83-7493-405-3.
Detail

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

MATOUŠEK Petr a 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: Vysoké učení technické v Brně, 2009, s. 5. ISBN 978-80-214-3933-7.
Detail

2008

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

MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej a Š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, s. 171-181. ISBN 0-7695-3141-5.
Detail

ŠVÉDA Miroslav a 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, s. 69-74. ISBN 978-0-7695-3105-2.
Detail

ČEJKA Rudolf, MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. A Formal Approach to Network Security Analysis. Brno: Fakulta informačních technologií VUT v Brně, 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, roč. 5093. Berlin: Springer Verlag, 2008, s. 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, roč. 5068. Berlin: Springer Verlag, 2008, s. 413-419. ISBN 978-3-540-70584-0.
Detail

ČEJKA Rudolf. Nekempujte v serverovně. CONNECT!, roč. 2008, č. 5, s. 44-45. ISSN 1211-3085.
Detail

OČENÁŠEK Pavel a 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 sro., 2008, s. 10. ISBN 978-80-7204-582-2.
Detail

OČENÁŠEK Pavel a 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 sro., 2008, s. 9. ISBN 978-80-7204-582-2.
Detail

OČENÁŠEK Pavel a TRCHALÍK Roman. Using AVISPA in the Education of Network Security. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2008, s. 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), roč. 2008, č. 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!, roč. 2008, č. 2, s. 14-15. ISSN 1211-3085.
Detail

ČEJKA Rudolf. Zálohováním ke klidnějšímu spánku. CONNECT!, roč. 2008, č. 7, s. 57-59. ISSN 1211-3085.
Detail

TRCHALÍK Roman, OČENÁŠEK Pavel a ŠVÉDA Miroslav. Using MSC and SDL Languages for Description of Network Communication. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2008, s. 5. ISBN 978-80-214-3717-3.
Detail

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

THIRIET Jean-Marc, HILBURN Thomas B., KORNECKI Andrew J., GREGA Wojciech a Š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, s. 134-137. ISBN 978-1-4244-2009-4.
Detail

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

KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc a Š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, s. 1359-1371. ISBN 0-87823-196-X.
Detail

HILBURN Thomas B., KORNECKI Andrew J., THIRIET Jean-Marc, GREGA Wojciech a Š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, s. 633-638. ISBN 978-83-60810-14-9. ISSN 1896-7094.
Detail

RYŠAVÝ Ondřej a 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, s. 719-725. ISBN 978-83-60810-14-9.
Detail

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

ŠVÉDA Miroslav, RYŠAVÝ Ondřej a 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, s. 151-164. ISBN 978-953-7619-17-6.
Detail

2007

MATOUŠEK Petr. Bezpečné připojení jedním zařízením. CONNECT!, roč. 2007, č. 1, s. 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: Technická univerzita v Košiciach, 2007, s. 4. ISBN 978-80-8073-805-1.
Detail

TRCHALÍK Roman a OČENÁŠEK Pavel. Addressing and Routing in Sensor Networks. In: Proceedings of the 8th International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2007, s. 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, s. 186-192. ISBN 0-7695-2772-8.
Detail

MATOUŠEK Petr. Kombinované řešení switch/router. CONNECT!, roč. 2007, č. 4, s. 40-41. ISSN 1211-3085.
Detail

OČENÁŠEK Pavel a Š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, s. 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, s. 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, s. 11-16. ISBN 0-7695-2807-4.
Detail

ŠVÉDA Miroslav a VRBA Radimír. Dependability-driven Embedded Systems Networking. In: Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007, s. 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, s. 523-529. ISBN 0-7695-2807-4.
Detail

ŠVÉDA Miroslav a 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, s. 6. ISBN 0-7695-2807-4.
Detail

OČENÁŠEK Pavel a TRCHALÍK Roman. Reasoning About Security Protocols in the ZigBee Standard. In: Proceedings of the 8th International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2007, s. 4. ISBN 978-80-8073-805-1.
Detail

ŠVÉDA Miroslav, VRBA Radimír a 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, s. 8. ISBN 972-8865-84-8.
Detail

PAVLÍK Michal, HÁZE Jiří, VRBA Radimír a Š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, s. 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 sro., 2007, s. 10. ISBN 80-7204-532-7.
Detail

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

ŠVÉDA Miroslav a 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, s. 23-30. ISBN 978-989-8111-11-1.
Detail

ŠVÉDA Miroslav a 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, s. 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, s. 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: Vysoké učení technické v Brně, 2007, s. 87-91. ISBN 978-80-214-3470-7.
Detail

ŠVÉDA Miroslav a 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, s. 420-423. ISBN 0-7695-2978-X.
Detail

MATOUŠEK Petr a 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 a THIRIET Jean-Marc. Developing an Interdisciplinary and Multinational Software Engineering Curriculum. In: Proceedings of the International Conference on Engineering Education. Coimbra: Evropská komise EU - Vzdělání a tréning, 2007, s. 4. ISBN 978-972-8055-14-1.
Detail

PETERKA Ondřej, RYŠAVÝ Ondřej, LORENC Václav, OSOVSKÝ Martin a Š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, s. 173-180. ISBN 978-80-7355-077-6.
Detail

KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc a ŠVÉDA Miroslav. ILERT - International Learning Environment for Real-Time Software Intensive Control Systems. Computer Science and Information Technology, roč. 2007, č. 2, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 78-83. ISBN 80-214-3130-X.
Detail

RYŠAVÝ Ondřej, ŠČUGLÍK František a Š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, s. 159-163. ISBN 0-7695-2546-6.
Detail

OČENÁŠEK Pavel a 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 Technická univerzita Ostrava, 2006, s. 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: Technische Universität Wien, 2006, s. 51-52. ISBN 3-902463-05-8.
Detail

TRCHALÍK Roman a OČENÁŠEK Pavel. Metrics in Workflow Systems. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB Technická univerzita Ostrava, 2006, s. 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 a TRCHALÍK Roman. The Use of Modal Logics in the Security Protocols Analysis. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 395-399. ISBN 80-214-3163-6.
Detail

TRCHALÍK Roman a OČENÁŠEK Pavel. Zigbee Gateways. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 410-414. ISBN 80-214-3163-6.
Detail

OČENÁŠEK Pavel a 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, s. 3.
Detail

OČENÁŠEK Pavel a Š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, s. 4. ISBN 0-7695-2552-0.
Detail

ŠVÉDA Miroslav, VRBA Radimír a 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, s. 6. ISBN 0-7695-2552-0.
Detail

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

OČENÁŠEK Pavel a KUBÁT Lubomír. Establishing Certified Quality System in Technology Companies. In: EDS '06 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2006, s. 290-295. ISBN 80-214-3246-2.
Detail

OČENÁŠEK Pavel a 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: Fakulta informačních technologií VUT v Brně, 2006, s. 166-173. ISBN 80-214-3287-X.
Detail

FUJCIK Lukáš, VRBA Radimír a Š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, s. 142-147. ISBN 972-8865-59-7.
Detail

ŠVÉDA Miroslav a 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, s. 183-186. ISBN 972-8865-59-7.
Detail

ŠVÉDA Miroslav a 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, s. 63-68. ISBN 972-8865-62-7.
Detail

ŠVÉDA Miroslav a 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: Université Pierre et Marie Curie, 2006, s. 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: Slovenská akademie věd, 2006, s. 49-54. ISBN 80-969202-2-7.
Detail

TRCHALÍK Roman a ŠVÉDA Miroslav. Sensor Networking through Intranet and ZigBee. In: Proceedings IMAPS CS International Conference EDS'06. Brno: Vysoké učení technické v Brně, 2006, s. 217-221. ISBN 80-214-3246-2.
Detail

SMRČKA Aleš, ŘEHÁK Vojtěch, VOJNAR Tomáš, ŠAFRÁNEK David, MATOUŠEK Petr a ŘEHÁK Zdeněk. Verifying VHDL Design with Multiple Clocks in SMV. In: Proceedings of FMICS 2006. Bonn, 2006, s. 140-155.
Detail

MATOUŠEK Petr. Nástroje pro analýzu bezpečnostních protokolů. Brno, 2006.
Detail

ŠVÉDA Miroslav a VRBA Radimír. Bezpečné sítě mikroelektronických systémů. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006.
Detail

OČENÁŠEK Pavel. Automatic System for Making Web Content Accessible for Visually Impaired Users. WSEAS Transactions on Computers Research, roč. 1, č. 2, 2006, s. 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, s. 430-433. ISBN 960-8457-57-2.
Detail

OČENÁŠEK Pavel a 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, s. 329-331. ISBN 960-8457-57-2.
Detail

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

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

2005

ŠVÉDA Miroslav, BENEŠ Petr, VRBA Radimír a 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, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2005, s. 576-580. ISBN 80-214-2890-2.
Detail

OČENÁŠEK Pavel a 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, roč. 2005, č. 1, s. 8. ISSN 1801-2213.
Detail

BUREŠ František, RYŠAVÝ Ondřej, ŠČUGLÍK František a Š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, s. 323-330. ISBN 0-7695-2308-0.
Detail

ŠVÉDA Miroslav a 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, s. 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, s. 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, s. 1215-1219. ISBN 960-8457-34-3.
Detail

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

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

MATOUŠEK Petr, SMRČKA Aleš a 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, roč. 2005. Berlin: Springer Verlag, 2005, s. 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: Vysoké učení technické v Brně, 2005, s. 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: Fakulta informatiky MU, 2005, s. 9.
Detail

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

KUCHTA Radek, ŠTEFFAN Pavel, BARTOŇ Zdeněk, VRBA Radimír a ŠVÉDA Miroslav. Wireless Temperature Data Logger. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, s. 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, s. 147-156. ISBN 1-84628-311-6.
Detail

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

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

2004

VRBA Radimír, ŠVÉDA Miroslav a 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, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2004, s. 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, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2004, s. 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, s. 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: Vysoké učení technické v Brně, 2004, s. 350-353. ISBN 80-214-2701-9.
Detail

ŠVÉDA Miroslav a 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, s. 8. ISBN 0-8576-9197-0.
Detail

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

ŠVÉDA Miroslav, RATTRAY Charles a ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, roč. 10, č. 10, 2004, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 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, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2002, s. 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: Vysoké učení technické v Brně, 2002, s. 341-344. ISBN 80-214-2180-0.
Detail

1996

ZEZULKA František a Š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, s. 79-83. ISBN 1-921836-43-1.
Detail

ŠVÉDA Miroslav a 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, s. 79-83. ISBN 0-92183-43-14.
Detail