Sabina Szymoniak

27 papers A 1B 3C 4Journal 8Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Device-to-device IoT system-based security protocol for agreeing on social meetings.
Comput. Networks
Sabina Szymoniak, Aleksandra Pyrkosz-Dziubczyk
2025 C conf
Artificial Intelligence and Ethical Responsibility: The Impact of Algorithmic Decisions on Cybersecurity.
ETHICOMP
Sabina Szymoniak, Shalini Kesar
2025 C conf
Comprehensive Approaches to Personal Data Protection Amid Evolving Cyber Threats.
ETHICOMP
Sabina Szymoniak, Mariusz Kubanek
2025 C conf
Deepfake Manipulation and Ethical Dilemmas: A Comprehensive Risk Assessment.
ETHICOMP
Mariusz Kubanek, Sabina Szymoniak
2024 — conf
AI-Based Enhancing of the Smart City Residents' Safety.
ISD
Sabina Szymoniak, Mariusz Kubanek, Shalini Kesar
2024 J jnl
An IoT System for Air Pollution Monitoring with Safe Data Transmission.
Sensors
Janusz Bobulski, Sabina Szymoniak, Kamila Pasternak
2024 J jnl
Key Distribution and Authentication Protocols in Wireless Sensor Networks: A Survey.
ACM Comput. Surv.
Sabina Szymoniak
2024 J jnl
Security protocol for securing notifications about dangerous events in the agglomeration.
Pervasive Mob. Comput.
Sabina Szymoniak
2023 — conf
Air Pollution Monitoring and Information Distribution System.
CORES/IP&C
Janusz Bobulski, Sabina Szymoniak, Kamila Pasternak
2023 B conf
Blockchain Technology in Medical Data Processing: A Study on Its Applications and Potential Benefits.
ENASE
Olga Siedlecka-Lamch, Sabina Szymoniak
2023 B conf
Safe data transmission in IoT system for air pollution monitoring.
IEEE Big Data
Janusz Bobulski, Sabina Szymoniak, Kamila Pasternak
2022 J jnl
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories.
Log. J. IGPL
Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski
2022 J jnl
User Authentication Protocol Based on the Location Factor for a Mobile Environment.
IEEE Access
Maciej Bartlomiejczyk, Imed El Fray, Miroslaw Kurkowski, Sabina Szymoniak, Olga Siedlecka-Lamch
2021 J jnl
Amelia - A new security protocol for protection against false links.
Comput. Commun.
Sabina Szymoniak
2021 J jnl
SAT and SMT-Based Verification of Security Protocols Including Time Aspects.
Sensors
Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski
2021 B conf
Time Influence on Security Protocol.
ENASE
Sabina Szymoniak
2020 — conf
Towards Most Efficient Method for Untimed Security Protocols Verification.
PACIS
Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski, Imed El Fray
2020 A conf
VerSecTis - An Agent based Model Checker for Security Protocols.
AAMAS
Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
2019 — conf
A Fast Method for Security Protocols Verification.
CISIM
Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski
2019 — conf
Efficient Verification of Security Protocols Time Properties Using SMT Solvers.
CISIS-ICEUTE
Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski
2019 C conf
SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols.
PDCAT
Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski
2018 — conf
KaoChow Protocol Timed Analysis.
ACS
Sabina Szymoniak
2018 — conf
On Some Time Aspects in Security Protocols Analysis.
CN
Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
2018 — conf
The Impact of Time Parameters on the Security Protocols Correctness.
CN
Sabina Szymoniak
2016 — conf
Timed Analysis of Security Protocols.
ISAT (2)
Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
2014 — conf
ProToc - An Universal Language for Security Protocols Specifications.
ACS
A. Grosser, Miroslaw Kurkowski, Jacek Piatkowski, Sabina Szymoniak
2013 — conf
Parallel Bounded Model Checking of Security Protocols.
PPAM (1)
Miroslaw Kurkowski, Olga Siedlecka-Lamch, Sabina Szymoniak, Henryk Piech