main Pasje Odnośniki Sylwetka
main Dydaktyka Projekty Kontakt Research
Publikacje
  • Zbrzezny A. M., Siedlecka-Lamch O., Szymoniak S., Zbrzezny A., Kurkowski M., Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols, Applied Sciences, 2024, 14(22), 10333, 2024
  • Siedlecka-Lamch O., Blockchain-Enabled Data Model for Medical Diagnoses: Supporting Physician Collaboration, Proceedings of the INFORMATICS 2024, IEEE 17th International Scientific Conference on Informatics, pages 354 - 359, 2024
  • Siedlecka-Lamch O.,Legal and technical considerations for medical data in hybrid database system , Smart Ethics in the Digital World: Proceedings of the ETHICOMP 2024. 21th International Conference on the Ethical and Social Impacts of ICT, Editors: Mario Arias Oliva, Jorge Pelegrín Borondo, Kiyoshi Murata, Ana María Lara Palma, Manuel Ollé Sesé, Universidad de La Rioja, pages 213-216, 2024.
  • Siedlecka-Lamch O., Szymoniak S., Securing Healthcare Databases: a Comprehensive Policy-Based Framework Integrating Relational and Blockchain Technologies, The Leading Role of Smart Ethics in the Digital World , Universidad de La Rioja, pages 31-40, 2024.
  • Siedlecka-Lamch O., Szymoniak S., Enhancing security governance in medical databases: A policy-based approach with hybrid relational-blockchain model, Smart Ethics in the Digital World: Proceedings of the ETHICOMP 2024. 21th International Conference on the Ethical and Social Impacts of ICT, Editors: Mario Arias Oliva, Jorge Pelegrín Borondo, Kiyoshi Murata, Ana María Lara Palma, Manuel Ollé Sesé, Universidad de La Rioja, pages 217-220, 2024.
  • Siedlecka-Lamch O., Secure Medical Data Storage with Blockchain Technology, Procedia Computer Science, Volume 225, ISSN 1877-0509, Pages 961-968, 2023.
  • Siedlecka-Lamch O., Szymoniak S., Blockchain Technology in Medical Data Processing: A Study on Its Applications and Potential Benefits. Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, 664-671, 2023 , Prague, Czech Republic.
  • Sławczyk S., Siedlecka-Lamch O., How to improve blockchain for blogosphere?, in Proc.: IEEE 16th International Scientific Conference on Informatics, Poprad, Slovakia, November 23-25, IEEE, 273-279, 2022
  • Siedlecka-Lamch O., Szymoniak S., Probabilistic Analysis of Security Protocols Using Probabilistic Timed Automata, Proceedings of the ETHICOMP 2022, Turku, Finland, pages 418-434, 2022.
  • Szymoniak S., Siedlecka-Lamch O., Securing Meetings in D2D IoT Systems, Proceedings of the ETHICOMP 2022, Turku, Finland, pages 30-41, 2022.
  • Bartłomiejczyk M., Fray I. E., Kurkowski M., Szymoniak S., Siedlecka-Lamch O., "User Authentication Protocol Based on the Location Factor for a Mobile Environment," in IEEE Access, vol. 10, pp. 16439-16455, 2022
  • Szymoniak, S.; Siedlecka-Lamch, O.; Zbrzezny, A.M.; Zbrzezny, A.; Kurkowski, M. SAT and SMT-Based Verification of Security Protocols Including Time Aspects. Sensors 21, 3055, 2021
  • Siedlecka-Lamch O., Probabilistic and timed analysis of security protocols, In proceeding of the 13th International Conference on Computational Intelligence in Security for Information Systems CISIS 2020, 16-18 September 2020, Burgos, Spain; paper 24, 2021
  • Siedlecka-Lamch O., Szymoniak S., Kurkowski M. and El Fray I., Towards Most Efficient Method for Untimed Security Protocols Verification,In proceeding of the Pacific Asia Conference on Information Systems PACIS 2020, 22-24 June 2020, Dubai, UAE; paper 189, 2020
  • Zbrzezny A. M., Zbrzezny A., Szymoniak S., Siedlecka-Lamch O., and Kurkowski M., VerSecTis - An Agent based Model Checker for Security Protocols, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020), May 9–13, 2020, Auckland, New Zealand, p. 2123-2125, 2020
  • Zbrzezny A. M., Siedlecka-Lamch O., Szymoniak S., Kurkowski M.,SMT solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols, In Proc.: 20th International Conference on Parallel and Distributed Computing, Applications and Technologies PDCAT 2019, Gold Coast, Australia 5-7 December 2019, IEEE Computer Society, 323-330, 2020
  • Lazarska M., Siedlecka-Lamch O., Comparative study of relational and graph databases, in Proc. IEEE 15th International Scientific Conference on Informatics, IEEE, 234-241, 2019
  • Siedlecka-Lamch O., Szymoniak S., Kurkowski M., A Fast Method for Security Protocols Verification, in Proc.: Computer Information Systems and Industrial Management, Lecture Notes in Computer Science, Springer Nature, vol. 11703, 523–534, 2019
  • Szymoniak S., Siedlecka-Lamch O., Kurkowski M. Network’s Delays in Timed Analysis of Security Protocols. In: Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology – ISAT 2018, Advances in Intelligent Systems and Computing, vol 852. Springer, Cham, 19 - 29, 2018 (Web Of Science, Scopus)
  • Szymoniak S., Siedlecka-Lamch O., Kurkowski M., On Some Time Aspects in Security Protocols Analysis, in Proc.: International Conference on Computer Networks , Gliwice, Poland, Communications in Computer and Information Science book series, volume 860, 344-356, Springer, 2018 (Web of Science, Scopus)
  • Szymoniak S., Siedlecka-Lamch O., Kurkowski M., SAT-based Verification of NSPK Protocol Including Delays in the Netowrk, in Proc.: IEEE 14th International Scientific Conference on Informatics, Poprad, Slovakia, November 14-16, IEEE, 388-393, 2017 (Web of Science, Scopus)
  • Siedlecka-Lamch O.,Use of Probabilistic Timed Automata for Security Protocols Modeling, in: Studia Informatica, Volume 38, 191 - 201, 2017 (List B)
  • Szymoniak S., Siedlecka-Lamch O., Kurkowski M., Timed Analysis of Security Protocols, in Proc.: 37th International Conference ISAT 2016, Karpacz, Poland, September 18-20, Advances in Intelligent Systems and Computing, volume 522, 53--63, Springer, 2017 (Web of Science, Scopus)
  • Kurkowski M., Kozakiewicz A., Siedlecka-Lamch O., Some Remarks on Security Protocols Verification Tool, in Proc.: 37th International Conference ISAT 2016, Karpacz, Poland, September 18-20, Advances in Intelligent Systems and Computing, volume 522, 65--75, Springer, 2017 (Web of Science, Scopus)
  • Siedlecka-Lamch O.,Probabilistic Analysis of the Security Protocols Executions, in: Studia i Materiały, Volume 11, 43 - 51, 2016 (List B, Scopus)
  • Siedlecka-Lamch O., Kurkowski M., Piatkowski J., Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption, in Proc.: 23rd International Conference, Computer Networks 2016, Brunow, Poland, June 14-17, Communications in Computer and Information Science, Volume 608, 107-117, Springer, 2016 (Web of Science, Scopus)
  • Siedlecka-Lamch O., Kurkowski M., Piatkowski J., Using probabilistic automata for security protocols verification, Journal of Applied Mathematics and Computational Mechanics, volume 15, issue 2, 125-131, 2016 (List B, Web of Science)
  • Siedlecka-Lamch O., Kurkowski M., El Fray I., Pejas J., Verification of Mutual Authentication Protocol for MobInfoSec System, in Proceedings of 14th International Conference CISIM 2015, Warsaw, Poland, Lecture Notes in Computer Science vol. 9339, 461-474, 2015 (Web of Science, Scopus)
  • Siedlecka-Lamch O., Kurkowski M., Szymoniak S., Piech H., Parallel Bounded Model Checking of Security Protocols, in Proc. of PPAM'13, vol. 8384 of LNCS, Springer Verlag, 2014 (Web of Science, Scopus)
  • Kurkowski M., Siedlecka-Lamch O., Dudek P., Using Backward Induction Techniques in (Timed) Security Protocols Verification, in Proceedings of 12th International Conference CISIM 2013, Krakow, Poland, Lecture Notes in Computer Science vol. 8104, 265 - 276, 2013 BibTex
    • (Web of Science, Scopus)
  • Siedlecka-Lamch O., Kurkowski M., Piech H., A New Effective Approach for Modelling and Verification of Security Protocols, in Proceedings of 21th international Workshop on Concurrency, Specification and Programming (CS&P 2012) Humboldt University Press, Berlin, Germany, 191-202, 2012 , (Scopus)BibTex
  • Piech H., Siedlecka-Lamch O., Parallel Quantum Algorithm for Finding the Consistency of Saaty's Matrices, Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, Revised Selected Papers, Part I, Lecture Notes in Computer Science vol. 7203, 102-111, 2011BibTex
    • (Web of Science, Scopus)
  • Piech H., Siedlecka-Lamch O., Interval Probabilities of State Transitions in Probabilistic Automata, Artificial Intelligence and Soft Computing, 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29 - May 3, 2012 Proceedings, Part II, Lecture Notes in Artificial Intelligence vol. 7268, 688 - 696. BibTex
    • (Web of Science, Scopus)
  • Siedlecka-Lamch O., A Bisimulation Relation for Selected Types of Probabilistic and Quantum Automata, Prace Naukowe Akademii im. Jana Dlugosza w Czestochowie, Matematyka, 2011, nr 16, 135 - 140. BibTex
    • (List B)
  • Siedlecka-Lamch O., A Minimization Algorithm of 1-way Quantum Finite Automata, Metody Informatyki Stosowanej nr 4/2010 (25), str. 73-79 BibTex
    • (List B)
  • Siedlecka O., Minimization of reactive probabilistic automata, International Book Series "Information Science and Computing" - Algorithmic and Mathematical Foundations of the Artificial Intelligence, Sofia: ITNEA, 2008, no 1, 75-80 BibTex
  • Siedlecka O., Algorytm minimalizacji jednokierunkowego, skończonego automatu kwantowego, FCCS 2008, 4th Polish and International PD Forum-Conference on Computer Science,2008, nosnik CD-ROM BibTex
  • Kryvyi S., Matveyeva L., Lukianova E., Siedlecka O., Ontology View on Automata Theory, International Journal Information Theories and Applications, 2008, vol. 15, no 4, P. 337-344. BibTex
  • Kryvyi S., Matveyeva L., Lukianova E., Siedlecka O., Ontologiczne spojrzenie na teorię automatów, 13-th International Conference KDS-2007 (Knowledge-Dialog-Solution), Proceedings, vol. 2, ITHEA, Varna, 2007, P. 427-436. BibTex
  • Siedlecka O., A Brief Overview of Quantum Computing Theory. Computing, Multimedia and Intelligent Techniques. January 2006, vol. 2, no 1, 35 - 45. BibTex
Projekty
  • Praktyczne zastosowania automatów kwantowych, probabilistycznych oraz binarnych drzew decyzyjnych kierownictwo dr inż. Olga Siedlecka - Lamch- BS/MN-1-112-301/2012/P
  • Projektowanie i budowa inżynierskich systemów symulacyjnych – kierownictwo prof. dr hab. inż. Norbert Sczygiol – BSPB-1-112-3020/11/P
  • Projektowanie i budowa inżynierskich systemów symulacyjnych – kierownictwo prof. dr hab. inż. Norbert Sczygiol – BS-1-112-301/2004/P
  • Modelowanie i symulacje procesów technicznych, technologicznych i ekonomicznych – kierownictwo dr hab. inż. Henryk Piech, prof. Pcz – BSBP-1-112-3010/11/P
  • Analiza algorytmów kryptograficznych i ich zastosowanie w informatyce – kierownictwo dr Artur Jakubski – BW-1-112-205/2009/S
  • Metody obliczeń kwantowych i ich zastosowanie w zagadnieniach informatycznych – kierownictwo mgr inż. Olga Siedlecka - BW-1-112-203/2004/P
Seminaria
  • Implementing Blockchain Technology in Medical Data Management, 5th Seminar for Computer Science Researchers at „Perspektywy Women in Tech Summit 2024” 13 June 2024
  • Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 6.06.2015: pdf
  • Weryfikacja protokołów bezpieczenstwa z wykorzystaniem automatów probabilistycznych, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 30.03.2015: pdf
  • A New Effective Approach for Modelling and Verification of Security Protocols, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 08.10.2012: pdf
  • Binary decision diagrams for security protocols, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 04.06.2012: pdf
  • Eksploracja danych, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 05.03.2012: pdf
  • Let's Bisimulate, II Anglojęzyczne Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 10.01.2011: pdf
  • Zaawansowane systemy baz danych, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 04.05.2009: pdf
  • Metody minimalizacji automatów kwantowych - prezentacja doktoratu, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 16.09.2008: pdf
  • Minimalizacja jednokierunkowego skonczonego automatu kwantowego, IV Łódzkie Sympozjum Sieci Laboratoriów Fizycznych Podstaw Przetwarzania Informacji, 4.04.2008: pdf
  • Automaty probabilistyczne i języki przez nie akceptowane, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 4.06.2007: pdf
  • Metody minimalizacji automatów kwantowych, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 17.10.2006: pdf
  • Klasyczne i kwantowe podejście do teorii automatów i języków formalnych, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 19.05.2006: pdf
  • Hurtownie danych, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 20.05.2005: pdf
  • Wstęp do komputerów kwantowych, Seminarium na Wydziale Elektrotechniki i Informatyki Politechniki Rzeszowskiej, 20.04.2004: pdf
  • Dedukcyjne bazy danych, Seminarium Zakładu Informatyki Stosowanej i Inżynierii Oprogramowania, 3.11.2003: pdf