Wojciech Mostowski
Wojciech Mostowski
Dirección de correo verificada de hh.se - Página principal
Título
Citado por
Citado por
Año
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
3582005
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
942008
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
672014
Efficient U-Prove implementation for anonymous credentials on smart cards
W Mostowski, P Vullers
International Conference on Security and Privacy in Communication Systems …, 2011
572011
A Program Logic for Handling Java Card’s Transaction Mechanism
B Beckert, W Mostowski
International Conference on Fundamental Approaches to Software Engineering …, 2003
442003
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
422010
Fingerprinting passports
H Richter, W Mostowski, E Poll
NLUUG spring conference on security 1 (1), 2008
392008
Fully verified Java Card API reference implementation
W Mostowski
Verify 259, 136-151, 2007
372007
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
362002
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
352011
Formalisation and verification of Java Card security properties in dynamic logic
W Mostowski
International Conference on Fundamental Approaches to Software Engineering …, 2005
332005
Model-based testing of electronic passports
WI Mostowski, E Poll, J Schmaltz, J Tretmans, RJM Wichers Schreur
Berlin: Springer Verlag, 2009
312009
Full memory attack on a Java Card
J Hogenboom, W Mostowski
Louvain-la-Neuve, Belgium: Universite Catholique de Louvain, 2009
272009
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
242005
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
212018
Specifying Java Card API in OCL
D Larsson, W Mostowski
Electronic Notes in Theoretical Computer Science 102, 3-19, 2004
202004
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
182014
Rigorous development of JAVA CARD applications
W Mostowski
Towards Development of Safe and Secure JAVA CARD Applets, 13, 2002
182002
Implementation-level verification of algorithms with KeY
D Bruns, W Mostowski, M Ulbrich
International journal on software tools for technology transfer 17 (6), 729-744, 2015
152015
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic
W Mostowski
International Symposium on Formal Methods, 444-459, 2006
152006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20