Sabina Szymoniak

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 19

Top Topics

Satisfiability Modulo Theories

Data Transmission

Security Protocols

Top Venues

Publications

Sabina Szymoniak
Key Distribution and Authentication Protocols in Wireless Sensor Networks: A Survey. ACM Comput. Surv. 56 (6) (2024)
Janusz Bobulski, Sabina Szymoniak, Kamila Pasternak
An IoT System for Air Pollution Monitoring with Safe Data Transmission. Sensors 24 (2) (2024)
Janusz Bobulski, Sabina Szymoniak, Kamila Pasternak
Air Pollution Monitoring and Information Distribution System. CORES/IP&C (2023)
Olga Siedlecka-Lamch, Sabina Szymoniak
Blockchain Technology in Medical Data Processing: A Study on Its Applications and Potential Benefits. ENASE (2023)
Janusz Bobulski, Sabina Szymoniak, Kamila Pasternak
Safe data transmission in IoT system for air pollution monitoring. BigData (2023)
Bartlomiejczyk Maciej, Imed El Fray, Miroslaw Kurkowski, Sabina Szymoniak, Olga Siedlecka-Lamch
User Authentication Protocol Based on the Location Factor for a Mobile Environment. IEEE Access 10 (2022)
Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories. Log. J. IGPL 30 (2) (2022)
Sabina Szymoniak
Time Influence on Security Protocol. ENASE (2021)
Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski
SAT and SMT-Based Verification of Security Protocols Including Time Aspects. Sensors 21 (9) (2021)
Sabina Szymoniak
Amelia - A new security protocol for protection against false links. Comput. Commun. 179 (2021)
Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski, Imed El Fray
Towards Most Efficient Method for Untimed Security Protocols Verification. PACIS (2020)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
VerSecTis - An Agent based Model Checker for Security Protocols. AAMAS (2020)
Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski
Efficient Verification of Security Protocols Time Properties Using SMT Solvers. CISIS-ICEUTE (2019)
Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski
A Fast Method for Security Protocols Verification. CISIM (2019)
Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski
SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. PDCAT (2019)
Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
On Some Time Aspects in Security Protocols Analysis. CN (2018)
Sabina Szymoniak
KaoChow Protocol Timed Analysis. ACS (2018)
Sabina Szymoniak
The Impact of Time Parameters on the Security Protocols Correctness. CN (2018)
Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
Timed Analysis of Security Protocols. ISAT (2) (2016)
A. Grosser, Miroslaw Kurkowski, Jacek Piatkowski, Sabina Szymoniak
ProToc - An Universal Language for Security Protocols Specifications. ACS (2014)
Miroslaw Kurkowski, Olga Siedlecka-Lamch, Sabina Szymoniak, Henryk Piech
Parallel Bounded Model Checking of Security Protocols. PPAM (1) (2013)