20052020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2020

Exploring the Modeling of Attack Strategies for STPA

Altawairqi, A. & Maarek, M., 2020, Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019. Warsaw, Poland: Sciendo, p. 249-260 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
20 Downloads (Pure)

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

Ichario, A. & Maarek, M., 19 Jun 2020, (Accepted/In press) 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE, 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2019

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

Maarek, M., Louchart, S., McGregor, L. & McMenemy, R., 22 Jan 2019, Games and Learning Alliance: GALA 2018. Söbke, H., Gentile, M. & Allegra, M. (eds.). Springer, p. 221-231 11 p. (Lecture Notes in Computer Science; vol. 11385).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
45 Downloads (Pure)

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

Maarek, M., McGregor, L., Louchart, S. & McMenemy, R., 19 Aug 2019, 2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE, p. 139-148 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
35 Downloads (Pure)

Observing the Uptake of a Language Change Making Strings Immutable

Maarek, M., 2019, 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018). Chasins, S., Sunshine, J. & Barik, T. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 6:1-6:8 8 p. (OpenAccess Series in Informatics (OASIcs); vol. 67).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
14 Downloads (Pure)
Open Access
File
85 Downloads (Pure)
2017

Attack Modeling for System Security Analysis

Altawairqi, A. & Maarek, M., 2017, Computer Safety, Reliability, and Security: SAFECOMP 2017. Goos, G., Hartmanis, J. & van Leeuwen, J. (eds.). Springer, p. 81-86 6 p. (Lecture Notes in Computer Science; vol. 10489).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
211 Downloads (Pure)

Development of a Web Platform for Code Peer-Testing

Maarek, M. & McGregor, L., 23 Oct 2017.

Research output: Contribution to conferencePaper

Open Access
File
42 Downloads (Pure)
Open Access
File
28 Downloads (Pure)
2015

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

Doligez, D., Faure, C., Hardin, T. & Maarek, M., 17 Aug 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE). IEEE, Vol. 2. p. 209-218 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
38 Downloads (Pure)

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

Etienne, J-F., Maarek, M., Anseaume, F. & Delebarre, V., May 2015, IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), 2015. Los Alamitos: IEEE, Vol. 2. p. 139-148 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
62 Downloads (Pure)
2014

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

Doligez, D., Faure, C., Hardin, T. & Maarek, M., 26 Apr 2014, Electronic Proceedings in Theoretical Computer Science.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

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

Le Métayer, D., Maarek, M., Mazza, E., Potet, M., Frénot, S., Tong, V. V. T., Craipeau, N. & Hardouin, R., Apr 2011, In : Communications of the ACM. 54, 4, p. 99

Research output: Contribution to journalArticle

2010

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

Le Métayer, D., Maarek, M., Tong, V. V. T., Mazza, E., Potet, M., Craipeau, N., Frénot, S. & Hardouin, R., 2010, p. 135.

Research output: Contribution to conferenceOther

2007

Narrative Structure of Mathematical Tents

Kamareddine, F. D., Maarek, M., Retel, K. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Vol. 4573. p. 296-312 (Lecture Notes in Computer Science; vol. 4573).

Research output: Chapter in Book/Report/Conference proceedingChapter

Restoring National Language as a computerised Mathematics Input Method

Kamareddine, F. D., Lamar, R., Maarek, M. & Wells, J. B., Jun 2007.

Research output: Contribution to conferencePaper

2005

Toward an Object-Oriented Structure for Mathematical Tent

Kamareddine, F. D. & Maarek, M., Jul 2005.

Research output: Contribution to conferencePaper