All Stories

  1. Security protocol for securing notifications about dangerous events in the agglomeration

    Article • Pervasive and Mobile Computing, December 2024, Elsevier

    Dr. Sabina Szymoniak

  2. Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols

    Article • Applied Sciences, November 2024, MDPI AG

    Dr. Sabina Szymoniak

  3. Review of Monitoring and Control Systems Based on Internet of Things

    Article • Applied Sciences, October 2024, MDPI AG

    Dr. Sabina Szymoniak

  4. AI-Based Enhancing of the Smart City Residents' Safety

    Article • September 2024, International Conference on Information Systems Development

    Dr. Sabina Szymoniak

  5. Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols

    Article • September 2024, MDPI AG

    Dr. Sabina Szymoniak

  6. Open Source Intelligence Opportunities and Challenges: a Review

    Article • Advances in Science and Technology – Research Journal, June 2024, Wydawnictwo Naukowe Gabriel Borowski (WNGB)

    Dr. Sabina Szymoniak

  7. Security of protocols used in Wireless Sensors Networks

    Article • ACM Computing Surveys, January 2024, ACM (Association for Computing Machinery)

    Dr. Sabina Szymoniak

  8. An IoT System for Air Pollution Monitoring with Safe Data Transmission

    Article • Sensors, January 2024, MDPI AG

    Dr. Sabina Szymoniak

  9. Safe data transmission in IoT system for air pollution monitoring

    Article • December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Sabina Szymoniak

  10. Methodology of Testing the Security of Cryptographic Protocols Using the CMMTree Framework

    Article • Applied Sciences, November 2023, MDPI AG

    Dr. Sabina Szymoniak

  11. Trustworthy Artificial Intelligence Methods for Users’ Physical and Environmental Security: A Comprehensive Review

    Article • Applied Sciences, November 2023, MDPI AG

    Dr. Sabina Szymoniak

  12. Air Pollution Monitoring and Information Distribution System

    Article • January 2023, Springer Science + Business Media

    Dr. Sabina Szymoniak

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

    Article • January 2023, Scitepress

    Dr. Sabina Szymoniak

  14. Key Agreement and Authentication Protocols in the Internet of Things: A Survey

    Article • Applied Sciences, December 2022, MDPI AG

    Dr. Sabina Szymoniak

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

    Article • IEEE Access, January 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Sabina Szymoniak

  16. Amelia—A new security protocol for protection against false links

    Article • Computer Communications, November 2021, Elsevier

    Dr. Sabina Szymoniak

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

    Article • Sensors, April 2021, MDPI AG

    Dr. Sabina Szymoniak

  18. Security protocols analysis including various time parameters

    Article • Mathematical Biosciences and Engineering, January 2021, American Institute of Mathematical Sciences (AIMS)

    Dr. Sabina Szymoniak

  19. Time Influence on Security Protocol

    Article • January 2021, Scitepress

    Dr. Sabina Szymoniak

  20. Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories

    Article • Logic Journal of IGPL, November 2020, Oxford University Press (OUP)

    Dr. Sabina Szymoniak

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

    Article • December 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Sabina Szymoniak

  22. A Fast Method for Security Protocols Verification

    Article • January 2019, Springer Science + Business Media

    Dr. Sabina Szymoniak

  23. KaoChow Protocol Timed Analysis

    Article • December 2018, Springer Science + Business Media

    Dr. Sabina Szymoniak

  24. Network’s Delays in Timed Analysis of Security Protocols

    Article • August 2018, Springer Science + Business Media

    Dr. Sabina Szymoniak

  25. On Some Time Aspects in Security Protocols Analysis

    Article • January 2018, Springer Science + Business Media

    Dr. Sabina Szymoniak

  26. The Impact of Time Parameters on the Security Protocols Correctness

    Article • January 2018, Springer Science + Business Media

    Dr. Sabina Szymoniak

  27. SAT-based verification of NSPK protocol including delays in the network

    Article • November 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Sabina Szymoniak

  28. Timed Analysis of Security Protocols

    Article • September 2016, Springer Science + Business Media

    Dr. Sabina Szymoniak

  29. Timed models of security protocols including delays in the network

    Article • Journal of Applied Mathematics and Computational Mechanics, September 2015, Czestochowa University of Technology

    Dr. Sabina Szymoniak

  30. ProToc—An Universal Language for Security Protocols Specifications

    Article • January 2015, Springer Science + Business Media

    Dr. Sabina Szymoniak

  31. Parallel Bounded Model Checking of Security Protocols

    Article • January 2014, Springer Science + Business Media

    Dr. Sabina Szymoniak