Get started
Author

Sabina Szymoniak

Observed names: S. Szymoniak, Sabina SZYMONIAK, Szymoniak, Sabina
ORCID: 0000-0003-1148-5691
Observed ORCID: 0000-0003-1148-5691
OpenAlex ID: A5016552012
Review of Monitoring and Control Systems Based on Internet of Things
2024 · Dawid Witczak, Sabina Szymoniak · Applied Sciences · 113
PDF
Key Agreement and Authentication Protocols in the Internet of Things: A Survey
2022 · Sabina Szymoniak, Shalini Kesar · Applied Sciences · 44
PDF
An IoT System for Air Pollution Monitoring with Safe Data Transmission
2024 · Janusz Bobulski, Sabina Szymoniak, et al. · Sensors · 38
PDF
Defense and Security Mechanisms in the Internet of Things: A Review
2025 · Sabina Szymoniak, Jacek Piątkowski, et al. · Applied Sciences · 32
PDF
Open Source Intelligence Opportunities and Challenges: a Review
2024 · Sabina Szymoniak, Kacper Foks · Advances in Science and Technology – Research Journal · 32
PDF
Key Distribution and Authentication Protocols in Wireless Sensor Networks: A Survey
2023 · Sabina Szymoniak · ACM Computing Surveys · 26
PDF
Security protocols analysis including various time parameters
2021 · Sabina Szymoniak · Mathematical Biosciences & Engineering · 22
Trustworthy Artificial Intelligence Methods for Users’ Physical and Environmental Security: A Comprehensive Review
2023 · Sabina Szymoniak, Filip Depta, et al. · Applied Sciences · 19
PDF
User Authentication Protocol Based on the Location Factor for a Mobile Environment
2022 · Maciej Bartlomiejczyk, Imed El Fray, et al. · IEEE Access · 19
PDF
Biometry-based verification system with symmetric key generation method for internet of things environments
2025 · Sabina Szymoniak, Mariusz Kubanek · Scientific Reports · 17
PDF
Timed Analysis of Security Protocols
2016 · Sabina Szymoniak, Olga Siedlecka-Lamch, et al. · Advances in intelligent systems and computing · 15
ProToc—An Universal Language for Security Protocols Specifications
2015 · A. Grosser, M. Kurkowski, et al. · Advances in intelligent systems and computing · 14
Amelia—A new security protocol for protection against false links
2021 · Sabina Szymoniak · Computer Communications · 12
PDF
SAT and SMT-Based Verification of Security Protocols Including Time Aspects
2021 · Sabina Szymoniak, Olga Siedlecka-Lamch, et al. · Sensors · 12
PDF
Efficient Verification of Security Protocols Time Properties Using SMT Solvers
2019 · Agnieszka M. Zbrzezny, Sabina Szymoniak, et al. · Advances in intelligent systems and computing · 11
Overview of Modern Technologies for Acquiring and Analysing Acoustic Information Based on AI and IoT
2025 · Sabina Szymoniak, Łukasz Kuczyński · Applied Sciences · 10
PDF
Timed models of security protocols including delays in the network
2015 · Sabina Szymoniak, Mirosław Kurkowski, et al. · Journal of Applied Mathematics and Computational Mechanics · 9
PDF
Methodology of Testing the Security of Cryptographic Protocols Using the CMMTree Framework
2023 · Jacek Piątkowski, Sabina Szymoniak · Applied Sciences · 7
PDF
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories
2020 · Agnieszka M Zbrzezny, Sabina Szymoniak, et al. · Logic Journal of IGPL · 7
VerSecTis - An Agent based Model Checker for Security Protocols
2020 · Agnieszka M. Zbrzezny, Andrzej Zbrzezny, et al. · Adaptive Agents and Multi-Agents Systems · 7
A Fast Method for Security Protocols Verification
2019 · Olga Siedlecka-Lamch, Sabina Szymoniak, et al. · Lecture notes in computer science · 7
SAT-based verification of NSPK protocol including delays in the network
2017 · Sabina Szymoniak, Olga Siedlecka-Lamch, et al. · IEEE International Scientific Conference on Informatics (Informatics) · 7
Parallel Bounded Model Checking of Security Protocols
2014 · Mirosław Kurkowski, Olga Siedlecka-Lamch, et al. · Lecture notes in computer science · 7
Application of OSINT Methods in Ensuring Cybersecurity
2025 · Sabina Szymoniak, Kacper Foks, et al. · IPSI Transactions on Internet Research · 6
PDF
On Some Time Aspects in Security Protocols Analysis
2018 · Sabina Szymoniak, Olga Siedlecka-Lamch, et al. · Communications in computer and information science · 6
Works count: 68
Citation count: 548
H-index: 12
I10-index: 16
Year
Topic
Type