2 citations · 3 across the 3 of their papers we have counts for
3 papers
Developers Struggle with Authentication in Blazor WebAssembly
Pascal Marc André, Quentin Stiévenart, Mohammad Ghafari
WebAssembly is a growing technology to build cross-platform applications. We aim to understand the security issues that developers encounter when adopting WebAssembly. We mined Web…
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin
Pascal André, Christian Attiogbé, Arnaud Lanoix
This paper presents a solution to the landing gear system case study using Event-B and Rodin. We study the whole system (both the digital part and the controlled part). We use feat…
Multilevel Contracts for Trusted Components
Mohamed Messabihi, Pascal André, Christian Attiogbé
This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as…