Wojciech Mostowski
Wojciech Mostowski
Dirección de correo verificada de hh.se - Página principal
Citado por
Citado por
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
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
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
Efficient U-Prove implementation for anonymous credentials on smart cards
W Mostowski, P Vullers
International Conference on Security and Privacy in Communication Systems …, 2011
Fingerprinting passports
H Richter, W Mostowski, E Poll
NLUUG spring conference on security 1 (1), 2008
A Program Logic for Handling Java Card’s Transaction Mechanism
B Beckert, W Mostowski
International Conference on Fundamental Approaches to Software Engineering …, 2003
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
Fully Verified Java Card API Reference Implementation.
W Mostowski
Verify 7, 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
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
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
Model-based testing of electronic passports
WI Mostowski, E Poll, J Schmaltz, J Tretmans, RJM Wichers Schreur
Berlin: Springer Verlag, 2009
Formalisation and verification of Java Card security properties in dynamic logic
W Mostowski
International Conference on Fundamental Approaches to Software Engineering …, 2005
Full memory attack on a Java Card
J Hogenboom, W Mostowski
Louvain-la-Neuve, Belgium: Universite Catholique de Louvain, 2009
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
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
Specifying Java Card API in OCL
D Larsson, W Mostowski
Electronic Notes in Theoretical Computer Science 102, 3-19, 2004
Rigorous development of JAVA CARD applications
W Mostowski
Towards Development of Safe and Secure JAVA CARD Applets, 13, 2002
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20