Doctoral Program: LogICS - Logical Methods in Computer Science

Bloem, Roderick (Co-Investigator (CoI))
Braud-Santoni, Nicolas (Co-Investigator (CoI))

Institute of Applied Information Processing and Communications (7050)

Project: Research project

1 Conference paper

1 results

2018

Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J., 2018, EUROCRYPT . Springer, Vol. 10821. p. 321-353 33 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File