Sjouke Mauw

Cited by

	All	Since 2016
Citations	5370	1942
h-index	38	20
i10-index	95	41

400

200

100

300

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202151 49 60 68 73 53 90 88 135 113 132 121 147 153 200 166 227 187 177 209 256 267 270 287 325 339 389 340 255

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sasa RadomirovicHeriot-Watt UniversityVerified email at hw.ac.uk
Cas CremersProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
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
Jos BaetenVerified email at cwi.nl
N. GogaVerified email at rug.nl
Ravi JhawarPwC LuxembourgVerified email at pwc.com
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
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Olga GadyatskayaAssistant professor at LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
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
Ross HorneUniversity of LuxembourgVerified email at uni.lu
Xihui ChenUniversity of LuxembourgVerified email at uni.lu

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	571	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	283	2010
An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994	216	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	178	1999
Attack–defense trees B Kordy, S Mauw, S Radomirović, P Schweitzer Journal of Logic and Computation 24 (1), 55-87, 2014	161	2014
Security properties C Cremers, S Mauw Operational Semantics and Verification of Security Protocols, 37-65, 2012	158	2012
High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997	158	1997
A process specification formalism S Mauw, GJ Veltink Fundamenta Informaticae 13 (2), 85-139, 1990	154	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
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	115	1996
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	104	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
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	101	2013
Algebraic specification of communication protocols S Mauw, GJ Veltink Cambridge university press, 1993	97	1993
Untraceability of RFID protocols T Van Deursen, S Mauw, S Radomirović IFIP International Workshop on Information Security Theory and Practices, 1-15, 2008	90	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	85	2015
Operational semantics of security protocols C Cremers, S Mauw Scenarios: Models, Transformations and Tools, 66-89, 2005	81	2005
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	79	2008
The formalization of message sequence charts S Mauw Computer Networks and ISDN Systems 28 (12), 1643-1657, 1996	77	1996
Injective synchronisation: an extension of the authentication hierarchy CJF Cremers, S Mauw, EP de Vink Theoretical Computer Science 367 (1-2), 139-161, 2006	71	2006

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