Olga SiedleckaLamch

Olga SiedleckaLamch

Technical University of Czestochowa - Czestochowa / Poland
Others
AD Scientific Index ID: 6016637
Czestochowa University of Technology
person_outline Olga SiedleckaLamch's MOST POPULAR ARTICLES
1-) Timed analysis of security protocols Information Systems Architecture and Technology: Proceedings of 37th …, 2017
2-) Sat and smt-based verification of security protocols including time aspects Sensors 21 (9), 3055, 2021
3-) On some time aspects in security protocols analysis Computer Networks: 25th International Conference, CN 2018, Gliwice, Poland …, 2018
4-) Verification of mutual authentication protocol for MobInfoSec system Computer Information Systems and Industrial Management: 14th IFIP TC 8 …, 2015
5-) Comparative study of relational and graph databasesM Lazarska, O Siedlecka-Lamch2019 IEEE 15th International Scientific Conference on Informatics, 000363-000370, 2019132019