A formal model for network-wide security analysis J Rab, P Matousek, O Rysavy, M Svéda 15th Annual IEEE International Conference and Workshop on the Engineering of …, 2008 | 66 | 2008 |
Comment on “remote physical device fingerprinting” L Polčák, J Jirásek, P Matoušek IEEE Transactions on Dependable and Secure Computing 11 (5), 494-496, 2013 | 31 | 2013 |
On efficiency of distributed password recovery R Hranický, M Holkovič, P Matoušek Journal of Digital Forensics, Security and Law 11 (2), 5, 2016 | 19 | 2016 |
Description of IEC 61850 communication P Matoušek Technical Report, 2018 | 18 | 2018 |
Practical IPv6 monitoring-challenges and techniques M Grégr, P Matoušek, M Švéda 12th IFIP/IEEE International Symposium on Integrated Network Management (IM …, 2011 | 15 | 2011 |
Fast RTP detection and codecs classification in internet traffic P Matousek, O Rysavy, M Kmet Journal of Digital Forensics, Security and Law 9 (2), 9, 2014 | 14 | 2014 |
Multicast simulation and modeling in OMNeT++. V Veselý, P Matousek, M Svéda SimuTools, 142-145, 2013 | 9 | 2013 |
Combination of simulation and formal methods to analyse network survivability P Matousek, O Rysavy, G de Silva, M Danko Proceedings of the 3rd International ICST Conference on Simulation Tools and …, 2010 | 9 | 2010 |
A new approach for detection of host identity in IPv6 networks L Polčák, M Holkovič, P Matoušek 2013 International Conference on Data Communication Networking (DCNET), 1-7, 2013 | 7 | 2013 |
Formal analysis approach on networks with dynamic behaviours G de Silva, P Matoušek, O Ryšavý, M Švéda International Congress on Ultra Modern Telecommunications and Control …, 2010 | 7 | 2010 |
Security analysis of TCP/IP networks: An approach to automatic analysis of network security properties M Sveda, O Rysavy, P Matousek, J Rab, R Cejka 2010 International Conference on Data Communication Networking (DCNET), 1-7, 2010 | 6 | 2010 |
On-line monitoring of VoIP quality using IPFIX P Matousek, M Kmet, M Basel Advances in Electrical and Electronic Engineering 12 (4), 325-333, 2014 | 4 | 2014 |
Static Analysis of Routing and Firewall Policy Configurations M Sveda, O Rysavy, G De Silva, P Matousek, J Rab e-Business and Telecommunications: 7th International Joint Conference, ICETE …, 2012 | 3 | 2012 |
Reachability analysis in dynamically routed networks M Sveda, O Rysavy, G de Silva, P Matousek, J Rab 2011 18th IEEE International Conference and Workshops on Engineering of …, 2011 | 3 | 2011 |
Fast rtp detection and codecs classification in internet traffic PMORM Kmet, P Matousek, OR Martin | 2 | 2014 |
An approach for automated network-wide security analysis M Sveda, O Rysavy, P Matousek, J Rab 2010 Ninth International Conference on Networks, 294-299, 2010 | 2 | 2010 |
High-level modelling, analysis, and verification on FPGA-based hardware design P Matoušek, A Smrčka, T Vojnar Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced …, 2005 | 2 | 2005 |
Metering Homes: Do Energy Efficiency and Privacy Need to Be in Conflict? L Polcák, P Matousek SECRYPT, 47-58, 2022 | 1 | 2022 |
LDAP Replication at CRN P Matousek CERN—IT Division 16, 1998 | 1 | 1998 |
Identity Linking in Computer Networks. L Polcák, O Rysavý, P Matousek ICETE (1), 45-52, 2020 | | 2020 |