автор: Jean-Luis Lanet

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