An IoT System for Air Pollution Monitoring with Safe Data Transmission
Bobulski, Janusz, Szymoniak, Sabina, Pasternak, Kamila
Published in Sensors (Basel, Switzerland) (01.01.2024)
Published in Sensors (Basel, Switzerland) (01.01.2024)
Get full text
Journal Article
Open Source Intelligence Opportunities and Challenges: a Review
Szymoniak, Sabina, Foks, Kacper
Published in Advances in science & technology, research journal (01.01.2024)
Published in Advances in science & technology, research journal (01.01.2024)
Get full text
Journal Article
Timed models of security protocols including delays in the network
Szymoniak, Sabina, Kurkowski, Mirosław, Piątkowski, Jacek
Published in Journal of Applied Mathematics and Computational Mechanics (01.09.2015)
Published in Journal of Applied Mathematics and Computational Mechanics (01.09.2015)
Get full text
Journal Article
SAT-based verification of NSPK protocol including delays in the network
Szymoniak, Sabina, Siedlecka-Lamch, Olga, Kurkowski, Miroslaw
Published in 2017 IEEE 14th International Scientific Conference on Informatics (01.11.2017)
Published in 2017 IEEE 14th International Scientific Conference on Informatics (01.11.2017)
Get full text
Conference Proceeding
SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols
Zbrzezny, Agnieszka M., Siedlecka-Lamch, Olga, Szymoniak, Sabina, Kurkowski, Miroslaw
Published in 2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) (01.12.2019)
Published in 2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) (01.12.2019)
Get full text
Conference Proceeding