Doctoral Program: LogICS - Logical Methods in Computer Science

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

Project: Research project

Project Details


Doctoral Programs DKs form centres of education for highly qualified young scientists/scholars from the Austrian and international scientific community. The programme should support centres of excellence at Austrian research institutions and help ensure the continuity and impact of such centres.
Effective start/end date1/03/1428/02/18

Research Output

  • 1 Conference contribution

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 proceedingConference contribution

Open Access