Sjouke Mauw

Cited by

	All	Since 2018
Citations	5843	1817
h-index	39	20
i10-index	101	34

400

200

100

300

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202339 59 58 64 67 55 94 95 142 109 132 111 158 153 192 178 229 191 173 203 264 250 282 283 305 360 389 330 345 317 75

Public access

View all

21 articles

1 article

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úaRamon i Cajal ResearcherVerified email at urv.cat
L.M.G. (Loe) FeijsProfessor emeritus 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
Ross HorneUniversity of LuxembourgVerified email at uni.lu
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
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
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 Information Security and Cryptology-ICISC 2005: 8th International Conference …, 2006	642	2006
Foundations of attack–defense trees B Kordy, S Mauw, S Radomirović, P Schweitzer Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010 …, 2011	330	2011
An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994	218	1994
Attack–defense trees B Kordy, S Mauw, S Radomirović, P Schweitzer Journal of Logic and Computation 24 (1), 55-87, 2014	192	2014
Operational Semantics and Verification of Security Protocols C Cremers, S Mauw Operational Semantics and Verification of Security Protocols, 2012	189*	2012
Formal test automation: A simple experiment A Belinfante, J Feenstra, RG de Vries, J Tretmans, N Goga, L Feijs, ... Testing of Communicating Systems: Methods and Applications, 179-196, 1999	187	1999
A process specification formalism S Mauw, GJ Veltink Fundamenta Informaticae 13 (2), 85-139, 1990	163	1990
High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997	158	1997
Test generation for intelligent networks using model checking A Engels¹, L Feijs¹, S Mauw¹ Tools and Algorithms for the Construction and Analysis of Systems: Third …, 1997	141	1997
Design and analysis of dynamic leader election protocols in broadcast networks JJ Brunekreef, JP Katoen, R Koymans, S Mauw Distributed Computing 9 (4), 157-171, 1996	118	1996
ADTool: security analysis with attack–defense trees B Kordy, P Kordy, S Mauw, P Schweitzer Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013	115	2013
Model checking for managers W Janssen, R Mateescu, S Mauw, P Fennema, P Van Der Stappen Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th …, 1999	108	1999
Attack trees with sequential conjunction R Jhawar, B Kordy, S Mauw, S Radomirović, R Trujillo-Rasua ICT Systems Security and Privacy Protection: 30th IFIP TC 11 International …, 2015	105	2015
A formalization of anonymity and onion routing S Mauw, JHS Verschuren, EP de Vink ESORICS 4, 109-124, 2004	104	2004
Algebraic specification of communication protocols S Mauw, GJ Veltink Cambridge university press, 1993	95	1993
Untraceability of RFID protocols T Van Deursen, S Mauw, S Radomirović Information Security Theory and Practices. Smart Devices, Convergence and …, 2008	92	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	84	2008
Operational semantics of security protocols C Cremers, S Mauw Scenarios: Models, Transformations and Tools: International Workshop …, 2005	82	2005
The formalization of message sequence charts S Mauw Computer Networks and ISDN Systems 28 (12), 1643-1657, 1996	78	1996
Privacy and verifiability in voting systems: Methods, developments and trends H Jonker, S Mauw, J Pang Computer Science Review 10, 1-30, 2013	77	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