Olga Siedlecka-Lamch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2011–2025
Best venue rank
National
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ETHICOMP | Digital Agriculture Under Threat: Cybersecurity Challenges and Policy Gaps. | Olga Siedlecka-Lamch |
| 2023 | ENASE | Blockchain Technology in Medical Data Processing: A Study on Its Applications and Potential Benefits. | Olga Siedlecka-Lamch, Sabina Szymoniak |
| 2023 | KES | Secure Medical Data Storage with Blockchain Technology. | Olga Siedlecka-Lamch |
| 2019 | PDCAT | SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. | Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski |
| 2013 | PPAM | Parallel Bounded Model Checking of Security Protocols. | Miroslaw Kurkowski, Olga Siedlecka-Lamch, Sabina Szymoniak, Henryk Piech |
| 2012 | ICAISC | Interval Probabilities of State Transitions in Probabilistic Automata. | Henryk Piech, Olga Siedlecka-Lamch |
| 2011 | PPAM | Parallel Quantum Algorithm for Finding the Consistency of Saaty's Matrices. | Henryk Piech, Olga Siedlecka-Lamch |