Manuel Maarek

According to our database, Manuel Maarek authored at least 23 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Communicating on Security within Software Development Issue Tracking.

Léon McGregor, Manuel Maarek, Hans-Wolfgang Loidl

CoRR, 2023

Introducing and Interfacing with Cybersecurity - A Cards Approach.

Ryan Shah, Manuel Maarek, Shenando Stals, Lynne Baillie, Sheung Chi Chan, Robert J. Stewart, Hans-Wolfgang Loidl, Olga Chatzifoti

CoRR, 2023

2022

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

Léon McGregor, Sheung Chi Chan, Szymon Wlodarczyk, Manuel Maarek

Proceedings of the IEEE European Symposium on Security and Privacy, 2022

The Unique Dressing of Transactions: Wasabi CoinJoin Transaction Detection.

Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just

Proceedings of the EICC 2022: European Interdisciplinary Cybersecurity Conference, Barcelona, Spain, June 15, 2022

2020

Development of a Web Platform for Code Peer-Testing.

Manuel Maarek, Léon McGregor

CoRR, 2020

Software Testing as Medium for Peer Feedback.

Léon McGregor, Manuel Maarek

Proceedings of the United Kingdom & Ireland Computing Education Research Conference, 2020

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

Aidah Ichario, Manuel Maarek

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

Tracking Mixed Bitcoins.

Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2020

2019

Probing the Mystery of Cryptocurrency Theft: An Investigation into Methods for Cryptocurrency Tainting Analysis.

Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just

CoRR, 2019

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

Manuel Maarek, Léon McGregor, Sandy Louchart, Ross McMenemy

Proceedings of the 2019 IEEE European Symposium on Security and Privacy Workshops, 2019

2018

Observing the Uptake of a Language Change Making Strings Immutable.

Manuel Maarek

Proceedings of the 9th Workshop on Evaluation and Usability of Programming Languages and Tools, 2018

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

Manuel Maarek, Sandy Louchart, Léon McGregor, Ross McMenemy

Proceedings of the Games and Learning Alliance - 7th International Conference, 2018

2017

Attack Modeling for System Security Analysis - (Position Paper).

Abdullah Altawairqi, Manuel Maarek

Proceedings of the Computer Safety, Reliability, and Security, 2017

2015

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

Jean-Frédéric Étienne, Manuel Maarek, Florent Anseaume, Véronique Delebarre

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

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

Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

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

Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek

Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014

2011

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties.

Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin

Commun. ACM, 2011

2010

Liability in software engineering: overview of the LISE approach and illustration on a case study.

Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2007

Narrative Structure of Mathematical Texts.

Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Restoring Natural Language as a Computerised Mathematics Input Method.

Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2005

Toward an Object-Oriented Structure for Mathematical Text.

Fairouz Kamareddine, Manuel Maarek, J. B. Wells

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004

Flexible Encoding of Mathematics on the Computer.

Fairouz Kamareddine, Manuel Maarek, J. B. Wells

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

2003

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

Fairouz Kamareddine, Manuel Maarek, J. B. Wells

Proceedings of the Mathematical Knowledge Management Symposium, 2003