Contact

All Stories

  1. Navigating the landscape of automated feedback generation techniques for programming exercises

    Article • September 2025, ACM (Association for Computing Machinery)

    Manuel Maarek

  2. Evaluating Serious Slow Game Jams as a Mechanism for Co-Designing Serious Games to Improve Understanding of Cybersecurity

    Article • Games Research and Practice, January 2025, ACM (Association for Computing Machinery)

    Daisy Abbott, Manuel Maarek

  3. Empower New Code Citizens to Reflect and Communicate on Code Security

    Article • IEEE Security & Privacy, January 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Manuel Maarek

  4. Evaluating and validating the Serious Slow Game Jam methodology as a mechanism for co-designing serious games to improve understanding of cybersecurity for different demographics

    Article • Computer Standards & Interfaces, September 2024, Elsevier

    Manuel Maarek

  5. Investigating the Proficiency of Large Language Models in Formative Feedback Generation for Student Programmers

    Article • April 2024, ACM (Association for Computing Machinery)

    Manuel Maarek

  6. Integrating Canvas and GitLab to Enrich Learning Processes

    Article • April 2024, ACM (Association for Computing Machinery)

    Manuel Maarek

  7. Cryptocurrency tracking methods and evaluation

    Article • Forensic Science International Digital Investigation, October 2022, Elsevier

    Manuel Maarek, Tin Tironsakkul

  8. Detection methods for cryptocurrency transactions obscured by the Wasabi mixer service

    Article • June 2022, ACM (Association for Computing Machinery)

    Manuel Maarek, Tin Tironsakkul

  9. Aligning a Serious Game, Secure Programming and CyBOK-Linked Learning Outcomes

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

    Manuel Maarek

  10. Exploring the Modeling of Attack Strategies for STPA

    Article • December 2020, De Gruyter

    Manuel Maarek

  11. Vision: Investigating Web API Developer Experience in Relation to Terms of Service and Privacy Policies

    Article • September 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Manuel Maarek

  12. Peer feedback based on software testing for computer programming coursework

    Article • August 2020, ACM (Association for Computing Machinery)

    Manuel Maarek

  13. Tracking methods for obscured Bitcoins by mixer services

    Article • January 2020, Springer Science + Business Media

    Manuel Maarek, Tin Tironsakkul

  14. How Could Serious Games Support Secure Programming? Designing a Study Replication and Intervention

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

    Manuel Maarek

  15. Co-created Design of a Serious Game Investigation into Developer-Centred Security

    Article • January 2019, Springer Science + Business Media

    Manuel Maarek

  16. Transition from Passive Learner to Critical Evaluator through Peer-Testing of Programming Artefacts

    Article • New Directions in the Teaching of Physical Sciences, November 2017, University of Leicester

    Manuel Maarek

  17. Attack Modeling for System Security Analysis

    Article • January 2017, Springer Science + Business Media

    Manuel Maarek

  18. Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator

    Article • May 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Manuel Maarek

  19. Improving Predictability, Efficiency and Trust of Model-Based Proof Activity

    Article • May 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Manuel Maarek

  20. Experience in using a typed functional language for the development of a security application

    Article • Electronic Proceedings in Theoretical Computer Science, April 2014, Open Publishing Association

    Manuel Maarek

  21. Liability issues in software engineering

    Article • Communications of the ACM, April 2011, ACM (Association for Computing Machinery)

    Manuel Maarek

  22. Liability in software engineering

    Article • May 2010, ACM (Association for Computing Machinery)

    Manuel Maarek

  23. MathLang: Experience-driven Development of a New Mathematical Language

    Article • Electronic Notes in Theoretical Computer Science, February 2004, Elsevier

    Manuel Maarek