Manuel Maarek

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 18

Top Topics

Learning Processes

Functional Language

Top Venues

EuroS&P Workshops

Publications

Laura Schauer, Robert J. Stewart, Manuel Maarek
Integrating Canvas and GitLab to Enrich Learning Processes. SEET@ICSE (2024)
Ryan Shah, Manuel Maarek, Shenando Stals, Lynne Baillie, Sheung Chi Chan, Robert J. Stewart, Hans-Wolfgang Loidl, Olga Chatzifoti
Introducing and Interfacing with Cybersecurity - A Cards Approach. CoRR (2023)
Léon McGregor, Manuel Maarek, Hans-Wolfgang Loidl
Communicating on Security within Software Development Issue Tracking. CoRR (2023)
Léon McGregor, Sheung Chi Chan, Szymon Wlodarczyk, Manuel Maarek
Aligning a Serious Game, Secure Programming and CyBOK-Linked Learning Outcomes. EuroS&P Workshops (2022)
Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just
The Unique Dressing of Transactions: Wasabi CoinJoin Transaction Detection. EICC (2022)
Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just
Context matters: Methods for Bitcoin tracking. Digit. Investig. (2022)
Manuel Maarek, Léon McGregor
Development of a Web Platform for Code Peer-Testing. CoRR (2020)
Aidah Ichario, Manuel Maarek
Vision: Investigating Web API Developer Experience in Relation to Terms of Service and Privacy Policies. EuroS&P Workshops (2020)
Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just
Tracking Mixed Bitcoins. DPM/CBT@ESORICS (2020)
Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just
Tracking Mixed Bitcoins. CoRR (2020)
Léon McGregor, Manuel Maarek
Software Testing as Medium for Peer Feedback. UKICER (2020)
Manuel Maarek, Léon McGregor, Sandy Louchart, Ross McMenemy
How Could Serious Games Support Secure Programming? Designing a Study Replication and Intervention. EuroS&P Workshops (2019)
Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just
Probing the Mystery of Cryptocurrency Theft: An Investigation into Methods for Cryptocurrency Tainting Analysis. CoRR (2019)
Manuel Maarek
Observing the Uptake of a Language Change Making Strings Immutable. PLATEAU@SPLASH (2018)
Manuel Maarek, Sandy Louchart, Léon McGregor, Ross McMenemy
Co-created Design of a Serious Game Investigation into Developer-Centred Security. GALA (2018)
Abdullah Altawairqi, Manuel Maarek
Attack Modeling for System Security Analysis - (Position Paper). SAFECOMP Workshops (2017)
Jean-Frédéric Étienne, Manuel Maarek, Florent Anseaume, Véronique Delebarre
Improving Predictability, Efficiency and Trust of Model-Based Proof Activity. ICSE (2) (2015)
Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator. ICSE (2) (2015)
Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
Experience in using a typed functional language for the development of a security application. F-IDE (2014)
Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Commun. ACM 54 (4) (2011)
Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin
Liability in software engineering: overview of the LISE approach and illustration on a case study. ICSE (1) (2010)
Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
Narrative Structure of Mathematical Texts. Calculemus/MKM (2007)
Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells
Restoring Natural Language as a Computerised Mathematics Input Method. Calculemus/MKM (2007)
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
Toward an Object-Oriented Structure for Mathematical Text. MKM (2005)
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
MathLang: Experience-driven Development of a New Mathematical Language. Electron. Notes Theor. Comput. Sci. 93 (2004)
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
Flexible Encoding of Mathematics on the Computer. MKM (2004)