Olga Siedlecka-Lamch

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 14

Top Topics

Cryptographic Protocols

Authentication Protocol

Security Protocols

Top Venues

Publications

Olga Siedlecka-Lamch
Secure Medical Data Storage with Blockchain Technology. KES (2023)
Olga Siedlecka-Lamch, Sabina Szymoniak
Blockchain Technology in Medical Data Processing: A Study on Its Applications and Potential Benefits. ENASE (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)
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)
Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski, Imed El Fray
Towards Most Efficient Method for Untimed Security Protocols Verification. PACIS (2020)
Olga Siedlecka-Lamch
Probabilistic and Timed Analysis of Security Protocols. CISIS (2020)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
VerSecTis - An Agent based Model Checker for Security Protocols. AAMAS (2020)
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)
Miroslaw Kurkowski, Adam Kozakiewicz, Olga Siedlecka-Lamch
Some Remarks on Security Protocols Verification Tools. ISAT (2) (2016)
Olga Siedlecka-Lamch, Miroslaw Kurkowski, Jacek Piatkowski
Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption. CN (2016)
Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
Timed Analysis of Security Protocols. ISAT (2) (2016)
Olga Siedlecka-Lamch, Imed El Fray, Miroslaw Kurkowski, Jerzy Pejas
Verification of Mutual Authentication Protocol for MobInfoSec System. CISIM (2015)
Miroslaw Kurkowski, Olga Siedlecka-Lamch, Sabina Szymoniak, Henryk Piech
Parallel Bounded Model Checking of Security Protocols. PPAM (1) (2013)
Miroslaw Kurkowski, Olga Siedlecka-Lamch, Pawel Dudek
Using Backward Induction Techniques in (Timed) Security Protocols Verification. CISIM (2013)
Henryk Piech, Olga Siedlecka-Lamch
Interval Probabilities of State Transitions in Probabilistic Automata. ICAISC (2) (2012)
Olga Siedlecka-Lamch, Miroslaw Kurkowski, Henryk Piech
A New Effective Approach for Modelling and Verification of Security Protocols. CS&P (2012)
Henryk Piech, Olga Siedlecka-Lamch
Parallel Quantum Algorithm for Finding the Consistency of Saaty's Matrices. PPAM (1) (2011)