20052020

Research output per year

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

Research Output

Filter
Conference contribution
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)
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)
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