Sjouke Mauw

Cited by

	All	Since 2017
Citations	5662	1917
h-index	38	19
i10-index	103	42

400

200

100

300

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202248 49 62 66 72 52 94 96 137 114 129 121 150 157 199 170 227 194 175 211 255 263 275 285 329 345 384 322 323 211

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Cas CremersProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Sasa RadomirovicUniversity of SurreyVerified email at surrey.ac.uk
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Jun PangUniversity of LuxembourgVerified email at uni.lu
Rolando Trujillo RasúaSenior Lecturer at Deakin UniversityVerified email at deakin.edu.au
L.M.G. (Loe) FeijsProfessor of Industrial Design TU EindhovenVerified email at tue.nl
Hugo JonkerOpen UniversiteitVerified email at ou.nl
Gerrit Jan VeltinkProfessor of Media and Computer ScienceVerified email at hs-emden-leer.de
N. GogaVerified email at rug.nl
Ravi JhawarPwC LuxembourgVerified email at pwc.com
Jos BaetenVerified email at cwi.nl
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgVerified email at uni.lu
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Ross HorneUniversity of LuxembourgVerified email at uni.lu
Olga GadyatskayaAssistant professor at LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Xihui ChenUniversity of LuxembourgVerified email at uni.lu
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Wil JanssenManaging partner InnoValorVerified email at zoezi.nl
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl

Sjouke Mauw

Professor in Security and Trust of Software Systems, University of Luxembourg

Verified email at uni.lu - Homepage

security trust formal methods computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Foundations of attack trees S Mauw, M Oostdijk International Conference on Information Security and Cryptology, 186-198, 2005	615	2005
Foundations of attack–defense trees B Kordy, S Mauw, S Radomirović, P Schweitzer International Workshop on Formal Aspects in Security and Trust, 80-95, 2010	313	2010
An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994	219	1994
Operational Semantics and Verification of Security Protocols C Cremers, S Mauw Operational Semantics and Verification of Security Protocols, 2012	183*	2012
Formal test automation: A simple experiment A Belinfante, J Feenstra, RG Vries, J Tretmans, N Goga, L Feijs, S Mauw, ... Testing of Communicating Systems, 179-196, 1999	183	1999
Attack–defense trees B Kordy, S Mauw, S Radomirović, P Schweitzer Journal of Logic and Computation 24 (1), 55-87, 2014	179	2014
A process specification formalism S Mauw, GJ Veltink Fundamenta Informaticae 13 (2), 85-139, 1990	158	1990
High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997	156	1997
Test generation for intelligent networks using model checking A Engels, L Feijs, S Mauw International Workshop on Tools and Algorithms for the Construction and …, 1997	141	1997
Design and analysis of dynamic leader election protocols in broadcast networks J Brunekreef, JP Katoen, R Koymans, S Mauw Distributed Computing 9 (4), 157-171, 1996	117	1996
ADTool: security analysis with attack–defense trees B Kordy, P Kordy, S Mauw, P Schweitzer International conference on quantitative evaluation of systems, 173-176, 2013	105	2013
Model checking for managers W Janssen, R Mateescu, S Mauw, P Fennema, P Stappen International SPIN Workshop on Model Checking of Software, 92-107, 1999	105	1999
A formalization of anonymity and onion routing S Mauw, JHS Verschuren, EP de Vink European Symposium on Research in Computer Security, 109-124, 2004	102	2004
Attack trees with sequential conjunction R Jhawar, B Kordy, S Mauw, S Radomirović, R Trujillo-Rasua IFIP International Information Security and Privacy Conference, 339-353, 2015	97	2015
Algebraic specification of communication protocols S Mauw, GJ Veltink Cambridge university press, 1993	96	1993
Untraceability of RFID protocols T Deursen, S Mauw, S Radomirović IFIP International Workshop on Information Security Theory and Practices, 1-15, 2008	93	2008
A framework for compositional verification of security protocols S Andova, C Cremers, K Gjøsteen, S Mauw, SF Mjølsnes, S Radomirović Information and Computation 206 (2-4), 425-459, 2008	83	2008
Operational semantics of security protocols C Cremers, S Mauw Scenarios: Models, Transformations and Tools, 66-89, 2005	82	2005
The formalization of message sequence charts S Mauw Computer Networks and ISDN Systems 28 (12), 1643-1657, 1996	76	1996
Privacy and verifiability in voting systems: Methods, developments and trends H Jonker, S Mauw, J Pang Computer Science Review 10, 1-30, 2013	74	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors