Sjouke Mauw

Citado por

	Todos	Desde 2018
Citações	6177	2108
Índice h	40	22
Índice i10	108	42

420

210

105

315

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202340 55 61 64 67 56 96 94 149 113 139 123 154 160 194 188 224 191 173 203 265 253 277 281 305 360 406 329 343 326 342

Acesso público

Ver tudo

22 artigos

1 artigo

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Sasa RadomirovicUniversity of SurreyEmail confirmado em surrey.ac.uk
Cas CremersCISPA Helmholtz Center for Information SecurityEmail confirmado em cispa.de
Rolando Trujillo RasúaRamon i Cajal ResearcherEmail confirmado em urv.cat
Jun PangUniversity of LuxembourgEmail confirmado em uni.lu
Michel Reniersassociate professor, Mechanical Engineering, TU/eEmail confirmado em tue.nl
L.M.G. (Loe) FeijsProfessor emeritus of Industrial Design TU EindhovenEmail confirmado em tue.nl
Hugo JonkerOpen UniversiteitEmail confirmado em ou.nl
Ross HorneUniversity of StrathclydeEmail confirmado em strath.ac.uk
Gerrit Jan VeltinkProfessor of Media and Computer ScienceEmail confirmado em hs-emden-leer.de
Ravi JhawarPwC LuxembourgEmail confirmado em pwc.com
Jos BaetenEmail confirmado em cwi.nl
N. GogaEmail confirmado em rug.nl
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgEmail confirmado em uni.lu
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyEmail confirmado em win.tue.nl
Olga GadyatskayaAssociate professor at LIACS, Leiden UniversityEmail confirmado em liacs.leidenuniv.nl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyEmail confirmado em tue.nl
Xihui ChenUniversity of LuxembourgEmail confirmado em uni.lu
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyEmail confirmado em tue.nl
Yunior Ramírez-CruzLead Data Scientist, FinquestEmail confirmado em finquest.com
Jorge Toro-PozoETH ZurichEmail confirmado em inf.ethz.ch

Seguir

Sjouke Mauw

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

Email confirmado em uni.lu - Página inicial

security trust formal methods computer science


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Foundations of attack trees S Mauw, M Oostdijk Information Security and Cryptology-ICISC 2005: 8th International Conference …, 2006	669	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	349	2011
An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994	219	1994
Attack–defense trees B Kordy, S Mauw, S Radomirović, P Schweitzer Journal of Logic and Computation 24 (1), 55-87, 2014	208	2014
Operational Semantics and Verification of Security Protocols C Cremers, S Mauw Operational Semantics and Verification of Security Protocols, 2012	198*	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	196	1999
A process specification formalism S Mauw, GJ Veltink Fundamenta Informaticae 13 (2), 85-139, 1990	162	1990
High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997	160	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	144	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	127	2013
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
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	119	2015
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	107	1999
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	106	2004
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ć Information Security Theory and Practices. Smart Devices, Convergence and …, 2008	95	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	87	2008
Operational semantics of security protocols C Cremers, S Mauw Scenarios: Models, Transformations and Tools: International Workshop …, 2005	85	2005
Privacy and verifiability in voting systems: Methods, developments and trends H Jonker, S Mauw, J Pang Computer Science Review 10, 1-30, 2013	80	2013
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	79	2015

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores