World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
40
Citations
6444
World Ranking
9333
National Ranking
12

Overview

Sjouke Mauw is affiliated with the University of Luxembourg in Luxembourg and specializes in Computer Science, with a focus on key subfields including Artificial Intelligence, Computer Networks and Communications, Information Systems, Sociology and Political Science, and Signal Processing. Their scholarly output consists of 53 publications in these areas.

The scientist's research emphasizes topics such as Security and Verification in Computing, Advanced Malware Detection Techniques, and Advanced Authentication Protocols Security. Additional areas covered include Internet Traffic Analysis and Secure E-voting, Cryptography and Data Security, Access Control and Trust, and Network Security and Intrusion Detection.

Recent scholarly contributions include the following papers:

  • "Fine-grained Code Coverage Measurement in Automated Black-box Android Testing" (2020), published in Institutional Research Information System (Università degli Studi di Trento)
  • "Cloud removal from satellite imagery using multispectral edge-filtered conditional generative adversarial networks" (2022), published in International Journal of Remote Sensing
  • "Discovering ePassport Vulnerabilities using Bisimilarity" (2021), published in Open Repository and Bibliography (University of Luxembourg)
  • "Anomaly Detection Using Deep Learning Respecting the Resources on Board a CubeSat" (2023), published in Journal of Aerospace Information Systems
  • "A Graphical Proof Theory of Logical Time" (2022), published in Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

They have collaborated frequently with several coauthors, including Ross Horne (14 publications), Reynaldo Gil-Pons (6 publications), Semen Yurkov (5 publications), Rolando Trujillo-Rasúa (4 publications), and Olga Gadyatskaya (3 publications).

Common publication venues for their work include:

  • arXiv (Cornell University) with 9 publications
  • SSRN Electronic Journal with 2 publications
  • Institutional Research Information System (Università degli Studi di Trento) with 1 publication
  • International Journal of Remote Sensing with 1 publication
  • Journal of Aerospace Information Systems with 1 publication

Sjouke Mauw has authored a book titled Security Protocols and Threat Models, to be published by Springer Nature in 2025.

Best Publications

  • Foundations of attack trees

    Sjouke Mauw;Martijn Oostdijk

  • Message Sequence Chart (MSC)

    S. Mauw

  • Foundations of attack-defense trees

    Barbara Kordy;Sjouke Mauw;Saša Radomirović;Patrick Schweitzer

  • Specification-Based Intrusion Detection for Advanced Metering Infrastructures

    Robin Berthier;William H. Sanders

  • An algebraic semantics of basic message sequence charts

    S Sjouke Mauw;MA Michel Reniers

  • Attack-Defense Trees

    Barbara Kordy;Sjouke Mauw;Saša Radomirović;Patrick Schweitzer

  • Formal Test Automation: A Simple Experiment

    Axel Belinfante;Jan Feenstra;René G. de Vries;Jan Tretmans

  • High-level Message Sequence Charts

    Sjouke Mauw;Michel A. Reniers

  • A process specification formalism

    S. Mauw;G. J. Veltink

  • Test Generation for Intelligent Networks Using Model Checking

    André Engels;Loe M. G. Feijs;Loe M. G. Feijs;Sjouke Mauw

  • Operational Semantics and Verification of Security Protocols

    Cas Cremers;Sjouke Mauw

  • ADTool: security analysis with attack---defense trees

    Barbara Kordy;Piotr Kordy;Sjouke Mauw;Patrick Schweitzer

  • Design and analysis of dynamic leader election protocols in broadcast networks

    Jacob Brunekreef;Joost-Pieter Katoen;Ron Koymans;Sjouke Mauw

  • Attack Trees with Sequential Conjunction

    Ravi Jhawar;Barbara Kordy;Sjouke Mauw;Saša Radomirović

  • A formalization of anonymity and onion routing

    S Sjouke Mauw;Jhs Jan Verschuren;de Ep Erik Vink;de Ep Erik Vink

  • Model Checking for Managers

    Wil Janssen;Radu Mateescu;Sjouke Mauw;Peter Fennema

  • Decision and Game Theory for Security

    Tansu Alpcan;Levente Buttyán;John S. Baras

  • Algebraic specification of communication protocols

    S. Mauw;G. J. Veltink

  • Operational semantics of security protocols

    Cas Cremers;Sjouke Mauw

  • Untraceability of RFID protocols

    Ton Van Deursen;Sjouke Mauw;Saša Radomirović

Frequent Co-Authors

Cas Cremers
Cas Cremers University of Oxford
Jan Friso Groote
Jan Friso Groote Eindhoven University of Technology
Jan A. Bergstra
Jan A. Bergstra University of Amsterdam
Joost-Pieter Katoen
Joost-Pieter Katoen RWTH Aachen University
Sem Borst
Sem Borst Eindhoven University of Technology
Julita Vassileva
Julita Vassileva University of Saskatchewan
Max Mühlhäuser
Max Mühlhäuser Technical University of Darmstadt
Nicholas Asher
Nicholas Asher Toulouse Institute of Computer Science Research
Onno Boxma
Onno Boxma Eindhoven University of Technology

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

If you’re passionate about computer science but want flexibility, a range of online degrees and certifications can help you fast-track your education and career. For those eager to enter the workforce quickly, quick certifications that pay well are a smart way to learn in-demand skills and enhance your resume in just a few months.

If you’re aiming for a deeper level of expertise and want to boost your earning potential, you might consider one of the most useful graduate degrees that employers are seeking in the tech industry. For students seeking a faster route, some of the shortest online masters degree programs let you earn your diploma in as little as 12 months—accelerating your career transitions.

For those new to higher education or looking for a more affordable starting point, many associate degree online programs offer a solid foundation in computer science. This flexible learning option can lead to entry-level positions or serve as a stepping stone toward a bachelor’s degree.

Best Scientists Citing Sjouke Mauw

Trending Scientists

Recently Published Articles