Sjouke Mauw

Cited by

	All	Since 2016
Citations	5240	1802
h-index	38	19
i10-index	95	40

400

200

100

300

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202147 52 59 70 72 52 92 86 135 112 128 125 145 154 200 174 229 191 176 211 259 267 267 288 322 341 383 327 136

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Cas CremersProfessor of Computer Science, CISPA Helmholtz Center for Information Security, SICVerified 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
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
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
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
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 ZurichVerified 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	548	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	265	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	177	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	154	2014
A process specification formalism S Mauw, GJ Veltink Fundamenta Informaticae 13, 85-139, 1990	151	1990
Security properties C Cremers, S Mauw Operational Semantics and Verification of Security Protocols, 37-65, 2012	142	2012
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	139	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, 1996	114	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	101	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	100	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	98	2013
Algebraic specification of communication protocols S Mauw, GJ Veltink Cambridge university press, 2008	96	2008
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	82	2005
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	79	2015
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	78	2008
The formalization of message sequence charts S Mauw Computer Networks and ISDN Systems 28 (12), 1643-1657, 1996	78	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

Upload PDF

Follow this author

Cited by

Co-authors