Sjouke Mauw

Citée par

	Toutes	Depuis 2019
Citations	6551	2048
indice h	41	22
indice i10	110	43

420

210

105

315

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202448 52 65 68 75 53 100 95 146 115 146 127 161 161 201 189 226 191 171 209 262 256 287 279 308 357 403 325 344 316 389 266

Accès public

Tout afficher

27 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Sasa RadomirovicUniversity of SurreyAdresse e-mail validée de surrey.ac.uk
Rolando Trujillo RasúaRamon i Cajal ResearcherAdresse e-mail validée de urv.cat
Cas CremersCISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.de
M.A. ReniersTU/eAdresse e-mail validée de tue.nl
Jun PangUniversity of LuxembourgAdresse e-mail validée de uni.lu
L.M.G. (Loe) FeijsProfessor emeritus of Industrial Design TU EindhovenAdresse e-mail validée de tue.nl
Hugo JonkerOpen UniversiteitAdresse e-mail validée de ou.nl
Ross HorneUniversity of StrathclydeAdresse e-mail validée de strath.ac.uk
Gerrit Jan VeltinkProfessor of Media and Computer ScienceAdresse e-mail validée de hs-emden-leer.de
Ravi JhawarPwC LuxembourgAdresse e-mail validée de pwc.com
Jos BaetenAdresse e-mail validée de cwi.nl
N. GogaAdresse e-mail validée de rug.nl
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgAdresse e-mail validée de uni.lu
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyAdresse e-mail validée de win.tue.nl
Olga GadyatskayaAssociate professor at LIACS, Leiden UniversityAdresse e-mail validée de liacs.leidenuniv.nl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyAdresse e-mail validée de tue.nl
Xihui ChenUniversity of LuxembourgAdresse e-mail validée de uni.lu
Yunior Ramírez-CruzLead Data Scientist, FinquestAdresse e-mail validée de finquest.com
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyAdresse e-mail validée de tue.nl
Jorge Toro-PozoETH ZurichAdresse e-mail validée de inf.ethz.ch

Suivre

Sjouke Mauw

Professor in Security and Trust of Software Systems, University of Luxembourg

Adresse e-mail validée de uni.lu - Page d'accueil

security trust formal methods computer science


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Foundations of attack trees S Mauw, M Oostdijk Information Security and Cryptology-ICISC 2005: 8th International Conference …, 2006	724	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	378	2011
Attack–defense trees B Kordy, S Mauw, S Radomirović, P Schweitzer Journal of Logic and Computation 24 (1), 55-87, 2014	225	2014
An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994	223	1994
Operational Semantics and Verification of Security Protocols C Cremers, S Mauw Operational Semantics and Verification of Security Protocols, 2012	215*	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	200	1999
High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997	169	1997
A process specification formalism S Mauw, GJ Veltink Fundamenta Informaticae 13 (2), 85-139, 1990	151	1990
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	149	1997
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	137	2013
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	128	2015
Design and analysis of dynamic leader election protocols in broadcast networks J Brunekreef, JP Katoen, R Koymans, S Mauw Distributed Computing 9, 157-171, 1996	121	1996
A formalization of anonymity and onion routing S Mauw, JHS Verschuren, EP de Vink Computer Security–ESORICS 2004: 9th European Symposium on Research in …, 2004	110	2004
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	103	1999
Algebraic specification of communication protocols S Mauw, GJ Veltink Cambridge university press, 1993	98	1993
Untraceability of RFID protocols T Van Deursen, S Mauw, S Radomirović Information Security Theory and Practices. Smart Devices, Convergence and …, 2008	95	2008
Operational semantics of security protocols C Cremers, S Mauw Scenarios: Models, Transformations and Tools: International Workshop …, 2005	89	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	88	2008
FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting CF Torres, H Jonker, S Mauw Computer Security--ESORICS 2015: 20th European Symposium on Research in …, 2015	86	2015
Privacy and verifiability in voting systems: Methods, developments and trends H Jonker, S Mauw, J Pang Computer Science Review 10, 1-30, 2013	85	2013

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs