Automatic generation of formally-proven tamper-resistant Galois-field multipliers based on generalized masking scheme - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rei Ueno, Naofumi Homma, Sumio Morioka, Takafumi Aoki. Automatic generation of formally-proven tamper-resistant Galois-field multipliers based on generalized masking scheme. In David Atienza, Giorgio Di Natale, editors, Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017. pages 978-983, IEEE, 2017. [doi]

This author has not been identified. Look up 'Rei Ueno' in GoogleThis author has not been identified. Look up 'Naofumi Homma' in GoogleThis author has not been identified. Look up 'Sumio Morioka' in GoogleThis author has not been identified. Look up 'Takafumi Aoki' in Google

runs on WebDSL