Browsing by Author Vieira,B
Showing results 2 to 2 of 2
< previous
Issue Date | Title | Author(s) |
---|---|---|
2013 | Formal verification of side-channel countermeasures using self-composition | José Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Vieira,B |