Wojciech Mostowski

Cited by

	All	Since 2017
Citations	1385	360
h-index	18	11
i10-index	31	14

140

105

2002200320042005200620072008200920102011201220132014201520162017201820192020202120228 13 32 77 90 76 41 38 53 62 98 84 92 129 96 80 69 70 49 60 28

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Erik PollRadboud University NijmegenVerified email at cs.ru.nl
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Richard BubelDepartment of Computer Science, TU DarmstadtVerified email at cs.tu-darmstadt.de
Marieke HuismanVerified email at ewi.utwente.nl
Andreas RothSAP SEVerified email at sap.com
dr. ir. Pim VullersNXP SemiconductorsVerified email at vullersmail.nl
Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Verified email at sap.com
Rosemary MonahanNational Univeristy of IrelandVerified email at mu.ie
Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Jean-Christophe FilliâtreCNRSVerified email at lri.fr
Lejla Batina,Professor, applied cryptography and embedded systems security, Radboud University, The NetherlandsVerified email at cs.ru.nl
Stefan BlomUniversity of TwenteVerified email at utwente.nl
Radu GrigoreFacebookVerified email at fb.com
Marc BrockschmidtResearch Scientist, Google ResearchVerified email at google.com
Jaap-Henk HoepmanAssociate Professor of Computer Science, Radboud University Nijmegen and Associate Professor, IT LawVerified email at cs.ru.nl
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Julien SchmaltzCGIVerified email at cgi.com
Ronny Wichers SchreurProgrammer, Radboud University NijmegenVerified email at cs.ru.nl

Wojciech Mostowski

Halmstad University

Verified email at hh.se - Homepage

formal verification smart cards embedded systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The key tool W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ... Software and Systems Modeling 4 (1), 32-54, 2005	386	2005
Malicious code on Java Card smartcards: Attacks and countermeasures W Mostowski, E Poll International Conference on Smart Card Research and Advanced Applications, 1-16, 2008	107	2008
The KeY platform for verification and analysis of Java programs W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ... Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 2014	79	2014
Efficient U-Prove implementation for anonymous credentials on smart cards W Mostowski, P Vullers International Conference on Security and Privacy in Communication Systems …, 2011	71	2011
Fingerprinting passports H Richter, W Mostowski, E Poll NLUUG spring conference on security 1 (1), 2008	48	2008
Developing efficient blinded attribute certificates on smart cards via pairings L Batina, JH Hoepman, B Jacobs, W Mostowski, P Vullers International Conference on Smart Card Research and Advanced Applications …, 2010	47	2010
A Program Logic for Handling Java Card’s Transaction Mechanism B Beckert, W Mostowski International Conference on Fundamental Approaches to Software Engineering …, 2003	47	2003
Model learning and model-based testing BK Aichernig, W Mostowski, MR Mousavi, M Tappler, M Taromirad Machine Learning for Dynamic Software Analysis: Potentials and Limits, 74-100, 2018	43	2018
Fully Verified Java Card API Reference Implementation. W Mostowski Verify 7, 2007	43	2007
The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... International Conference on Formal Verification of Object-Oriented Software …, 2011	40	2011
The K£ X System: Integrating Object-Oriented Design and Formal Methods W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hahnle, ... Fundamental Approaches to Software Engineering: 5th International Conference …, 2002	39	2002
Formalisation and verification of Java Card security properties in dynamic logic W Mostowski International Conference on Fundamental Approaches to Software Engineering …, 2005	36	2005
Model-based testing of electronic passports WI Mostowski, E Poll, J Schmaltz, J Tretmans, RJM Wichers Schreur Berlin: Springer Verlag, 2009	35	2009
Full memory attack on a Java Card J Hogenboom, W Mostowski Louvain-la-Neuve, Belgium: Universite Catholique de Louvain, 2009	30	2009
Verification of concurrent systems with VerCors A Amighi, S Blom, S Darabi, M Huisman, W Mostowski, ... International School on Formal Methods for the Design of Computer …, 2014	27	2014
Verification of safety properties in the presence of transactions R Hähnle, W Mostowski Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005	26	2005
Specifying Java Card API in OCL D Larsson, W Mostowski Electronic Notes in Theoretical Computer Science 102, 3-19, 2004	23	2004
A symbolic approach to permission accounting for concurrent reasoning M Huisman, W Mostowski 2015 14th International Symposium on Parallel and Distributed Computing, 165-174, 2015	18	2015
Rigorous development of JAVA CARD applications W Mostowski Towards Development of Safe and Secure JAVA CARD Applets, 13, 2002	18	2002
Real-time Java API specifications for high coverage test generation W Ahrendt, W Mostowski, G Paganelli Proceedings of the 10th International Workshop on Java Technologies for Real …, 2012	17	2012

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