مؤلف: Lilian Burdy

Gilles Barthe & Lilian Burdy: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices