Sjouke Mauw

Cited by

	All	Since 2016
Citations	5078	1654
h-index	38	19
i10-index	93	38

400

200

100

300

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202146 52 57 70 72 52 91 85 135 112 126 124 145 155 200 172 228 193 176 210 256 266 265 289 316 336 386 302 19

Co-authors

Cas CremersProfessor of Computer Science, CISPA Helmholtz Center for Information Security, Saarland UniversityVerified email at cispa.de
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Sasa RadomirovicHeriot-Watt UniversityVerified email at hw.ac.uk
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
Gerrit Jan VeltinkProfessor of Media and Computer ScienceVerified email at hs-emden-leer.de
Hugo JonkerOpen UniversiteitVerified email at ou.nl
N. GogaVerified email at rug.nl
Jos BaetenVerified email at cwi.nl
Ravi JhawarPwC LuxembourgVerified email at pwc.com
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgVerified email at uni.lu
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Wil JanssenManaging partner InnoValorVerified email at zoezi.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Olga GadyatskayaAssistant professor at LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Xihui ChenUniversity of LuxembourgVerified email at uni.lu
Jorge Toro-PozoETH ZürichVerified email at inf.ethz.ch

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	531	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	246	2010
An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994	213	1994
Formal test automation: A simple experiment A Belinfante, J Feenstra, RG de Vries, J Tretmans, N Goga, L Feijs, ... Testing of Communicating Systems, 179-196, 1999	176	1999
High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997	159	1997
Attack–defense trees B Kordy, S Mauw, S Radomirović, P Schweitzer Journal of Logic and Computation 24 (1), 55-87, 2014	150	2014
A process specification formalism S Mauw, GJ Veltink Fundamenta Informaticae 13, 85-139, 1990	148	1990
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	138	1997
Security properties C Cremers, S Mauw Operational Semantics and Verification of Security Protocols, 37-65, 2012	129	2012
Design and analysis of dynamic leader election protocols in broadcast networks J Brunekreef, JP Katoen, R Koymans, S Mauw Distributed Computing 9 (4), 157, 1996	113	1996
A formalization of anonymity and onion routing S Mauw, JHS Verschuren, EP de Vink European Symposium on Research in Computer Security, 109-124, 2004	98	2004
Model checking for managers W Janssen, R Mateescu, S Mauw, P Fennema, P Van Der Stappen International SPIN Workshop on Model Checking of Software, 92-107, 1999	98	1999
Algebraic specification of communication protocols S Mauw, GJ Veltink Cambridge university press, 2008	94	2008
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	92	2013
Untraceability of RFID protocols T Van Deursen, S Mauw, S Radomirović IFIP International Workshop on Information Security Theory and Practices, 1-15, 2008	89	2008
Operational semantics of security protocols C Cremers, S Mauw Scenarios: Models, Transformations and Tools, 66-89, 2005	80	2005
The formalization of message sequence charts S Mauw Computer Networks and ISDN Systems 28 (12), 1643-1657, 1996	78	1996
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	77	2008
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	76	2015
Verifying business processes using SPIN W Janssen, R Mateescu, S Mauw, J Springintveld Proceedings of the 4th International SPIN Workshop, 21-36, 1998	69	1998

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

Upload PDF

Follow this author

Cited by

Co-authors