NES@FIT - Networks and distributed systems research group
Publications
-
2024
HRANICKÝ Radek, HORÁK Adam, POLIŠENSKÝ Jan, JEŘÁBEK Kamil and RYŠAVÝ Ondřej. Unmasking the Phishermen: Phishing Domain Detection with Machine Learning and Multi-Source Intelligence. In: Proceedings of IEEE/IFIP Network Operations and Management Symposium 2024. Soul: Institute of Electrical and Electronics Engineers, 2024, pp. 1-5. ISBN 979-8-3503-2794-6.
DetailMUTUA Nelson Makau, NADJM-TEHRANI Simin and MATOUŠEK Petr. Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systrems. In: 2024, pp. 1-19.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. In: Proceedings of 20th International Conference on Network and Service Management. Prague, 2024, pp. 1-5.
DetailBURGETOVÁ Ivana, MATOUŠEK Petr and RYŠAVÝ Ondřej. Towards Identification of Network Applications in Encrypted Traffic. In: The Proceedings of the 8th Cyber Security in Networking Conference (CSNet 2024). IEEE Explore. Paris, 2024, pp. 1-10.
Detail -
2023
HAVLENA Vojtěch, MATOUŠEK Petr, RYŠAVÝ Ondřej and HOLÍK Lukáš. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, vol. 2023, no. 14, pp. 2352-2366. ISSN 1949-3053.
DetailPOLČÁK Libor, SALOŇ Marek, MAONE Giorgio, HRANICKÝ Radek and MCMAHON Michael. JShelter: Give Me My Browser Back. In: Proceedings of the 20th International Conference on Security and Cryptography. Řím: SciTePress - Science and Technology Publications, 2023, pp. 287-294. ISBN 978-989-758-666-8.
DetailVONDRÁČEK Martin, BAGGILI Ibrahim, CASEY Peter and MEKNI Mehdi. Rise of the Metaverse's Immersive Virtual Reality Malware and the Man-in-the-Room Attack & Defenses. Computers and Security, vol. 127, no. 1, 2023, pp. 1-13. ISSN 0167-4048.
DetailJEŘÁBEK Kamil, HYNEK Karel, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. DNS over HTTPS Detection Using Standard Flow Telemetry. IEEE Access, vol. 2023, no. 11, pp. 50000-50012. ISSN 2169-3536.
DetailIMERI Arbnor and RYŠAVÝ Ondřej. Deep learning for predictive alerting and cyber-attack mitigation. In: IEEE 13th Annual Computing and Communication Workshop and Conference, CCWC 2023. Las Vegas: IEEE Computer Society, 2023, pp. 476-481. ISBN 978-3-319-93490-7.
DetailBURGET Radek. Scraping Data from Web Pages using SPARQL Queries. In: Web Engineering - 23rd International Conference, ICWE 2023. Lecture Notes in Computer Science. Alicante: Springer Nature Switzerland AG, 2023, pp. 293-300. ISBN 978-3-031-34443-5.
DetailBURGET Radek and SALEM Hamza. Creating Searchable Web Page Snapshots using Semantic Technologies. In: Web Engineering - 23rd International Conference, ICWE 2023. Lecture Notes in Computer Science. Alicante: Springer Nature Switzerland AG, 2023, pp. 355-358. ISBN 978-3-031-34443-5.
DetailPOLČÁK Libor and JEŘÁBEK Kamil. Data Protection and Security Issues with Network Error Logging. In: Proceedings of the 20th International Conference on Security and Cryptography. Řím: SciTePress - Science and Technology Publications, 2023, pp. 683-690. ISBN 978-989-758-666-8.
DetailPEŠEK Jaroslav, PLNÝ Richard, KOUMAR Josef, JEŘÁBEK Kamil and ČEJKA Tomáš. Augmenting Monitoring Infrastructure For Dynamic Software-Defined Networks. In: 8th International Conference on Smart and Sustainable Technologies (SpliTech). Split, 2023, pp. 1-4.
DetailPOLČÁK Libor and SLEZÁKOVÁ Alexandra. Data Exfiltration by Hotjar Revisited. In: Proceedings of the 19th International Conference on Web Information Systems and Technologies. Řím: SciTePress - Science and Technology Publications, 2023, pp. 347-354. ISBN 978-989-758-672-9.
DetailRADER Roman, JEŘÁBEK Kamil and RYŠAVÝ Ondřej. Detecting DoH-Based Data Exfiltration: FluBot Malware Case Study. In: IEEE 48th Conference on Local Computer Networks (LCN). Daytona Beach: IEEE Computer Society, 2023, pp. 50-54. ISBN 979-8-3503-0074-1.
DetailDOLEJŠKA Daniel, KOUTENSKÝ Michal, VESELÝ Vladimír and PLUSKAL Jan. Busting up Monopoly: Methods for Modern Darknet Marketplace Forensics. Forensic Science International: Digital Investigation, vol. 46, no. 1, 2023, pp. 1-11. ISSN 2666-2817.
Detail -
2022
POLČÁK Libor and MATOUŠEK Petr. Metering Homes: Do Energy Efficiency and Privacy Need to be in Conflict?. In: Proceedings of the 19th International Conference on Security and Cryptography. Lisabon: SciTePress - Science and Technology Publications, 2022, pp. 47-58. ISBN 978-989-758-590-6.
DetailJEŘÁBEK Kamil, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Measurement and characterization of DNS over HTTPS traffic. arXiv.org, vol. 2022, no. 2204, pp. 1-27. ISSN 2331-8422.
DetailJEŘÁBEK Kamil, HYNEK Karel, ČEJKA Tomáš and RYŠAVÝ Ondřej. Collection of Datasets with DNS over HTTPS Traffic. Data in Brief, vol. 2022, no. 42, pp. 1-13. ISSN 2352-3409.
DetailDOLEJŠKA Daniel, VESELÝ Vladimír, PLUSKAL Jan and KOUTENSKÝ Michal. Shedding Light on Monopoly: Temporal Analysis of Drug Trades. In: 13th EAI International Conference, ICDF2C 2022, Boston, MA, November 16-18, 2022, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Boston, MA: Springer Nature Switzerland AG, 2022, pp. 151-168. ISBN 978-3-031-36573-7. ISSN 1867-8211.
DetailPLUSKAL Jan and VESELÝ Vladimír. Intercepting and Collecting Web Evidence in the Times of TLS1.3 and HTTP3.0. ISS World Europe 2022, Praha, 2022.
DetailDOLEJŠKA Daniel, VESELÝ Vladimír, GRÉGR Matěj and JEŘÁBEK Vladimír. Možnosti monitorování a korelování aktivit na temných tržišť při ztotožňování uživatelů. Brno, 2022.
Detail -
2021
MATOUŠEK Petr, BURGETOVÁ Ivana, RYŠAVÝ Ondřej and VICTOR Malombe. On Reliability of JA3 Hashes for Fingerprinting Mobile Applications. In: Digital Forensics and Cyber Crime. ICDF2C 2020. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol. 351. Boston: Springer International Publishing, 2021, pp. 1-22. ISBN 978-3-030-68733-5.
DetailMATOUŠEK Petr, HAVLENA Vojtěch and HOLÍK Lukáš. Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata. In: Proceedings of IFIP/IEEE International Symposium on Integrated Network Management. Bordeaux: International Federation for Information Processing, 2021, pp. 81-89. ISBN 978-3-903176-32-4.
DetailMATOUŠEK Petr and RYŠAVÝ Ondřej. Teaching ICS Security in Blended Classroom Environment. In: Proceedings of the 2021 30th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE). Prague: Czech Technical University, 2021, pp. 148-153. ISBN 978-1-7281-9324-3.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej and POLČÁK Libor. Unified SNMP Interface for IoT Monitoring. In: Proceedings of the IM 2021 - 2021 IFIP/IEEE International Symposium on Integrated Network Management. Bordeaux: International Federation for Information Processing, 2021, pp. 938-943. ISBN 978-3-903176-32-4.
DetailMATOUŠEK Petr and KRAJČ Patrik. Monitoring of IoT Devices Using SNMP. IT-TR-2020-10, Brno: Faculty of Information Technology BUT, 2021.
DetailMATOUŠEK Petr, PRISTAŠ Ján and MASÁROVÁ Mária. Simulation of Industrial Processes using I/O Factory and UniPi. IT-TR-2020-09, Brno: Faculty of Information Technology BUT, 2021.
DetailRYŠAVÝ Ondřej and MATOUŠEK Petr. A Network Traffic Processing Library for ICS Anomaly Detection. In: ECBS '21: Proceedings of the 7th Conference on the Engineering of Computer Based Systems. Novi Sad: Association for Computing Machinery, 2021, pp. 144-151. ISBN 978-1-4503-9057-6.
DetailBURGETOVÁ Ivana, MATOUŠEK Petr and MUTUA Nelson Makau. Statistical Methods for Anomaly Detection in Industrial Communication. IT-TR-2021-01, Brno: Faculty of Information Technology BUT, 2021.
DetailBURGETOVÁ Ivana, MATOUŠEK Petr and RYŠAVÝ Ondřej. Anomaly Detection of ICS Communication Using Statistical Models. In: Proceedings of the 17th International Conference on Network Service Management (CNSM 2021). Izmir: Institute of Electrical and Electronics Engineers, 2021, pp. 166-172. ISBN 978-3-903176-36-2.
DetailMATOUŠEK Petr and GROFČÍK Peter. ICS Virtual Testbed. FIT-TR-2021-02, Brno: Faculty of Information Technology BUT, 2021.
DetailMUTUA Nelson Makau and MATOUŠEK Petr. Outlier Detection in Smart Grid Communication. In: Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference. Munich, 2021, pp. 1-4.
DetailHOLKOVIČ Martin, BOHUŠ Michal and RYŠAVÝ Ondřej. Network Problem Diagnostics using Typographic Error Correction. In: Proceedings of the 17th International Conference on Network Service Management (CNSM 2021). Izmir: Institute of Electrical and Electronics Engineers, 2021, pp. 482-490. ISBN 978-3-903176-36-2.
DetailUHLÁR Juraj, HOLKOVIČ Martin and RUSŇÁK Vít. PCAPFunnel: A Tool for Rapid Exploration of Packet Capture Files. In: 2021 25TH INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV): AI & VISUAL ANALYTICS & DATA SCIENCE. Sydney: IEEE Biometric Council, 2021, pp. 69-76. ISBN 978-1-6654-3827-8. ISSN 2375-0138.
DetailPOLČÁK Libor. CVE-2021-34571, CVE-2021-34572, CVE-2021-34573, CVE-2021-34576. Frankfurt am Main, 2021.
DetailMATOUŠEK Petr. Bezpečnostní rizika IoT. Brno, 2021.
DetailVESELÝ Vladimír and ZAVŘEL Jan. Quality Control Methodology for Simulation Models of Computer Network Protocols. In: Proceedings of 8th Virutal OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2021, pp. 1-19. ISSN 2331-8422.
DetailMATOUŠEK Petr. Security of Smart Grid Communication. Brno: Faculty of Information Technology BUT, 2021.
Detail -
2020
POLČÁK Libor, RYŠAVÝ Ondřej and MATOUŠEK Petr. Identity Linking in Computer Networks. In: Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, DCNET, OPTICS, SIGMAP and WINSYS. Setubal: SciTePress - Science and Technology Publications, 2020, pp. 45-52. ISBN 978-989-758-445-9.
DetailKOUTENSKÝ Michal, VESELÝ Vladimír and MAFFIONE Vincenzo. Bandwidth-driven Flow Allocation Policy for RINA. In: Proceedings of the 23rd Conference on Innovation in Clouds, Internet and Networks (ICIN 2020). Paris: IEEE Communications Society, 2020, pp. 51-56. ISBN 978-1-7281-5127-4.
DetailPOLČÁK Libor. Soukromí uživatelů v prostředí internetové reklamy na českém webu. DSM Data Security Management, vol. 2020, no. 1, pp. 11-16. ISSN 1211-8737.
DetailHOLKOVIČ Martin, POLČÁK Libor and RYŠAVÝ Ondřej. Application Error Detection in Networks by Protocol Behavior Model. In: Communications in Computer and Information Science. Praha: Springer Verlag, 2020, pp. 3-28. ISBN 978-3-030-52685-6. ISSN 1865-0929.
DetailHOLKOVIČ Martin and RYŠAVÝ Ondřej. Using Rule-Based Decision Trees for Automatic Passive Diagnostics of the Network Problems. International Journal on Advances in Networks and Services, vol. 2020, no. 1, pp. 1-10. ISSN 1942-2644.
DetailKOUTENSKÝ Michal, VESELÝ Vladimír and MAFFIONE Vincenzo. Addressing Bandwidth-driven Flow Allocation in RINA. Computers, vol. 9, no. 3, 2020, pp. 1-23. ISSN 2073-431X.
DetailYOUSSEF Sawsan and RYŠAVÝ Ondřej. Behavioral Anomaly Detection in Industrial Control Systems: An Evaluation of Flowmon ADS. FIT-TR-2020-02, Brno: Faculty of Information Technology BUT, 2020.
DetailYOUSSEF Sawsan and RYŠAVÝ Ondřej. Proposed Method for Partial Node Replacement by Software Defined Network. In: Position Papers of the 2020 Federated Conference on Computer Science and Information Systems. Annals of Computer Science and Information Systems, vol. 22. Warsaw: Polish Information Processing Society, 2020, pp. 11-14. ISBN 978-83-959183-0-8. ISSN 2300-5963.
DetailHOLKOVIČ Martin, BOHUŠ Michal and RYŠAVÝ Ondřej. Pattern Detection Based Network Diagnostics. In: Proceedings of the 17th International Joint Conference on e-Business and Telecommunications. Setubal: SciTePress - Science and Technology Publications, 2020, pp. 35-42. ISBN 978-989-758-445-9.
DetailHRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch, MÚČKA Matúš, HORÁK Adam, BOLVANSKÝ Dávid and ŽENČÁK Tomáš. The architecture of Fitcrack distributed password cracking system, version 2. FIT-TR-2020-04, Brno: Faculty of Information Technology BUT, 2020.
DetailBURGET Radek and RYCHLÝ Marek. Extrakce událostí ze souborových systémů - Návrh a implementace distribuované architektury. FIT-TR-2020-08, Brno: Faculty of Information Technology BUT, 2020.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej, HAVLENA Vojtěch and GRÉGR Matěj. Flow based monitoring of ICS communication in the smart grid. Journal of Information Security and Applications, vol. 2020, no. 54, pp. 102535-102535. ISSN 2214-2126.
DetailMATOUŠEK Petr, BURGETOVÁ Ivana and VICTOR Malombe. Mobile Device Fingerprinting. FIT-TR-2020-05, Brno, 2020.
DetailVICTOR Malombe. PC Browser and Android Applications Fingerprinting. Brno, 2020.
DetailWACHIURI Simon. Security Analysis of the GOOSE Communication Protocol Using Statistical Profiling. Brno, 2020.
DetailMUTUA Nelson Makau. Application of Approximate Matching on Industrial Control System (ICS) Network Communication Using Ssdeep Algorithm. Brno, 2020.
DetailHAVLENA Vojtěch, HOLÍK Lukáš and MATOUŠEK Petr. Learning Probabilistic Automata in the Context of IEC 104. IT-TR-2020-01, Brno: Faculty of Information Technology BUT, 2020.
DetailHRANICKÝ Radek. Forenzní analýza šifrovaných dat. DSM Data Security Management, vol. 2020, no. 4, pp. 14-18. ISSN 1211-8737.
DetailPLUSKAL Jan. SSL/TLS Interception Workshop (TLS1.3 edition). Dubai, 2020.
DetailPLUSKAL Jan. Towards Fully Automated Infinitely Scalable and Maximally Effective Password Cracking of Encrypted Documents. Dubai, 2020.
DetailVESELÝ Vladimír and ZAVŘEL Jan. Enhanced Interior Gateway Routing Protocol. Budapešť, 2020.
Detail -
2019
JEŘÁBEK Kamil and VESELÝ Vladimír. One of the Ways How to Make RIB Distributed. In: Proceedings of the 22nd Conference on Innovation in Clouds, Internet and Networks (ICIN 2019). Paříž: IEEE Communications Society, 2019, pp. 49-53. ISBN 978-1-5386-3458-5.
DetailLETAVAY Viliam, PLUSKAL Jan and RYŠAVÝ Ondřej. A Scalable Architecture for Network Traffic Forensics. In: The Fifteenth International Conference on Networking and Services ICNS 2019. Athens: The International Academy, Research and Industry Association, 2019, pp. 32-36. ISBN 978-1-61208-711-5.
DetailVESELÝ Vladimír. Towards Fully Automated Infinitely Scalable and Maximally Effective Password Cracking of Encrypted Documents. Dubai, 2019.
DetailVESELÝ Vladimír. Hunting Down Cryptocurrency Users. Dubaj, 2019.
DetailHRANICKÝ Radek, LIŠTIAK Filip, MIKUŠ Dávid and RYŠAVÝ Ondřej. On Practical Aspects of PCFG Password Cracking. In: Data and Applications Security and Privacy. Charleston: Springer Nature Switzerland AG, 2019, pp. 43-60. ISBN 978-3-030-22478-3. ISSN 0302-9743.
DetailHRANICKÝ Radek, ZOBAL Lukáš, RYŠAVÝ Ondřej and KOLÁŘ Dušan. Distributed password cracking with BOINC and hashcat. Digital Investigation, vol. 30, no. 1, 2019, pp. 161-172. ISSN 1742-2876.
DetailKOCMAN Tomáš. Představení knihovny Scrapy pro tvorbu web crawlerů. ROOT, informace nejen ze světa Linuxu, vol. 2019, no. 2019. ISSN 1212-8309.
DetailPLUSKAL Jan, VONDRÁČEK Martin and RYŠAVÝ Ondřej. Network Forensics in GSE Overlay Networks. In: ECBS '19: Proceedings of the 6th Conference on the Engineering of Computer Based Systems. Bukurešť: Association for Computing Machinery, 2019, pp. 1-10. ISBN 978-1-4503-7636-5.
DetailJEŘÁBEK Kamil and RYŠAVÝ Ondřej. Big Data Network Flow Processing Using Apache Spark. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems (ECBS 2019), 2019. Bukurešť: Association for Computing Machinery, 2019, pp. 1-9. ISBN 978-1-4503-7636-5.
DetailLETAVAY Viliam, PLUSKAL Jan and RYŠAVÝ Ondřej. Network Forensic Analysis for Lawful Enforcement Steroids, Distributed and Scalable. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems (ECBS 2019), 2019. Bucharest: Association for Computing Machinery, 2019, pp. 1-10. ISBN 978-1-4503-7636-5.
DetailHOLKOVIČ Martin and RYŠAVÝ Ondřej. Network Diagnostics Using Passive Network Monitoring and Packet Analysis. In: ICNS 2019. The Fifteenth International Conference on Networking and Services. Athens: The International Academy, Research and Industry Association, 2019, pp. 47-51. ISBN 978-1-61208-711-5.
DetailHOLKOVIČ Martin, RYŠAVÝ Ondřej and DUDEK Jindřich. Automating Network Security Analysis at Packet-level by using Rule-based Engine. In: Proceedings of the Sixth European Conference on the Engineering of Computer-Based Systems. Bucharest: Association for Computing Machinery, 2019, pp. 1-8. ISBN 978-1-4503-7636-5.
DetailHOLKOVIČ Martin, RYŠAVÝ Ondřej and POLČÁK Libor. Using Network Traces to Generate Models for Automatic Network Application Protocols Diagnostics. In: Proceedings of the 16th International Joint Conference on e-Business and Telecommunications Volume 1: DCNET, ICE-B, OPTICS, SIGMAP and WINSYS. Praha: SciTePress - Science and Technology Publications, 2019, pp. 37-47. ISBN 978-989-758-378-0.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej and GRÉGR Matěj. Increasing Visibility of IEC 104 Communication in the Smart Grid. In: 6th International Symposium for ICS & SCADA Cyber Security Research 2019. Swindon: BCS Learning and Development Ltd., 2019, pp. 21-30. ISBN 978-1-78017-523-2.
DetailVESELÝ Vladimír, MAREK Marcel and JEŘÁBEK Kamil. RINASim. EAI/Springer Innovations in Communication and Computing, vol. 2019, no. 1, pp. 139-181. ISBN 978-3-030-12842-5. ISSN 2522-8595.
DetailPOLČÁK Libor. Wireless M-Bus: Kdo ví, že perete?. DSM Data Security Management, vol. 2019, no. 4, pp. 13-17. ISSN 1211-8737.
DetailVESELÝ Vladimír, MAREK Marcel, JEŘÁBEK Kamil and NOVÁK Adrián. Everything You Always Wanted to Know About BGPv4 in OMNeT++ But Were Afraid to Ask. In: Proceedings of 6th OMNeT++ Community Summit. Manchester: EasyChair, 2019, pp. 1-8. ISSN 2398-7340.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Extending Networking Curriculum with Applied Artificial Intelligence. In: Proceedings of EAEEIE 2019. Ruse: Institute of Electrical and Electronics Engineers, 2019, pp. 11-16. ISBN 978-1-7281-3222-8.
DetailVESELÝ Vladimír and ŽÁDNÍK Martin. How to detect cryptocurrency miners? By traffic forensics!. Digital Investigation, vol. 31, no. 31, 2019, pp. 1-14. ISSN 1742-2876.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej and GRÉGR Matěj. Security Monitoring of IoT Communication Using Flows. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems. ECBS '19. New York: Association for Computing Machinery, 2019, pp. 1-9. ISBN 978-1-4503-7636-5.
DetailRYŠAVÝ Ondřej and MATOUŠEK Petr. An IPFIX Extension for MQTT Protocol Monitoring. FIT-TR-2019-01, Brno: Faculty of Information Technology BUT, 2019.
DetailGRÉGR Matěj. Study on visual representation of IoT diagnostic information. Brno, 2019.
DetailPLUSKAL Jan, KOUTENSKÝ Michal, VONDRÁČEK Martin and RYŠAVÝ Ondřej. Network Forensic Investigations of Tunneled Traffic: A Case Study. Revue roumaine des sciences techniques. Série électrotechnique et énergétique, vol. 64, no. 4, 2019, pp. 429-434. ISSN 0035-4066.
DetailHRANICKÝ Radek, MIKUŠ Dávid and ZOBAL Lukáš. Lámání hesel pomocí pravděpodobnostních gramatik. FIT-TR-2019-03, Brno: Faculty of Information Technology BUT, 2019.
DetailJEŘÁBEK Kamil. Big Data cluster založený na kontejnerech. FIT-TR-2019-04, Brno: Faculty of Information Technology BUT, 2019.
DetailJEŘÁBEK Kamil. DNS Over HTTPS Analysis and Detection in Regular HTTPS. FIT-TR-2019-05, Brno: Faculty of Information Technology BUT, 2019.
DetailVESELÝ Vladimír. Hunting Down Cryptocurrency Users. Praha, 2019.
DetailVESELÝ Vladimír. Cryptocurrency Investigation Workshop. Kuala Lumpur, 2019.
DetailPLUSKAL Jan and VESELÝ Vladimír. SSL/TLS Interception Workshop (TLS1.3 edition). Kuala Lumpur, 2019.
DetailPLUSKAL Jan and VESELÝ Vladimír. SSL/TLS Interception Workshop. Praha, 2019.
DetailVESELÝ Vladimír. Towards Fully Automated Infinitely Scalable and Maximally Effective Password Cracking of Encrypted Documents. Praha, 2019.
DetailVESELÝ Vladimír. Workshop on Evidence Collection and Analysis of Webpages. Kuala Lumpur, 2019.
Detail -
2018
PLUSKAL Jan, LICHTNER Ondrej and RYŠAVÝ Ondřej. Traffic Classification and Application Identification in Network Forensics. In: Fourteenth Annual IFIP WG 11.9 International Conference on Digital Forensics. New Delhi: Springer International Publishing, 2018, pp. 161-181. ISBN 978-3-319-99277-8. ISSN 1868-4238.
DetailRYCHLÝ Marek and RYŠAVÝ Ondřej. Big Data Security Analysis with TARZAN Platform. Journal of Cyber Security and Mobility, vol. 8, no. 2, 2018, pp. 165-188. ISSN 2245-1439.
DetailMATOUŠEK Petr and SCHMIEDECKER Martin. Digital Forensics and Cyber Crime. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Cham: Springer International Publishing, 2018. ISBN 978-3-319-73697-6.
DetailVONDRÁČEK Martin, PLUSKAL Jan and RYŠAVÝ Ondřej. Automated Man-in-the-Middle Attack Against Wi-Fi Networks. The Journal of Digital Forensics, Security and Law, vol. 2018, no. 13, pp. 59-80. ISSN 1558-7215.
DetailMATOUŠEK Petr. Description of IEC 61850 Communication. FIT-TR-2018-01, Brno: Faculty of Information Technology BUT, 2018.
DetailPLUSKAL Jan and VESELÝ Vladimír. TLS/SSL Decryption Workshop. Praha, 2018.
DetailVESELÝ Vladimír. Cryptocurrency Forensics Utilizing a Multi-currency Blockchain Explorer. Praha, 2018.
DetailVESELÝ Vladimír. Hunting Down Cryptocurrency Users. Kuala Lumpur, 2018.
DetailVESELÝ Vladimír and PLUSKAL Jan. SSL/TLS Interception Workshop. Kuala Lumpur, 2018.
DetailVESELÝ Vladimír. Towards Fully Automated Infinitely Scalable and Maximally Effective Password Cracking of Encrypted Documents. Kuala Lumpur, 2018.
DetailHRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch and MÚČKA Matúš. Distribuce výpočtů pro nástroj hashcat. FIT-TR-2018-04, Brno, 2018.
DetailPOLČÁK Libor. Co skrývá síť BitTorrent?. FIT-TR-2018-05, Brno, 2018.
DetailHRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch and MÚČKA Matúš. The architecture of Fitcrack distributed password cracking system. FIT-TR-2018-03, Brno: Faculty of Information Technology BUT, 2018.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej, JAMES Joshua I. and JANG Yunsik J. Interconnecting Education and Research Through International Partnership: IoT Case Study. In: 2018 28th EAEEIE Annual Conference, EAEEIE 2018. Hafnarfjordur: Institute of Electrical and Electronics Engineers, 2018, pp. 1-6. ISBN 978-1-5386-7711-7.
DetailGRÉGR Matěj. Souhrnná zpráva k projektu DDoS ochrana člena sdružení CESNET. Brno: CESNET National Research and Education Network, 2018.
Detail -
2017
PLUSKAL Jan and RYŠAVÝ Ondřej. Detection, and Analysis of SIP Fraud Attack on 100Gb Ethernet with NEMEA System. Pristina, 2017.
DetailHRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch and MATOUŠEK Petr. Distributed Password Cracking in a Hybrid Environment. In: Proceedings of SPI 2017. Brno: University of Defence in Brno, 2017, pp. 75-90. ISBN 978-80-7231-414-0.
DetailRYCHLÝ Marek and RYŠAVÝ Ondřej. TARZAN: An Integrated Platform for Security Analysis. In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Annals of Computer Science and Information Systems, Volume 11. Praha: IEEE Computer Society, 2017, pp. 561-567. ISBN 978-83-946253-7-5.
DetailMATOUŠEK Petr, ONYANGO Collins Oduor, RYŠAVÝ Ondřej and SEVILLA Joseph. Delivering ICT Security Courses over 5.944 km. In: Proceedings of the 27th EAEEIE Annual Conference. Grenoble: Grenoble Institute of Technology, 2017, pp. 1-7. ISBN 978-1-7281-0907-7.
DetailVONDRÁČEK Martin, PLUSKAL Jan and RYŠAVÝ Ondřej. Automation of MitM Attack on Wi-Fi Networks. In: 9th International Conference on Digital Forensics & Cyber Crime. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series (LNICST), vol. 2018. Prague: Springer International Publishing, 2017, pp. 207-220. ISBN 978-3-319-73696-9. ISSN 1867-8211.
DetailMAREK Marcel, RYŠAVÝ Ondřej and VESELÝ Vladimír. Towards analysis of IP communication in a constrained environment of tactical radio networks. In: Proceedings of European Conference on the Engineering of Computer Based Systems. Larnaca: Association for Computing Machinery, 2017, pp. 50-57. ISBN 978-1-4503-4843-0.
DetailPOLČÁK Libor. Základní informace o síti Tor. FIT-TR-2017-01, Brno, 2017.
DetailBAGGILI Ibrahim, BREITINGER Frank and KARPÍŠEK Filip. Leveraging the SRTP protocol for over-the-network memory acquisition of a GE Fanuc Series 90-30. Digital Investigation, vol. 2017, no. 22, pp. 26-38. ISSN 1742-2876.
DetailPLUSKAL Jan, LICHTNER Ondrej and RYŠAVÝ Ondřej. Netfox Detective - Identifikace aplikačních protokolů pomocí algoritmů strojového učení. FIT-TR-2017-05, 2017.
DetailPLUSKAL Jan. Netfox Detective 2.0 - Nástroj pro síťovou forenzní analýzu. FIT-TR-2017-06: Faculty of Information Technology BUT, 2017.
DetailMATOUŠEK Petr. Description and analysis of IEC 104 Protocol. FIT-TR-2017-12, Brno: Faculty of Information Technology BUT, 2017.
DetailVESELÝ Vladimír. Detekce kryptoměnových těžařů. FIT-TR-2017-03, Brno, 2017.
DetailRYCHLÝ Marek and RYŠAVÝ Ondřej. Platforma pro zpracovaní dat síťové forenzní analýzy. FIT-TR-2017-07, Brno, 2017.
DetailRYŠAVÝ Ondřej. Analysis of Constrained Application Protocol. FIT-TR-2017-15, Brno: Faculty of Information Technology BUT, 2017.
DetailRYŠAVÝ Ondřej. Security Monitoring of LwM2M communication. FIT-TR-2017-16, Brno: Faculty of Information Technology BUT, 2017.
DetailMATOUŠEK Petr. Analysis of DLMS Protocol. FIT-TR-2017-13, Brno, 2017.
DetailGRÉGR Matěj. Souhrnná zpráva k projektu DDoS ochrana člena sdružení CESNET. Brno: CESNET National Research and Education Network, 2017.
DetailVESELÝ Vladimír and RAJCA Tomáš. Discovering Neighbor Devices in Computer Network - Development of CDP and LLDP Simulation Modules for OMNeT++. In: Proceedings of 4th OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2017, pp. 1-4. ISSN 2331-8422.
DetailVESELÝ Vladimír, HOLUŠA Jan and RYŠAVÝ Ondřej. First-hop Redundancy Protocols in OMNeT++. In: Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH. Madrid: SciTePress - Science and Technology Publications, 2017, pp. 331-339. ISBN 978-989-758-265-3.
DetailMATOUŠEK Petr. Detekce mobilních zařízení v síťové komunikaci. FIT-TR-2017-08, Brno: Faculty of Information Technology BUT, 2017.
Detail -
2016
POLČÁK Libor, CALDAROLA Leo, CUDA Davide, DONDERO Marco, FICARA Domenico, FRANKOVÁ Barbora, HOLKOVIČ Martin, CHOUKIR Amine, MUCCIFORA Roberto and TRIFILO Antonio. High Level Policies in SDN. In: Communications in Computer and Information Science. Berlin: Springer International Publishing, 2016, pp. 39-57. ISBN 978-3-319-30221-8. ISSN 1865-0929.
DetailKARMAZÍN Jaromír and OČENÁŠEK Pavel. The state of Near-Field Communication (NFC) on the Android platform. In: Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science, vol. 9750. Toronto: Springer Verlag, 2016, pp. 247-254. ISBN 978-3-319-39380-3. ISSN 0302-9743.
DetailGRASA Eduard, RYŠAVÝ Ondřej, LICHTNER Ondrej, ASGARI Hamid, DAY John and CHITKUSHEV Lou. From protecting protocols to layers: designing, implementing and experimenting with security policies in RINA. In: 2016 IEEE International Conference on Communications (ICC). Kuala-Lumpur: Institute of Electrical and Electronics Engineers, 2016, pp. 736-742. ISBN 978-1-4799-6665-3.
DetailHRANICKÝ Radek, HOLKOVIČ Martin, MATOUŠEK Petr and RYŠAVÝ Ondřej. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law, vol. 11, no. 2, 2016, pp. 79-95. ISSN 1558-7215.
DetailVESELÝ Vladimír, REK Vít and RYŠAVÝ Ondřej. Babel Routing Protocol for OMNeT++ - More than just a new simulation module for INET framework. In: Proceedings of 3rd OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2016, pp. 1-5. ISSN 2331-8422.
DetailPLUSKAL Jan, RYŠAVÝ Ondřej and MATOUŠEK Petr. On the Identification of Applications from Captured Network Traffic. New York, 2016.
DetailPLUSKAL Jan, VESELÝ Vladimír, GRÉGR Matěj and RYŠAVÝ Ondřej. TLS/SSL Decryption Workshop. Praha, 2016.
DetailPLUSKAL Jan and RYŠAVÝ Ondřej. Network Forensic Tool Netfox Detective. Pristina, 2016.
Detail -
2015
CALDAROLA Leo, CHOUKIR Amine, CUDA Davide, DONDERO Marco, FICARA Domenico, MUCCIFORA Roberto, POLČÁK Libor and TRIFILO Antonio. Towards a real application-aware network. In: Proceedings of the 6th International Conference on Data Communication Networking (DCNET-2015). Colmar: SciTePress - Science and Technology Publications, 2015, pp. 5-12. ISBN 978-989-758-112-0.
DetailPOLČÁK Libor and FRANKOVÁ Barbora. Clock-Skew-Based Computer Identification: Traps and Pitfalls. Journal of Universal Computer Science, vol. 21, no. 9, 2015, pp. 1210-1233. ISSN 0948-6968.
DetailOČENÁŠEK Pavel and TRCHALÍK Roman. System for Remote Monitoring of Engineering Services. In: International Conference on Advances in Manufacturing and Materials Engineering (ICAMME 2014). Chennai: Elsevier Science, 2015, pp. 1-3. ISBN 978-1-63439-365-2.
DetailOČENÁŠEK Pavel. Effective Synchronization of Data in Distributed Systems. In: Information, Computer and Application Engineering - Proceedings of the International Conference on Information Technology and Computer Application Engineering, ITCAE 2014. Leiden: CRC Press LLC, 2015, pp. 177-180. ISBN 978-1-138-02717-6.
DetailVESELÝ Vladimír and RYŠAVÝ Ondřej. Locator/Id Split Protocol Improvement for High-Availability Environment. In: Proceedings of The Eleventh International Conference on Networking and Services ICNS 2015. Roma: The International Academy, Research and Industry Association, 2015, pp. 61-67. ISBN 978-1-61208-404-6.
DetailPLUSKAL Jan, MATOUŠEK Petr, RYŠAVÝ Ondřej, KMEŤ Martin, VESELÝ Vladimír, KARPÍŠEK Filip and VYMLÁTIL Martin. Netfox Detective: A tool for advanced network forensics analysis. In: Proceedings of Security and Protection of Information (SPI) 2015. Brno: University of Defence in Brno, 2015, pp. 147-163. ISBN 978-80-7231-997-8.
DetailMATOUŠEK Petr, PLUSKAL Jan, RYŠAVÝ Ondřej, VESELÝ Vladimír, KMEŤ Martin, KARPÍŠEK Filip and VYMLÁTIL Martin. Advanced Techniques for Reconstruction of Incomplete Network Data. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol. 2015, no. 157, pp. 69-84. ISSN 1867-8211.
DetailPODERMAŃSKI Tomáš and GRÉGR Matěj. Bezpečné IPv6 : směrovač se hlásí. ROOT, informace nejen ze světa Linuxu, vol. 2014, no. 1, 2015, pp. 1-10. ISSN 1212-8309.
DetailGRÉGR Matěj and PODERMAŃSKI Tomáš. Bezpečné IPv6: zkrocení zlých směrovačů. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
DetailPODERMAŃSKI Tomáš and GRÉGR Matěj. Bezpečné IPv6: trable s hlavičkami. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
DetailGRÉGR Matěj and PODERMAŃSKI Tomáš. Bezpečné IPv6: vícehlavý útočník. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
DetailGRÉGR Matěj and PODERMAŃSKI Tomáš. Bezpečné IPv6: trable s multicastem. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
DetailPODERMAŃSKI Tomáš and GRÉGR Matěj. Bezpečné IPv6: když dojde keš. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
DetailPODERMAŃSKI Tomáš and GRÉGR Matěj. Bezpečné IPv6: když dojde keš - obrana. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
DetailGRÉGR Matěj and PODERMAŃSKI Tomáš. Bezpečné IPv6: příliš mnoho sousedů. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
DetailVESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš and RYŠAVÝ Ondřej. Skip This Paper - RINASim: Your Recursive InterNetwork Architecture Simulator. In: Proceedings of 2nd OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2015, pp. 1-4. ISSN 2331-8422.
DetailGRÉGR Matěj, PODERMAŃSKI Tomáš, ŠOLTÉS Miroslav and ŽÁDNÍK Martin. IPv6: Bezpečná správa adresového prostoru. Brno: Ministry of Interior of the Czech Republic, 2015.
DetailGRÉGR Matěj and PODERMAŃSKI Tomáš. IPv6: Doporučení pro konfiguraci aktivních prvků. Brno: Ministry of Interior of the Czech Republic, 2015.
DetailGRÉGR Matěj and PODERMAŃSKI Tomáš. Metodika testování bezpečnostních vlastností IPv6 u aktivních prvků. Brno: Ministry of Interior of the Czech Republic, 2015.
DetailFRANKOVÁ Barbora, HOLKOVIČ Martin and POLČÁK Libor. Optimalizace řízení a bezpečnosti síťových toků pomocí softwarově definovaných sítí. FIT-TR-2015-02, Brno: Faculty of Information Technology BUT, 2015.
DetailKARPÍŠEK Filip, BAGGILI Ibrahim and BREITINGER Frank. WhatsApp network forensics: Decrypting and understanding the WhatsApp call signaling messages. Digital Investigation, vol. 2015, no. 15, pp. 110-118. ISSN 1742-2876.
DetailOČENÁŠEK Pavel. Information and Communication Management in Business Information Systems. In: 2015 International Conference on Simulation, Modelling and Mathematical Statistics (SMMS 2015). Lancaster: DEStech Publications, Inc., 2015, pp. 384-388. ISBN 978-1-60595-112-6.
DetailVESELÝ Vladimír, REK Vít and RYŠAVÝ Ondřej. Enhanced Interior Gateway Routing Protocol with IPv4 and IPv6 Support for OMNeT++. Advances in Intelligent Systems and Computing, vol. 402, no. 1, 2015, pp. 65-82. ISSN 2194-5357.
DetailVESELÝ Vladimír and RYŠAVÝ Ondřej. Map-Cache Synchronization and Merged RLOC Probing Study for LISP. The International Journal on Advances in Intelligent Systems, vol. 2015, no. 34, pp. 494-506. ISSN 1942-2679.
DetailVESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš, RYŠAVÝ Ondřej and LICHTNER Ondrej. Deliverable 2.4: RINASim - basic functionality. Brno, 2015.
DetailVESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš, RYŠAVÝ Ondřej, LICHTNER Ondrej and JEŘÁBEK Kamil. Deliverable 2.6: RINASim - advanced functionality. Brno, 2015.
DetailPODERMAŃSKI Tomáš and GRÉGR Matěj. Implementujeme Carrier Grade NAT: Nečekané nástrahy. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
DetailPODERMAŃSKI Tomáš and GRÉGR Matěj. Implementujeme Carrier Grade NAT: Zálohování. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
DetailPODERMAŃSKI Tomáš and GRÉGR Matěj. Implementujeme Carrier Grade NAT: Zákon, alternativy a IPv6. ROOT, informace nejen ze světa Linuxu, vol. 2015, no. 1, pp. 1-10. ISSN 1212-8309.
DetailGRÉGR Matěj. Souhrnná zpráva k projektu Návrh systému pro testování zabezpečení sítě IPv6 a zpracování incidentů v prostoru privátních adres za rok 2015. Brno: CESNET National Research and Education Network, 2015.
DetailPLUSKAL Jan and RYŠAVÝ Ondřej. Concepts of Intercepted Communication Processing with Netfox Detective. Praha, 2015.
Detail -
2014
POLČÁK Libor, JIRÁSEK Jakub and MATOUŠEK Petr. Comment on "Remote Physical Device Fingerprinting". IEEE Transactions on Dependable and Secure Computing, vol. 11, no. 5, 2014, pp. 494-496. ISSN 1545-5971.
DetailPOLČÁK Libor, HOLKOVIČ Martin and MATOUŠEK Petr. Host Identity Detection in IPv6 Networks. In: E-Business and Telecommunications. Berlin: Springer Verlag, 2014, pp. 74-89. ISBN 978-3-662-44787-1. ISSN 1865-0929.
DetailVESELÝ 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.
DetailPOLČÁK Libor. Challenges in Identification in Future Computer Networks. In: ICETE 2014 Doctoral Consortium. Wien: SciTePress - Science and Technology Publications, 2014, pp. 15-24.
DetailGREGA Wojciech, HILBURN Thomas B., KORNECKI Andrew J., MAYR Richard, PYLE Ian, ROZENBLIT Jerzy, RYŠAVÝ Ondřej, ŠVÉDA Miroslav, ZHANG Le and ZHANG Le. Proceedings of the International workshop on Cyber-Physical Systems. 2013 Federated Conference on Computer Science and Information Systems. Krakow: Elsevier Science, 2014, pp. 1-200. ISBN 978-1-4673-4471-5.
DetailHALFAR Patrik and ŠVÉDA Miroslav. Cyber-Physical Information Systems for Enterprise Engineering -- Cyber-Physical Applications Timing. In: ICEIS Proceedings 2014. Lisabon: Institute for Systems and Technologies of Information, Control and Communication, 2014, pp. 1-7. ISBN 978-989-758-029-1.
DetailMATOUŠEK Petr. Síťové služby a jejich architektura. Brno: Publishing house of Brno University of Technology VUTIUM, 2014. ISBN 978-80-214-3766-1.
DetailGRÉGR Matěj, PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. Measuring Quality and Penetration of IPv6 Services. In: The Tenth International Conference on Networking and Services. 74400 CHAMONIX MONT-BLANC: Institute for Systems and Technologies of Information, Control and Communication, 2014, pp. 96-101. ISBN 978-1-61208-330-8.
DetailVESELÝ Vladimír, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. Protocol Independent Multicast in OMNeT++. In: The Tenth International Conference on Networking and Services. 74400 CHAMONIX MONT-BLANC: The International Academy, Research and Industry Association, 2014, pp. 132-137. ISBN 978-1-61208-330-8.
DetailPOLČÁK Libor and FRANKOVÁ Barbora. On Reliability of Clock-skew-based Remote Computer Identification. In: Proceedings of the 11th International Conference on Security and Cryptography. Wien: SciTePress - Science and Technology Publications, 2014, pp. 291-298. ISBN 978-989-758-045-1.
DetailŠVÉDA Miroslav. Dependability in Cyber-Physical Systems Network Applications. In: Proceedings of the 5th International Conference on Circuits, Systems, Control, Signals 2014. Invited Talk. Salerno: North Atlantic University Union, 2014, pp. 1-6. ISBN 978-1-61804-204-0.
DetailCOUFAL Zdeněk and POLČÁK Libor. Anonymizační síť Tor. FIT-TR-2014-02, Brno: Faculty of Information Technology BUT, 2014.
DetailPOLČÁK Libor, HRANICKÝ Radek and MARTÍNEK Tomáš. On Identities in Modern Networks. The Journal of Digital Forensics, Security and Law, vol. 2014, no. 2, pp. 9-22. ISSN 1558-7215.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej and KMEŤ Martin. Fast RTP Detection and Codecs Classification in Internet Traffic. The Journal of Digital Forensics, Security and Law, vol. 2014, no. 2, pp. 99-110. ISSN 1558-7215.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej, GRÉGR Matěj and VYMLÁTIL Martin. Towards Identification of Operating Systems from the Internet Traffic. IPFIX Monitoring with Fingerprinting and Clustering. In: DCNET2014. Proceedings of the 5th International Conference on Data Communication Networking. Wien: SciTePress - Science and Technology Publications, 2014, pp. 21-27. ISBN 978-989-758-042-0.
DetailMATOUŠEK Petr, KMEŤ Martin and BASEL Martin. On-line Monitoring of VoIP Quality Using IPFIX. Advances in Electrical and Electronic Engineering, vol. 2014, no. 4, pp. 325-333. ISSN 1804-3119.
DetailPLUSKAL Jan. NetFox.Framework - The network forensic extandable analysis tool. In: Proceedings of the 20th Conference STUDENT EEICT 2014 Volume 2. Brno: Brno University of Technology, 2014, pp. 280-282. ISBN 978-80-214-4923-7.
DetailPLUSKAL Jan, RYŠAVÝ Ondřej and VESELÝ Vladimír. NetFox - The network forensic extandable analysis tool. In: 6th AFCEA Student Conference Future of Information and Communication Technology. Bucharest: University Politehnica of Bucharest, 2014, pp. 68-71. ISBN 978-606-551-047-0.
DetailGRÉGR Matěj, MATOUŠEK Petr, PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. Practical IPv6 Monitoring on Campus - Best Practice Document. Vědecký sborník, vol. 2014, no. 1, pp. 1-20. ISSN 0572-3043.
DetailVESELÝ Vladimír, BLOUDÍČEK Jan and RYŠAVÝ Ondřej. Enhanced Interior Gateway Routing Protocol for OMNeT++. In: Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014). Wien: SciTePress - Science and Technology Publications, 2014, pp. 50-58. ISBN 978-989-758-045-1.
DetailKMEŤ Martin. Analýza a detekce typu multimediálních dat v provozu RTP. In: Proceedings of the 20th Conference STUDENT EEICT 2014 Volume 2. Brno: Brno University of Technology, 2014, pp. 274-276. ISBN 978-80-214-4923-7.
DetailPODERMAŃSKI Tomáš and ŠVÉDA Miroslav. IP45: Architecture, Design and Implementation. In: The 22nd IEEE International Conference on Network Protocols (ICNP 2014). The Research Triangle, North Carolina, USA: IEEE Computer Society, 2014, pp. 492-494. ISBN 978-1-4799-6204-4.
DetailGRÉGR Matěj and ŠVÉDA Miroslav. Challenges with Transition and User Accounting in Next Generation Networks. In: Proceedings 2014 IEEE 22nd International Conference on Network Protocols. Raleigh, NC, USA: Institute of Electrical and Electronics Engineers, 2014, pp. 501-503. ISBN 978-1-4799-6203-7.
DetailPOLČÁK Libor, MARTÍNEK Tomáš, HRANICKÝ Radek, BÁRTA Stanislav, HOLKOVIČ Martin, FRANKOVÁ Barbora and KRAMOLIŠ Petr. Zákonné odposlechy v moderních sítích - Shrnutí výsledků skupiny pro zákonné odposlechy projektu Moderní prostředky pro boj s kybernetickou kriminalitou na Internetu nové generace. FIT-TR-2014-07, Brno: Faculty of Information Technology BUT, 2014.
DetailHRANICKÝ Radek. Rozšíření systému pro zákonné odposlechy. In: Proceedings of the 20th Conference STUDENT EEICT 2014. Volume 2. Brno: Brno University of Technology, 2014, pp. 271-273. ISBN 978-80-214-4923-7.
DetailVESELÝ Vladimír, MAREK Marcel, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. Multicast, TRILL and LISP Extensions for INET. International Journal on Advances in Networks and Services, vol. 2014, no. 4, pp. 240-251. ISSN 1942-2644.
Detail -
2013
DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr and ŠVÉDA Miroslav. On formal reachability analysis in networks with dynamic behavior. Telecommunication Systems, vol. 52, no. 2, 2013, pp. 919-929. ISSN 1018-4864.
DetailOČENÁŠEK Pavel. Effective Design and Implementation of Distributed Business Information Systems. In: Proceedings of 2012 International Conference on Mechatronics and Applied Mechanics. Hong Kong: National Taiwan University, 2013, pp. 451-454. ISBN 978-3-03785-659-8. ISSN 1660-9336.
DetailOČENÁŠEK Pavel and ŠVÉDA Miroslav. On the Effective Internet Communication Filtering. In: Proceedings of the 2012 ICMCM Conference. Dubaj: Trans Tech Publications Inc., 2013, pp. 478-481. ISBN 978-3-03785-659-8. ISSN 1660-9336.
DetailOČENÁŠEK Pavel and ŠVÉDA Miroslav. Communication in Business Information Systems - New Perspectives. International Academic Research Journal of Business and Management, vol. 1, no. 7, 2013, pp. 87-92. ISSN 2227-1287.
DetailOČENÁŠEK Pavel and ŠVÉDA Miroslav. On the Effective Internet Communication Filtering. Applied Mechanics and Materials, vol. 2013, no. 307, pp. 478-481. ISSN 1660-9336.
DetailOČENÁŠEK Pavel. Effective Design and Implementation of Distributed Business Information Systems. Applied Mechanics and Materials, vol. 2013, no. 307, pp. 451-454. ISSN 1660-9336.
DetailVESELÝ Vladimír, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. IPv6 Unicast and IPv4 Multicast Routing in OMNeT++. In: Proceedings of the IEEE 6th International ICST Conference on Simulation Tools and Techniques. Cannes: International Communication Sciences and Technology Association, 2013, pp. 1-4. ISBN 978-1-936968-47-3.
DetailOČENÁŠEK Pavel. The Practice of Global Internet Filtering. In: Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science, vol. 8030. Berlin Heidelberg: Springer Verlag, 2013, pp. 332-337. ISBN 978-3-642-39344-0. ISSN 0302-9743.
DetailOČENÁŠEK Pavel and KARMAZÍN Jaromír. On the Secure and Safe Data Synchronization. In: Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science, vol. 8030. Berlin Heidelberg: Springer Verlag, 2013, pp. 326-331. ISBN 978-3-642-39344-0. ISSN 0302-9743.
DetailŠVÉDA Miroslav. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. In: Proceedings of the SCSI 2013. Recent Advances in Electrical Engineering Series, 16. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013, pp. 413-419. ISBN 978-1-61804-204-0.
DetailŠVÉDA Miroslav and VRBA Radimír. Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach. In: IEEE Proceedings AFRICON 2013. New York: Institute of Electrical and Electronics Engineers, 2013, pp. 101-106. ISBN 978-1-4673-5943-6.
DetailVESELÝ Vladimír. Map-cache Synchronization for Locator/ID Split Protocol. In: Proceedings of the 19th Conference Student EEICT 2013 Volume 3. Brno: Faculty of Information Technology BUT, 2013, pp. 234-239. ISBN 978-80-214-4695-3.
DetailRYŠAVÝ Ondřej, RÁB Jaroslav and ŠVÉDA Miroslav. Improving security in SCADA systems through firewall policy analysis. In: Proceedings of the Federated Conference on Computer Science and Information Systems. Krakow: IEEE Computer Society, 2013, pp. 1435-1440. ISBN 978-1-4673-4471-5.
DetailŠVÉDA Miroslav and RYŠAVÝ Ondřej. Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems. In: Programmable Devices and Embedded Systems. Volume #12, vol. 2013. Laxenburg: IFAC, 2013, pp. 1-4. ISBN 978-3-902823-21-2. ISSN 1474-6670.
DetailŠVÉDA Miroslav. Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design. International Journal of Systems Applications, Engineering & Development, vol. 7, no. 5, 2013, pp. 263-270. ISSN 2074-1308.
DetailVESELÝ Vladimír. LISP: nové paradigma ve směrování (1.). ROOT, informace nejen ze světa Linuxu, vol. 2013, no. 9, pp. 1-6. ISSN 1212-8309.
DetailVESELÝ Vladimír. LISP: nové paradigma ve směrování (2.). ROOT, informace nejen ze světa Linuxu, vol. 2013, no. 9, pp. 1-6. ISSN 1212-8309.
DetailVESELÝ Vladimír. LISP: nové paradigma ve směrování (3.). ROOT, informace nejen ze světa Linuxu, vol. 2013, no. 10, pp. 1-6. ISSN 1212-8309.
DetailVESELÝ Vladimír. LISP: nové paradigma ve směrování (4.). ROOT, informace nejen ze světa Linuxu, vol. 2013, no. 10, pp. 1-6. ISSN 1212-8309.
DetailVESELÝ Vladimír. LISP: nové paradigma ve směrování (5.). ROOT, informace nejen ze světa Linuxu, vol. 2013, no. 10, pp. 1-6. ISSN 1212-8309.
DetailVESELÝ Vladimír and ŠVÉDA Miroslav. Comparison of Proposals Suggesting Internet Architecture Change. In: Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2013, pp. 1-11. ISBN 978-80-87952-00-9.
DetailPODERMAŃSKI Tomáš. S IPv6 na věčné časy a nikdy jinak. Praha, 2013.
DetailVESELÝ Vladimír, MATOUŠEK Petr and ŠVÉDA Miroslav. Multicast simulation and modeling in OMNeT++. In: SimuTools '13 Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques. Brussels: International Communication Sciences and Technology Association, 2013, pp. 142-145. ISBN 978-1-4503-2464-9.
Detail -
2012
OČENÁŠEK Pavel and MÍCHAL Luboš. Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae. In: Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011). Hongkong: Trans Tech Publications Inc., 2012, pp. 870-873. ISBN 978-3-03785-380-1. ISSN 1660-9336.
DetailŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr and RÁB Jaroslav. Static Analysis of Routing and Firewall Policy Configurations. In: e-Business and Telecommunications. LNCS CCIS, Vol.222, vol. 2012. Heidelberg: Springer Science+Business Media B.V., 2012, pp. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929.
DetailOČENÁŠEK Pavel and HRANÁČ Jakub. Design of Authentication and Key Distribution Protocols with Routing Functionality. Journal of Information & Communication Technology, vol. 5, no. 1, 2012, pp. 1-11. ISSN 1816-613X.
DetailRYŠAVÝ Ondřej, ŠVÉDA Miroslav and VRBA Radimír. A Framework for Cyber-Physical Systems Design - A Concept Study. In: Proceedings ICONS 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012, pp. 79-82. ISBN 978-1-61208-184-7.
DetailŠVÉDA Miroslav, SEKLETÁR Michal, FIDLER Tomáš and RYŠAVÝ Ondřej. A High-level Network-wide Router Configuration Language. In: Proceedings ICN 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012, pp. 18-21. ISBN 978-1-61208-183-0.
DetailGRÉGR Matěj, PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. User identification in IPV6 network. IP Networking 1 -- Theory and Practice. Žilina: Zilina University Publisher, 2012, pp. 5-8. ISBN 978-80-554-0494-3.
DetailVESELÝ Vladimír and ŠVÉDA Miroslav. L2 protocols in OMNeT++. IP Networking 1 -- Theory and Practice. Žilina: Zilina University Publisher, 2012, pp. 37-40. ISBN 978-80-554-0494-3.
DetailVESELÝ Vladimír, MATOUŠEK Petr and ŠVÉDA Miroslav. Multicast Simulation and Modeling in OMNeT++. In: Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques. Desenzano del Garda: International Communication Sciences and Technology Association, 2012, pp. 298-301. ISBN 978-1-936968-47-3.
DetailTRCHALÍK Roman and ŠVÉDA Miroslav. Unified Sensor Gateway Interconnection of Sensor Networks. In: Proceedings 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Sy. Programmable Devices and Embedded Systems, Volume # 11 | Part# 1, vol. 2012. Brno: Faculty of Electrical Engineering and Communication BUT, 2012, pp. 372-377. ISBN 978-3-902823-21-2. ISSN 1474-6670.
DetailHALFAR Patrik, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Authorization Framework for Networked SCADA Systems. In: Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012, pp. 298-302. ISBN 978-0-7695-4664-3.
DetailHALFAR Patrik and ŠVÉDA Miroslav. Networking in Cyber Physical Systems - A Concept Study. In: Proceedings of the International Workshop of Cyber Physical Systems. Bucharest: Romanian Academy, Publishing House of the Romanian Academy, 2012, pp. 50-53.
DetailVESELÝ Vladimír. Comparison Study on Merging PCAP Files. In: Proceedings of the 18th Conference Student EEICT 2012 Volume 3. Brno: Faculty of Information Technology BUT, 2012, pp. 457-461. ISBN 978-80-214-4462-1.
DetailGRÉGR Matěj, PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. Deploying IPv6 - practical problems from the campus perspective. Reykjavik, 2012.
DetailOČENÁŠEK Pavel and MÍCHAL Luboš. Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae. Applied Mechanics and Materials, vol. 2012, no. 157, pp. 870-873. ISSN 1660-9336.
DetailOČENÁŠEK Pavel and ŠVÉDA Miroslav. Analysis and Filtering of Network Communication in ISP Firewalls. In: Proceedings of the Third International Conference on Theoretical and Mathematical Foundations of Computer Science. Denpasar: Information Engineering Research Institute, 2012, pp. 1-4.
DetailVESELÝ Vladimír. Extended Comparison Study on Merging PCAP Files. ElectroScope, vol. 2012, no. 5, pp. 1-6. ISSN 1802-4564.
DetailPODERMAŃSKI Tomáš. Security challenges in IPv6 from the campus perspective. Oslo, 2012.
DetailGRÉGR Matěj, PODERMAŃSKI Tomáš and ŠOLTÉS Miroslav. Flow Based Monitoring of IPv6. Brno, 2012.
DetailOČENÁŠEK Pavel and ŠVÉDA Miroslav. Communication in Business Information Systems - New Perspectives. In: Proceedings of ARC 2012 International Conference on Business and Management. Bangalore: Siemens, Corporate Research and Development, 2012, pp. 257-262. ISBN 978-0-615-73960-1.
DetailGRÉGR Matěj. Analysis of tunneled traffic. Brno, 2012.
DetailGRÉGR Matěj. Testing implementations of NAT66. Helsinki, 2012.
DetailPODERMAŃSKI Tomáš. IPv6 v praxi. Brno, 2012.
DetailOČENÁŠEK Pavel and ŠVÉDA Miroslav. Analysis and Filtering of Network Communication in ISP Firewalls. Lecture Notes in Information Technology, vol. 2012, no. 38, pp. 491-494. ISSN 2070-1918.
DetailPLUSKAL Jan. Analýza a rekonstrukce komunikace typu instant messaging (YMSG a ICQ). In: Proceedings of the 18th Conference Student EEICT 2012 Volume 1. Brno: Faculty of Information Technology BUT, 2012, pp. 176-178. ISBN 978-80-214-4460-7.
DetailHRANICKÝ Radek. Podvržená data v počítačových sítích. In: Proceedings of the 18th Conference Student EEICT 2012. Volume 1. Brno: Brno University of Technology, 2012, pp. 164-166. ISBN 978-80-214-4460-7.
Detail -
2011
ŠVÉDA Miroslav. Design Experience with Routing SW and Related Applications. In: Proceedings of The Tenth International Conference on Networks - ICN 2011. St. Maarten: International Academy, Research, and Industry Association, 2011, pp. 133-138. ISBN 978-1-61208-002-4.
DetailŠVÉDA Miroslav and VRBA Radimír. A Cyber-Physical System Design Approach. In: Proceedings of The Sixth International Conference on Systems - ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011, pp. 12-18. ISBN 978-1-61208-002-4.
DetailŠVÉDA Miroslav, RYŠAVÝ Ondřej and MATOUŠEK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 22-23. ISBN 978-84-693-9560-8.
DetailVOGEL Ivan, ZEDEK František and OČENÁŠEK Pavel. Constructing Phylogenetic Trees Based on Intra-Group Analysis of Human Mitochondrial DNA. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 165-169. ISBN 978-3-642-21792-0. ISSN 0302-9743.
DetailOČENÁŠEK Pavel. An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 374-378. ISBN 978-3-642-21792-0.
DetailOČENÁŠEK Pavel. Analysis of Authentication Protocols with Scyter: Case Study. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 359-365. ISBN 978-3-642-21792-0.
DetailOČENÁŠEK Pavel and HRANÁČ Jakub. Routing Functionality in the Logic Approach for Authentication Protocol Design. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 366-373. ISBN 978-3-642-21792-0.
DetailVOGEL Ivan, OČENÁŠEK Pavel and ZEDEK František. Computational molecular evolution - from mathematical models to novel distance metric based on intra-group analysis. In: EDS '11 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2011, pp. 264-269. ISBN 978-80-214-4303-7.
DetailELICH Martin, GRÉGR Matěj and ČELEDA Pavel. Monitoring of Tunneled IPv6 Traffic Using Packet Decapsulation and IPFIX. In: Traffic Monitoring and Analysis. Lecture Notes in Computer Science, vol. 6613. Vienna: Springer Verlag, 2011, pp. 64-71. ISBN 978-3-642-20304-6.
DetailPODERMAŃSKI Tomáš and GRÉGR Matěj. IPv6 Mýty a skutečnost, díl IV. - Podpora autokonfigurace. Lupa.cz, vol. 2011, no. 1, p. 9. ISSN 1213-0702.
DetailŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr and RÁB Jaroslav. Reachability Analysis in Dynamically Routed Networks. In: Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011, pp. 197-205. ISBN 978-0-7695-4379-6.
DetailPODERMAŃSKI Tomáš and GRÉGR Matěj. IPv6 Mýty a skutečnost, díl V. - Zjednodušené hlavičky. Lupa.cz, vol. 2011, no. 1, p. 6. ISSN 1213-0702.
DetailPODERMAŃSKI Tomáš and GRÉGR Matěj. IPv6 Mýty a skutečnost, díl VI. - Bezpečnostní mechanizmy. Lupa.cz, vol. 2011, no. 1, p. 6. ISSN 1213-0702.
DetailPODERMAŃSKI Tomáš and GRÉGR Matěj. IPv6 Mýty a skutečnost, díl VIII. - Přechodové mechanizmy. Lupa.cz, vol. 2011, no. 1, p. 7. ISSN 1213-0702.
DetailPOLČÁK Libor. Designing Lawful Interception System. In: Proceedings of the 17th Conference STUDENT EEICT 2011 Volume 3. Brno: Faculty of Information Technology BUT, 2011, pp. 569-573. ISBN 978-80-214-4273-3.
DetailPOLČÁK Libor, GRÉGR Matěj, KAJAN Michal, MATOUŠEK Petr and VESELÝ Vladimír. Designing Lawful Interception in IPv6 Networks. In: Security and Protection of Information. Brno: University of Defence in Brno, 2011, pp. 114-126. ISBN 978-80-7231-777-6.
DetailOČENÁŠEK Pavel. Specification of Traces in the Security Protocols Analysis. In: Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011, pp. 115-118. ISBN 978-953-7138-20-2.
DetailOČENÁŠEK Pavel and TRCHALÍK Roman. Approaches to the Security and Payment Protocols Design: State of the Art. In: International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011, pp. 1-4. ISBN 978-953-7138-21-9.
DetailGRÉGR Matěj, MATOUŠEK Petr, PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. Practical IPv6 Monitoring - Challenges and Techniques. In: Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011). Dublin: IEEE Computer Society, 2011, pp. 660-663. ISBN 978-1-4244-9220-6.
DetailPODERMAŃSKI Tomáš and VESELÝ Vladimír. IPv6 Mýty a skutečnost, díl VII. - Podpora Multicast a anycast provozu. Lupa.cz, vol. 2011, no. 1, p. 10. ISSN 1213-0702.
DetailPODERMAŃSKI Tomáš. IPv6 Mýty a skutečnost, díl I. - Jak jsme na tom. Lupa.cz, vol. 2011, no. 1, p. 9. ISSN 1213-0702.
DetailPODERMAŃSKI Tomáš. IPv6 Mýty a skutečnost, díl II. - Adresový prostor. Lupa.cz, vol. 2011, no. 1, p. 9. ISSN 1213-0702.
DetailPODERMAŃSKI Tomáš. IPv6 Mýty a skutečnost: díl III. - podpora end-to-end služeb. Lupa.cz, vol. 2011, no. 1, p. 9. ISSN 1213-0702.
DetailPODERMAŃSKI Tomáš. IPv6 Mýty a skutečnost, díl IX. - Quo Vadis, IPv6?. Lupa.cz, vol. 2011, no. 1, p. 9. ISSN 1213-0702.
DetailPODERMAŃSKI Tomáš. Security concerns and solutions with IPv6. Helsinki, 2011.
DetailPODERMAŃSKI Tomáš. IPv6 - bezpečnostní hrozby (aneb IPSec to srovná). In: Sborník příspěvků z 38. konference EurOpen.CZ, 8.-11. května 2011. Plzeň: Czech Open Systems User's Group, 2011, pp. 37-50. ISBN 978-80-86583-21-1.
DetailPODERMAŃSKI Tomáš. IPv6 - mýty a skutečnost. Brno, 2011.
DetailPODERMAŃSKI Tomáš. IPv6 - bezpečnostní hrozby. Brno, 2011.
DetailGRÉGR Matěj and PODERMAŃSKI Tomáš. Deploying IPv6 in University Campus Network - Practical Problems. Toulouse, 2011.
DetailGRÉGR Matěj and PODERMAŃSKI Tomáš. Monitoring datových toků IPv6. Praha, 2011.
DetailGRÉGR Matěj, PODERMAŃSKI Tomáš, ŠOLTÉS Miroslav and ŽÁDNÍK Martin. Design of Data Retention System in IPv6 network. FIT-TR-2011-07, Brno: Faculty of Information Technology BUT, 2011.
Detail -
2010
KORNECKI Andrew J., GREGA Wojciech, HILBURN Thomas B., THIRIET Jean-Marc, ŠVÉDA Miroslav, RYŠAVÝ Ondřej and PILAT Adam. Transatlantic Engineering Programs: An Experience in International Cooperation. Safeeullah Soomro (Editor): Engineering the Computer Science and IT. 2010. Vienna: IN-TECH Education and Publishing, 2010, pp. 65-84. ISBN 978-953-307-012-4.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej, DE Silva Gayan and DANKO Martin. Combination of Simulation and Formal Methods to Analyse Network Survivability. In: Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques. Malaga: International Communication Sciences and Technology Association, 2010, p. 6. ISBN 978-963-9799-87-5.
DetailŠVÉDA Miroslav. Fault Management Driven Design with Safety and Security Requirements. In: Proceedings 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems ECBS 2010. Oxford: IEEE Computer Society, 2010, pp. 113-120. ISBN 978-0-7695-4005-4.
DetailŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr and RÁB Jaroslav. An Approach for Automated Network-Wide Security Analysis. In: Proceedings of the Ninth International Conference on Networks ICN 2010. Les Menuires: IEEE Computer Society, 2010, pp. 294-299. ISBN 978-0-7695-3979-9.
DetailŠVÉDA Miroslav and VRBA Radimír. An Embedded Application Regarded as Cyber-Physical System. In: Proceedings of the Fifth International Conference on Systems ICONS 2010. Les Menuires: IEEE Computer Society, 2010, pp. 170-174. ISBN 978-0-7695-3980-5.
DetailŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr, RÁB Jaroslav and ČEJKA Rudolf. SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties. In: Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010, pp. 5-11. ISBN 978-989-8425-25-6.
DetailŠVÉDA Miroslav. NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses. In: Proceedings of the Fifth International Conference on Software and Data Technologies, ICSOFT 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010, pp. 173-178. ISBN 978-989-8425-22-5.
DetailOČENÁŠEK Pavel and FELIX Martin. Camera and Sensor Monitoring System. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2010, pp. 241-245. ISBN 978-80-214-4138-5.
DetailOČENÁŠEK Pavel and KUČEROVÁ Petra. Analysis of Selected Payment Protocols. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2010, pp. 235-240. ISBN 978-80-214-4138-5.
DetailVESELÝ Vladimír. Security Issues of Bootstrap Router Mechanism in Protocol Independent Multicast. In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010, pp. 239-243. ISBN 978-80-214-4080-7.
DetailGRÉGR Matěj. Portscan detection using NetFlow data. In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010, pp. 229-233. ISBN 978-80-214-4080-7.
DetailŠVÉDA Miroslav and TRCHALÍK Roman. Development of Interconnecting SW for Intranets and Fieldbuses. IFAC-PapersOnLine, vol. 2010, no. 10, pp. 119-124. ISSN 1474-6670.
DetailOČENÁŠEK Pavel. On the Design of Communication in Business Information Systems. In: Proceedings of 2010 International Conference on Economics, Business and Management. Chengdu: Institute of Electrical and Electronics Engineers, 2010, pp. 98-101. ISBN 978-1-4244-9202-2.
DetailOČENÁŠEK Pavel and HRANÁČ Jakub. Regression Based Logic for Authentication Protocol Design. In: 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010, pp. 89-92. ISBN 978-1-4244-9674-7.
DetailOČENÁŠEK Pavel and PAPEŽ Zdeněk. A Knowledge-Belief Approach to the Security Protocol Analysis. In: 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010, pp. 85-88. ISBN 978-1-4244-9674-7.
DetailPODERMAŃSKI Tomáš. Redundance od síťové vrstvy až po zařízení (Maximum pro síťovou jistotu). CONNECT!, vol. 10, no. 4, 2010, pp. 18-20. ISSN 1211-3085.
DetailPODERMAŃSKI Tomáš. Je libo IPv6 na přepínačích HP ProCurve ?. Lupa.cz, vol. 2010, no. 1, p. 5. ISSN 1213-0702.
Detail -
2009
KOLLÁR Matej, PETERKA Ondřej, RYŠAVÝ Ondřej and ŠKARVADA Libor. A Calculus of Coercive Subtyping. Brno: Masaryk University, 2009.
DetailOČENÁŠEK Pavel and ŠVÉDA Miroslav. AVISPA: Towards Practical Verification of Communication Properties. In: Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1, vol. 2009. Ostrava: IFAC, 2009, pp. 153-156. ISBN 978-3-902661-41-8. ISSN 1474-6670.
DetailOČENÁŠEK Pavel, TRCHALÍK Roman and ŠVÉDA Miroslav. On the Implementation of Metrics in Industrial Embedded Systems. In: Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1, vol. 2009. Ostrava: IFAC, 2009, pp. 157-160. ISBN 978-3-902661-41-8. ISSN 1474-6670.
DetailŠVÉDA Miroslav, TRCHALÍK Roman and OČENÁŠEK Pavel. Design of Networked Embedded Systems: An Approach for Safety and Security. In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009. Ostrava: IFAC, 2009, pp. 131-136. ISSN 1474-6670.
DetailOČENÁŠEK Pavel. Universal Access to the Internet Web Pages for Users with Special Needs. In: Universal Access in Human-Computer Interaction. Applications and Services. Lecture Notes in Computer Science, vol. 5616. Berlin: Springer Verlag, 2009, pp. 764-767. ISBN 978-3-642-02712-3.
DetailOČENÁŠEK Pavel. An Approach for the Design of Secure Communication in Embedded Systems. In: Human Interface and the Management of Information. Designing Information Environments. Lecture Notes in Computer Science, vol. 5617. Berlin: Springer Verlag, 2009, pp. 579-586. ISBN 978-3-642-02555-6.
DetailOČENÁŠEK Pavel. Towards Security Issues in ZigBee Architecture. In: Human Interface and the Management of Information. Designing Information Environments. Berlin: Springer Verlag, 2009, pp. 587-593. ISBN 978-3-642-02555-6.
DetailŠVÉDA Miroslav. Fault Management for Secure Embedded Systems. In: International Conference on Systems Proceedings, ICONS 2009. New York, NY: IEEE Computer Society, 2009, pp. 23-28. ISBN 978-0-7695-3551-7.
DetailŠVÉDA Miroslav and VRBA Radimír. Specifications of Secure and Safe Embedded System Networks. In: 8th International Conference on Networks Proceedings ICN 2009. New York, NY: IEEE Computer Society, 2009, pp. 220-225. ISBN 978-0-7695-3552-4.
DetailKORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, ŠVÉDA Miroslav and THIRIET Jean-Marc. ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems. Journal of Automation, Mobile Robotics and Intelligent Systems, vol. 3, no. 1, 2009, pp. 66-71. ISSN 1897-8649.
DetailRYŠAVÝ Ondřej and RÁB Jaroslav. A Formal Model of Composing Components: The TLA+ Approach. Innovations in Systems and Software Engineering, vol. 5, no. 2, 2009, pp. 139-149. ISSN 1614-5046.
DetailOČENÁŠEK Pavel and ŠVÉDA Miroslav. A Model for Measurement and Analysis of the Workflow Processes. In: Human Interface and the Management of Information. Designing Information Environments. Lecture Notes in Computer Science, vol. 5617. Berlin: Springer Verlag, 2009, pp. 149-153. ISBN 978-3-642-02555-6.
DetailTHIRIET Jean-Marc, HILBURN Thomas B., KORNECKI Andrew J., GREGA Wojciech and ŠVÉDA Miroslav. Organization of a US-European Trans-national Degree in Engineering. J3eA - Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, vol. 2009, no. 1, pp. 1-7. ISSN 1638-1963.
DetailOČENÁŠEK Pavel and KUČEROVÁ Petra. Payment Protocols Verification: A Case Study. In: EDS '09 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2009, pp. 38-43. ISBN 978-80-214-3933-7.
DetailŠVÉDA Miroslav and VRBA Radimír. Meta-Design with Safe and Secure Embedded System Networking. International Journal On Advances in Security., vol. 2, no. 1, 2009, pp. 8-15. ISSN 1942-2636.
DetailŠVÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc and RYŠAVÝ Ondřej. Real-Time Software-Intensive Systems Engineering: An International Perspective. In: European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009, p. 6. ISBN 978-84-8363-428-8.
DetailGREGA Wojciech, HILBURN Thomas B., KORNECKI Andrew J., RYŠAVÝ Ondřej, ŠVÉDA Miroslav and THIRIET Jean-Marc. Methodology for Creation of Multidisciplinary, Transatlantic Engineering Program in Information Technology. In: Proceedings of the European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009, p. 5. ISBN 978-84-8363-428-8.
DetailŠVÉDA Miroslav. Safe and Secure Networked Embedded Applications. In: Proceedings of the 4th International Conference on Broadband Communication. Wroclaw: Institute of Electrical and Electronics Engineers, 2009, p. 6. ISBN 978-83-7493-405-3.
DetailMATOUŠEK Petr. 8. konference Cisco Networking Academy 2009 na FIT. Události (VUT News), vol. 2009, no. 7. ISSN 1211-4421.
DetailMATOUŠEK Petr and SKOKANOVÁ Jana. Nový univerzitní kurz "Multimédia v počítačových sítích". Brno, 2009.
DetailTRCHALÍK Roman. A Component-Based model for Embedded Software. In: EDS '09 IMAPS CS International Conference Proceedings. Brno, CZ: Brno University of Technology, 2009, p. 5. ISBN 978-80-214-3933-7.
Detail -
2008
OČENÁŠEK Pavel and TRCHALÍK Roman. Průmyslová bezdrátová síť ZigBee. Brno, 2008.
DetailMATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Model for Network-wide Security Analysis. In: Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems. Belfast: University of Ulster, 2008, pp. 171-181. ISBN 0-7695-3141-5.
DetailŠVÉDA Miroslav and VRBA Radimír. Meta-Design Support for Safe and Secure Networked Embedded Systems. In: IEEE Proceedings of the Third International Conference on Systems, ICONS 2008. New York: IEEE Computer Society, 2008, pp. 69-74. ISBN 978-0-7695-3105-2.
DetailČEJKA Rudolf, MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Approach to Network Security Analysis. Brno: Faculty of Information Technology BUT, 2008.
DetailOČENÁŠEK Pavel. Modification of Web Content According to the User Requirements. In: Technologies for E-Learning and Digital Entertainment. Lecture Notes in Computer Science, vol. 5093. Berlin: Springer Verlag, 2008, pp. 324-327. ISBN 978-3-540-69734-3.
DetailOČENÁŠEK Pavel. A Proxy-Based System for Translation of Internet Content into Specific Form. In: Computer-Human Interaction. Lecture Notes in Computer Science, vol. 5068. Berlin: Springer Verlag, 2008, pp. 413-419. ISBN 978-3-540-70584-0.
DetailČEJKA Rudolf. Nekempujte v serverovně (recenze vzdálených konzol Raritan). CONNECT!, vol. 2008, no. 5, pp. 44-45. ISSN 1211-3085.
DetailOČENÁŠEK Pavel and KUČEROVÁ Petra. Srovnání platebních systémů v ČR a zahraničí. In: Management, Economics and Business Development in the New European Conditions. Brno: Akademické nakladatelství CERM, 2008, p. 10. ISBN 978-80-7204-582-2.
DetailOČENÁŠEK Pavel and BRENER Radim. Financial Portal: systém pro sledování a analýzu finančního trhu. In: Management, Economics and Business Development in the New European Conditions. Brno: Akademické nakladatelství CERM, 2008, p. 9. ISBN 978-80-7204-582-2.
DetailOČENÁŠEK Pavel and TRCHALÍK Roman. Using AVISPA in the Education of Network Security. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008, p. 8. ISBN 978-80-214-3717-3.
DetailMATOUŠEK Petr. Úspěch studentů FIT v soutěži Networking Academy Games. Události (VUT News), vol. 2008, no. 5. ISSN 1211-4421.
DetailMATOUŠEK Petr. Projekt CCIE inkubátor. Stará Lesná, 2008.
DetailŽÁDNÍK Martin. Monitorování sítí na základě IP toků. CONNECT!, vol. 2008, no. 2, pp. 14-15. ISSN 1211-3085.
DetailČEJKA Rudolf. Zálohováním ke klidnějšímu spánku (recenze CA ARCserve Backup r12). CONNECT!, vol. 2008, no. 7, pp. 57-59. ISSN 1211-3085.
DetailTRCHALÍK Roman, OČENÁŠEK Pavel and ŠVÉDA Miroslav. Using MSC and SDL Languages for Description of Network Communication. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008, p. 5. ISBN 978-80-214-3717-3.
DetailPILAT Adam, KORNECKI Andrew J., THIRIET Jean-Marc, GREGA Wojciech and ŠVÉDA Miroslav. Industry Feedback on Skills and Knowledge. In: Proceedings of the 19th EAEEIE Annual Conference. Tallin: IEEE Computer Society, 2008, pp. 129-133. ISBN 978-1-4244-2009-4.
DetailTHIRIET Jean-Marc, HILBURN Thomas B., KORNECKI Andrew J., GREGA Wojciech and ŠVÉDA Miroslav. Implementation for a US-European Trans-national Degree in Real-Time Software Engineering. In: Proceedings of the 19th EAEEIE Annual Conference. Tallin: IEEE Computer Society, 2008, pp. 134-137. ISBN 978-1-4244-2009-4.
DetailHILBURN Thomas B., THIRIET Jean-Marc, KORNECKI Andrew J., GREGA Wojciech and ŠVÉDA Miroslav. Credits and Accreditation in the U.S.A. and Europe: Towards a Framework for Trans-national Engineering Degrees. Innovations, vol. 2008, no. 1, pp. 29-42. ISBN 978-0-9741252-8-2. ISSN 1553-9911.
DetailKORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc and ŠVÉDA Miroslav. A COMMON US-EUROPE CURRICULUM: An Approach for Real-Time Software Intensive Systems. In: Proceedings of the 2008 ASEE Anual Conference & Exposition. Pittsburgh, PA: American Society for Engineering Education, 2008, pp. 1359-1371. ISBN 0-87823-196-X.
DetailHILBURN Thomas B., KORNECKI Andrew J., THIRIET Jean-Marc, GREGA Wojciech and ŠVÉDA Miroslav. An RSIC-SE2004 Curriculum Framework. In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology - Real-Time Software. Wisla: IEEE Computer Society, 2008, pp. 633-638. ISBN 978-83-60810-14-9. ISSN 1896-7094.
DetailRYŠAVÝ Ondřej and RÁB Jaroslav. A Component-based Approach to Verification of Embedded Control Systems using TLA+. In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology. Wisla: IEEE Computer Society Press, 2008, pp. 719-725. ISBN 978-83-60810-14-9.
DetailKORNECKI Andrew J., GREGA Wojciech, THIRIET Jean-Marc, ŠVÉDA Miroslav, GONZALES Avelino and THARP Hal. Dependable Systems International Research and Educational Experience. Daytona Beach: European Comission EU, 2008.
DetailŠVÉDA Miroslav, RYŠAVÝ Ondřej and VRBA Radimír. Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design. Frontiers in Robotics, Automation and Control. Vienna: IN-TECH Education and Publishing, 2008, pp. 151-164. ISBN 978-953-7619-17-6.
Detail -
2007
MATOUŠEK Petr. Bezpečné připojení jedním zařízením. CONNECT!, vol. 2007, no. 1, pp. 62-63. ISSN 1211-3085.
DetailOČENÁŠEK Pavel. Wardriving: Detecting, Attacking, Securing. In: Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007, p. 4. ISBN 978-80-8073-805-1.
DetailTRCHALÍK Roman and OČENÁŠEK Pavel. Addressing and Routing in Sensor Networks. In: Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007, p. 4. ISBN 978-80-8073-805-1.
DetailŠVÉDA Miroslav. End-User Development Framework for Embedded System Applications. In: Engineering of Computer-Based Systems, 2007. Tucson, Arizona: IEEE Computer Society, 2007, pp. 186-192. ISBN 0-7695-2772-8.
DetailMATOUŠEK Petr. Kombinované rešení switch/router. CONNECT!, vol. 2007, no. 4, pp. 40-41. ISSN 1211-3085.
DetailOČENÁŠEK Pavel and ŠIMEK Václav. Determining Location of Target Within the Indoor Location System. In: Proceedings of the 16th International Conference on Systems Science: Volume III. Wroclaw, 2007, pp. 168-176. ISBN 978-83-7493-341-4.
DetailOČENÁŠEK Pavel. Analysis of the Network Communication With OPNET. In: Proceedings of the 16th International Conference on Systems Science: Volume II. Wroclaw, 2007, pp. 312-317. ISBN 978-83-7493-340-7.
DetailŠVÉDA Miroslav. Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains. In: IEEE Proceedings of the Second International Conference on Systems, ICONS 2007. New York: IEEE Computer Society, 2007, pp. 11-16. ISBN 0-7695-2807-4.
DetailŠVÉDA Miroslav and VRBA Radimír. Dependability-driven Embedded Systems Networking. In: Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007, pp. 483-488. ISBN 0-7695-2805-8.
DetailŠVÉDA Miroslav. Industrial Measurement Application Development. In: Proceedings of the First International Workshop on Application-oriented Systems. Saint Luce, Martinique: IEEE Computer Society, 2007, pp. 523-529. ISBN 0-7695-2807-4.
DetailŠVÉDA Miroslav and TRCHALÍK Roman. ZigBee-to-Internet Interconnection Architectures. In: Proceedings of the Second International Workshop on Mobile Communications and Learning MCL 2007. Saint Luce, Martinique: IEEE Computer Society, 2007, p. 6. ISBN 0-7695-2807-4.
DetailOČENÁŠEK Pavel and TRCHALÍK Roman. Reasoning About Security Protocols in the ZigBee Standard. In: Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007, p. 4. ISBN 978-80-8073-805-1.
DetailŠVÉDA Miroslav, VRBA Radimír and RYŠAVÝ Ondřej. Pattern-Driven Reuse of Embedded Control Design. In: Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, p. 8. ISBN 972-8865-84-8.
DetailPAVLÍK Michal, HÁZE Jiří, VRBA Radimír and ŠVÉDA Miroslav. Smart Differential Pressure Sensor. In: Proceedings ICINCO 2007: Signal Processing, Systems Modelling and Control. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, pp. 244-248. ISBN 978-972-886584-9.
DetailOČENÁŠEK Pavel. Platební protokoly používané v elektronické komerci. In: Management, Economics and Business Development in the New European Conditions. Brno: Akademické nakladatelství CERM, 2007, p. 10. ISBN 80-7204-532-7.
DetailMATOUŠEK Petr. Network Security by Cisco. Slavonice, 2007.
DetailŠVÉDA Miroslav and VRBA Radimír. SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications. In: Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B). Barcelona: IEEE Computer Society, 2007, pp. 23-30. ISBN 978-989-8111-11-1.
DetailŠVÉDA Miroslav and VRBA Radimír. Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. In: Proceedings of the International Conference on Software and Data Technologies (ICSOFT 2007). Barcelona: Institute for Systems and Technologies of Information, Control and Communication, 2007, pp. 345-350. ISBN 978-989-8111-06-7.
DetailOČENÁŠEK Pavel. On the Design of Protocols in Electronic Commerce. In: MIC 2007 Conference Proceedings. Portorož, 2007, p. 6. ISBN 978-961-6573-88-7.
DetailOČENÁŠEK Pavel. Tools for Analysis and Simulation of Protocol Communication. In: EDS '07 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2007, pp. 87-91. ISBN 978-80-214-3470-7.
DetailŠVÉDA Miroslav and TRCHALÍK Roman. Safety and Security-driven Design of Networked Embedded Systems. In: Proceedings 10th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools. Lübeck: IEEE Computer Society, 2007, pp. 420-423. ISBN 0-7695-2978-X.
DetailMATOUŠEK Petr and RYŠAVÝ Ondřej. A Path to Become a Skillful CCNP Expert During your University Studies. Istanbul, 2007.
DetailMATOUŠEK Petr. Automatická analýza síťové bezpečnosti. Brno, 2007.
DetailGREGA Wojciech, KORNECKI Andrew J., ŠVÉDA Miroslav and THIRIET Jean-Marc. Developing an Interdisciplinary and Multinational Software Engineering Curriculum. In: Proceedings of the International Conference on Engineering Education. Coimbra: European Comission - Education and Training, 2007, p. 4. ISBN 978-972-8055-14-1.
DetailPETERKA Ondřej, RYŠAVÝ Ondřej, LORENC Václav, OSOVSKÝ Martin and ŠKARVADA Libor. Can Objects Have Dependent Types?. In: Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 173-180. ISBN 978-80-7355-077-6.
DetailKORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc and ŠVÉDA Miroslav. ILERT - International Learning Environment for Real-Time Software Intensive Control Systems. Computer Science and Information Technology, vol. 2007, no. 2, pp. 943-948. ISSN 1896-7094.
DetailOČENÁŠEK Pavel. Ontologie a sémantický web. Brno, 2007.
Detail -
2006
MATOUŠEK Petr. Praktické úlohy z počítačových sítí. Brno, 2006.
DetailŠVÉDA Miroslav. REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN. In: Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 78-83. ISBN 80-214-3130-X.
DetailRYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. Designing Algorithm-oriented Generic Library on .NET Framework. In: Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006. Los Alamitos, CA: IEEE Computer Society, 2006, pp. 159-163. ISBN 0-7695-2546-6.
DetailOČENÁŠEK Pavel and TRCHALÍK Roman. Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006, pp. 401-404. ISBN 80-248-1066-2.
DetailOČENÁŠEK Pavel. Security Protocols: Analysis and Design. In: Proceedings of the Junior Scientist Conference 2006. Vienna: Technical University Wien, 2006, pp. 51-52. ISBN 3-902463-05-8.
DetailTRCHALÍK Roman and OČENÁŠEK Pavel. Metrics in Workflow Systems. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006, pp. 569-572. ISBN 80-248-1066-2.
DetailMATOUŠEK Petr. Implementace kurzů NetAcad na FIT VUT v Brně. Stará Lesná, 2006.
DetailOČENÁŠEK Pavel and TRCHALÍK Roman. The Use of Modal Logics in the Security Protocols Analysis. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 395-399. ISBN 80-214-3163-6.
DetailTRCHALÍK Roman and OČENÁŠEK Pavel. Zigbee Gateways. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 410-414. ISBN 80-214-3163-6.
DetailOČENÁŠEK Pavel and OČENÁŠEK Jiří. Designing Secure Communications Using Evolutionary Approach. In: Genetic and Evolutionary Computation Conference GECCO 2006. Seattle, WA: Association for Computing Machinery, 2006, p. 3.
DetailOČENÁŠEK Pavel and ŠVÉDA Miroslav. An Approach to Automated Design of Security Protocols. In: Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006, p. 4. ISBN 0-7695-2552-0.
DetailŠVÉDA Miroslav, VRBA Radimír and OČENÁŠEK Pavel. Local Time Specifications of Networked Embedded Systems. In: Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006, p. 6. ISBN 0-7695-2552-0.
DetailMATOUŠEK Petr. Dobrého nespálí - test firewallů pro sítě do 150 uživatelů. CONNECT!, vol. 2006, no. 6, pp. 26-29. ISSN 1211-3085.
DetailOČENÁŠEK Pavel and KUBÁT Lubomír. Establishing Certified Quality System in Technology Companies. In: EDS '06 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2006, pp. 290-295. ISBN 80-214-3246-2.
DetailOČENÁŠEK Pavel and TRCHALÍK Roman. Tracing Authentication Protocols Behavior: A Case Study. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006, pp. 166-173. ISBN 80-214-3287-X.
DetailFUJCIK Lukáš, VRBA Radimír and ŠVÉDA Miroslav. A 16-Bit Switched-Capacitor Sigma-Delta Modulator Matlab Model Exploiting Two-Step Quantization Process. In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006, pp. 142-147. ISBN 972-8865-59-7.
DetailŠVÉDA Miroslav and VRBA Radimír. Fault Maintenance in Embedded Systems Applications. In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006, pp. 183-186. ISBN 972-8865-59-7.
DetailŠVÉDA Miroslav and VRBA Radimír. INTERNET-BASED EMBEDDED SYSTEM ARCHITECTURES -- End-User Development Support for Embedded System Applications. In: Proceedings of the IEEE International Joint Conference on e-Business and Telecommunications (ICETE 2006), 2006. Setúbal: IEEE Computer Society, 2006, pp. 63-68. ISBN 972-8865-62-7.
DetailŠVÉDA Miroslav and TRCHALÍK Roman. Smart Sensor Networking with ZigBee and Internet. In: Proceedings of the 2nd International Workshop on Artificial Neural Networks and Intelligent Information Processing (ANNIIP 2006). Setúbal: University of Pierre and Marie Curie, 2006, pp. 64-71. ISBN 972-8865-68-6.
DetailOČENÁŠEK Pavel. Automatic Design of Security Protocols. In: Počítačové architektúry & diagnostika 2006. Bratislava: Slovak Academy of Science, 2006, pp. 49-54. ISBN 80-969202-2-7.
DetailTRCHALÍK Roman and ŠVÉDA Miroslav. Sensor Networking through Intranet and ZigBee. In: Proceedings IMAPS CS International Conference EDS'06. Brno: Brno University of Technology, 2006, pp. 217-221. ISBN 80-214-3246-2.
DetailSMRČKA Aleš, ŘEHÁK Vojtěch, VOJNAR Tomáš, ŠAFRÁNEK David, MATOUŠEK Petr and ŘEHÁK Zdeněk. Verifying VHDL Design with Multiple Clocks in SMV. In: Proceedings of FMICS 2006. Bonn, 2006, pp. 140-155.
DetailMATOUŠEK Petr. Tools for Verification of Security Protocols. Brno, 2006.
DetailŠVÉDA Miroslav and VRBA Radimír. Safe and secure networks of microelectronic systems. Brno: Faculty of Electrical Engineering and Communication BUT, 2006.
DetailOČENÁŠEK Pavel. Automatic System for Making Web Content Accessible for Visually Impaired Users. WSEAS Transactions on Computers Research, vol. 1, no. 2, 2006, pp. 325-328. ISSN 1991-8755.
DetailOČENÁŠEK Pavel. Automatic System for Making Web Content Accessible for Visually Impaired Users. In: Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz, 2006, pp. 430-433. ISBN 960-8457-57-2.
DetailOČENÁŠEK Pavel and TRCHALÍK Roman. On the Implementation of Metrics in the Workflow System. In: Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz: World Scientific and Engineering Academy, 2006, pp. 329-331. ISBN 960-8457-57-2.
DetailOČENÁŠEK Pavel and TRCHALÍK Roman. On the Implementation of Metrics in the Workflow System. WSEAS Transactions on Computers Research, vol. 1, no. 2, 2006, pp. 360-362. ISSN 1991-8755.
DetailOČENÁŠEK Pavel and STUCHLÍK Radek. Sémantický web tutorial. Brno, 2006.
Detail -
2005
ŠVÉDA Miroslav, BENEŠ Petr, VRBA Radimír and ZEZULKA František. Introduction to Industrial Sensor Networking. Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems. Boca Raton, Florida: CRC Press LLC, 2005, pp. 10-24. ISBN 0-8493-1968-4.
DetailOČENÁŠEK Pavel. The Security Protocol Design Using Genetic Algorithms Paradigms. In: Proceedings of the 11th Conference and Competition STUDENT EEICT 2005. Brno: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 576-580. ISBN 80-214-2890-2.
DetailOČENÁŠEK Pavel and TOUFAROVÁ Jana. Zpřístupnění obsahu Internetu zrakově handicapovaným uživatelům. INFORUM 2005: 11. ročník konference o profesionálních informačních zdrojích, vol. 2005, no. 1, p. 8. ISSN 1801-2213.
DetailBUREŠ František, RYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. A Framework for Formal Specification of Embedded Systems. In: Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, California: IEEE Computer Society, 2005, pp. 323-330. ISBN 0-7695-2308-0.
DetailŠVÉDA Miroslav and VRBA Radimír. An Approach to the Design of Networked Embedded Systems. In: Proceedings of the 16th IFAC WORLD CONGRESS, 2005. Kidlington, Oxford: Elsevier Science, 2005, p. 6. ISBN 0-08-045108-X. ISSN 1474-6670.
DetailŠČUGLÍK František. Relation Between UML2 Activity Diagrams and CSP algebra. In: Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization. Kerkyra: World Scientific and Engineering Academy, 2005, p. 6. ISBN 960-8457-32-7.
DetailŠČUGLÍK František. Time Synchronization Possibilities in Wireless networks for Embedded Systems. In: Proceedings of the 5th Int. Conf. on Applied Electromagnetics, Wireless and Optical Communications. Kerkyra: World Scientific and Engineering Academy, 2005, pp. 1215-1219. ISBN 960-8457-34-3.
DetailŠČUGLÍK František. Relation between UML2 Activity Diagrams and CSP algebra. WSEAS Transactions on Computers, vol. 4, no. 10, 2005, pp. 1234-1240. ISSN 1109-2750.
DetailŠČUGLÍK František. Time Synchronization Possibilities in Wireless networks for Embedded Systems. WSEAS Transactions on Communications, vol. 4, no. 11, 2005, pp. 1215-1219. ISSN 1109-2742.
DetailMATOUŠEK Petr, SMRČKA Aleš and VOJNAR Tomáš. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. In: Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science 3725/2005, vol. 2005. Berlin: Springer Verlag, 2005, pp. 371-375. ISBN 978-3-540-29105-3. ISSN 0302-9743.
DetailŠVÉDA Miroslav. Computer Networks with Smart Sensors: the IEEE 1451 Approach. In: Proceedings IMAPS CS International Conference EDS'05. Brno: Brno University of Technology, 2005, pp. 107-110. ISBN 80-214-2990-9.
DetailOČENÁŠEK Pavel. Towards Selected Problems in the Security Protocol Design and Verification. In: Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics MU, 2005, p. 9.
DetailŠVÉDA Miroslav and VRBA Radimír. Sensor Networks with IEEE 1451.1 Embedded Systems on Internet. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, p. 5. ISBN 0-7803-9371-6.
DetailKUCHTA Radek, ŠTEFFAN Pavel, BARTOŇ Zdeněk, VRBA Radimír and ŠVÉDA Miroslav. Wireless Temperature Data Logger. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, pp. 208-212. ISBN 0-7803-9371-6.
DetailOČENÁŠEK Pavel. Evolutionary Approach in the Security Protocols Design. In: Proceedings of the First European Conference on Computer Network Defence. University of Glamorgan: Springer Verlag, 2005, pp. 147-156. ISBN 1-84628-311-6.
DetailVRBA Radimír, SAJDL Ondřej and ŠVÉDA Miroslav. Smart Sensors in Wireless Network System. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, pp. 343-353. ISBN 0-7803-9270-1.
DetailŠVÉDA Miroslav and VRBA Radimír. Embedded Systems with IEEE 1451.1 on Internet. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, pp. 539-550. ISBN 0-7803-9270-1.
Detail -
2004
VRBA Radimír, ŠVÉDA Miroslav and MAREČEK Karel. Pressure Transducer with Multiplexed Frequency Transmitter. In: Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference. New Orleans, LA: IEEE Computer Society, 2004, pp. 7-10. ISBN 0-7803-8143-2.
DetailOČENÁŠEK Pavel. On Inductive Approach in Security Protocol Verification. In: Proceedings of the 10th Conference and Competition STUDENT EEICT 2004. Brno: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 272-276. ISBN 80-214-2635-7.
DetailŠVÉDA Miroslav. A Design Framework for Internet-Based Embedded Distributed Systems. In: Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, California: IEEE Computer Society, 2004, pp. 113-120. ISBN 0-7695-2125-8.
DetailOČENÁŠEK Pavel. Reasoning about Security Issues in Wireless Devices based on the IEEE 802.11. In: 11th Electronic Devices and Systems Conference 2004 Proceedings. Brno: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 228-231. ISBN 80-214-2701-9.
DetailŠČUGLÍK František. Formal Specification of Shared Variables Using CSP. In: Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2004, pp. 211-216. ISBN 0-7695-2125-8.
DetailŠVÉDA Miroslav. IP Multicast with Publish/Subscribe for Sensors on Internet. In: 11th Electronic Devices and Systems Conference 2004 Proceedings. Brno: Brno University of Technology, 2004, pp. 350-353. ISBN 80-214-2701-9.
DetailŠVÉDA Miroslav and VRBA Radimír. An Approach to Computer-Based System Synthesis. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, p. 8. ISBN 0-8576-9197-0.
DetailVRBA Radimír, SAJDL Ondřej, KUCHTA Radek and ŠVÉDA Miroslav. Wireless Smart Sensor Network System. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, pp. 466-471. ISBN 0-8576-9197-0.
DetailŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, vol. 10, no. 10, 2004, pp. 1354-1356. ISSN 0948-6968.
Detail -
2003
OČENÁŠEK Pavel. Verifikace bezpečnostních protokolů. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 211-213. ISBN 80-214-2377-3.
DetailŠČUGLÍK František. Visualizing formal specifications using diagrams. In: 11. International Conference on Software, Telecommunications & Computer Networks. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split, 2003, p. 5. ISBN 953-6114-64-X.
Detail -
2002
ŠČUGLÍK František. Formal specification and verification of already composed systems. In: Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002, pp. 511-515. ISBN 80-214-2116-9.
DetailŠČUGLÍK František. Comparing CSP representation and First order logic. In: Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Brno University of Technology, 2002, pp. 341-344. ISBN 80-214-2180-0.
Detail -
1996
ZEZULKA František and ŠVÉDA Miroslav. Specification of Anticipative Problems in Control Engineering. Advances in Modeling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 1-921836-43-1.
DetailŠVÉDA Miroslav and ZEZULKA František. Specification of Anticipative Problems in Control Engineering. Advances in Modelling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 0-92183-43-14.
Detail