@dblp

Formal Vulnerability Analysis of Security Components.

, , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 34 (8): 1358-1369 (2015)

Links and resources

Tags