مؤلف: Benjamin Gregoire

Gilles Barthe & Benjamin Gregoire: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices