S. F. Finocchiaro

Secure embedded architectures: Taint properties verification

G. Cabodi, P. Camurati, S. F. Finocchiaro, 2016, 2016 International Conference on Development and Application Systems (DAS).