Olga Siedlecka-Lamch

20 papers A 1B 2C 2Misc 1Journal 2Unranked 12
YearRankTypeTitle / Venue / Authors
2025 C conf
Digital Agriculture Under Threat: Cybersecurity Challenges and Policy Gaps.
ETHICOMP
Olga Siedlecka-Lamch
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
Secure Medical Data Storage with Blockchain Technology.
KES
Olga Siedlecka-Lamch
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
SAT and SMT-Based Verification of Security Protocols Including Time Aspects.
Sensors
Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski
2020 Misc conf
Probabilistic and Timed Analysis of Security Protocols.
CISIS
Olga Siedlecka-Lamch
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 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
On Some Time Aspects in Security Protocols Analysis.
CN
Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
2016 — conf
Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption.
CN
Olga Siedlecka-Lamch, Miroslaw Kurkowski, Jacek Piatkowski
2016 — conf
Some Remarks on Security Protocols Verification Tools.
ISAT (2)
Miroslaw Kurkowski, Adam Kozakiewicz, Olga Siedlecka-Lamch
2016 — conf
Timed Analysis of Security Protocols.
ISAT (2)
Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
2015 — conf
Verification of Mutual Authentication Protocol for MobInfoSec System.
CISIM
Olga Siedlecka-Lamch, Imed El Fray, Miroslaw Kurkowski, Jerzy Pejas
2013 — conf
Parallel Bounded Model Checking of Security Protocols.
PPAM (1)
Miroslaw Kurkowski, Olga Siedlecka-Lamch, Sabina Szymoniak, Henryk Piech
2013 — conf
Using Backward Induction Techniques in (Timed) Security Protocols Verification.
CISIM
Miroslaw Kurkowski, Olga Siedlecka-Lamch, Pawel Dudek
2012 — conf
A New Effective Approach for Modelling and Verification of Security Protocols.
CS&P
Olga Siedlecka-Lamch, Miroslaw Kurkowski, Henryk Piech
2012 — conf
Interval Probabilities of State Transitions in Probabilistic Automata.
ICAISC (2)
Henryk Piech, Olga Siedlecka-Lamch
2011 — conf
Parallel Quantum Algorithm for Finding the Consistency of Saaty's Matrices.
PPAM (1)
Henryk Piech, Olga Siedlecka-Lamch