Sjouke Mauw

Cited by

	All	Since 2017
Citations	5571	1832
h-index	38	18
i10-index	103	43

400

200

100

300

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202248 49 62 66 68 56 94 96 137 114 128 121 151 157 198 170 227 193 174 211 256 264 276 284 330 343 385 324 318 131

Public access

View all

22 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
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Olga GadyatskayaAssistant professor at LIACS, Leiden UniversityVerified email at liacs.leidenuniv.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	598	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	303	2010
An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994	219	1994
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	182	1999
Attack–defense trees B Kordy, S Mauw, S Radomirović, P Schweitzer Journal of Logic and Computation 24 (1), 55-87, 2014	174	2014
Operational Semantics and Verification of Security Protocols C Cremers, S Mauw Operational Semantics and Verification of Security Protocols, 2012	173*	2012
A process specification formalism S Mauw, GJ Veltink Fundamenta Informaticae 13 (2), 85-139, 1990	156	1990
High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997	155	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
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	106	1999
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	104	2013
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
Algebraic specification of communication protocols S Mauw, GJ Veltink Cambridge university press, 1993	96	1993
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	93	2015
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	72	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 this author

Cited by

Co-authors