Olga Siedlecka-Lamch

According to our database, Olga Siedlecka-Lamch authored at least 19 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Secure Medical Data Storage with Blockchain Technology.

Olga Siedlecka-Lamch

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Blockchain Technology in Medical Data Processing: A Study on Its Applications and Potential Benefits.

Olga Siedlecka-Lamch, Sabina Szymoniak

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

User Authentication Protocol Based on the Location Factor for a Mobile Environment.

Maciej Bartlomiejczyk, Imed El Fray, Miroslaw Kurkowski, Sabina Szymoniak, Olga Siedlecka-Lamch

IEEE Access, 2022

2021

SAT and SMT-Based Verification of Security Protocols Including Time Aspects.

Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski

Sensors, 2021

2020

Towards Most Efficient Method for Untimed Security Protocols Verification.

Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski, Imed El Fray

Proceedings of the 24th Pacific Asia Conference on Information Systems, 2020

Probabilistic and Timed Analysis of Security Protocols.

Olga Siedlecka-Lamch

Proceedings of the 13th International Conference on Computational Intelligence in Security for Information Systems, 2020

VerSecTis - An Agent based Model Checker for Security Protocols.

Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols.

Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski

Proceedings of the 20th International Conference on Parallel and Distributed Computing, 2019

A Fast Method for Security Protocols Verification.

Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski

Proceedings of the Computer Information Systems and Industrial Management, 2019

2018

On Some Time Aspects in Security Protocols Analysis.

Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski

Proceedings of the Computer Networks - 25th International Conference, 2018

2016

Timed Analysis of Security Protocols.

Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski

Proceedings of the Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology - ISAT 2016, 2016

Some Remarks on Security Protocols Verification Tools.

Miroslaw Kurkowski, Adam Kozakiewicz, Olga Siedlecka-Lamch

Proceedings of the Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology - ISAT 2016, 2016

Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption.

Olga Siedlecka-Lamch, Miroslaw Kurkowski, Jacek Piatkowski

Proceedings of the Computer Networks - 23rd International Conference, 2016

2015

Verification of Mutual Authentication Protocol for MobInfoSec System.

Olga Siedlecka-Lamch, Imed El Fray, Miroslaw Kurkowski, Jerzy Pejas

Proceedings of the Computer Information Systems and Industrial Management, 2015

2013

Parallel Bounded Model Checking of Security Protocols.

Miroslaw Kurkowski, Olga Siedlecka-Lamch, Sabina Szymoniak, Henryk Piech

Proceedings of the Parallel Processing and Applied Mathematics, 2013

Using Backward Induction Techniques in (Timed) Security Protocols Verification.

Miroslaw Kurkowski, Olga Siedlecka-Lamch, Pawel Dudek

Proceedings of the Computer Information Systems and Industrial Management, 2013

2012

Interval Probabilities of State Transitions in Probabilistic Automata.

Henryk Piech, Olga Siedlecka-Lamch

Proceedings of the Artificial Intelligence and Soft Computing, 2012

A New Effective Approach for Modelling and Verification of Security Protocols.

Olga Siedlecka-Lamch, Miroslaw Kurkowski, Henryk Piech

Proceedings of the 21th International Workshop on Concurrency, 2012

2011

Parallel Quantum Algorithm for Finding the Consistency of Saaty's Matrices.

Henryk Piech, Olga Siedlecka-Lamch

Proceedings of the Parallel Processing and Applied Mathematics, 2011