Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Theory and applications of cryptographic techniques (International conference)

Authors: Bloem, Roderick, Gross, Hannes, Iusupov, Rinat, Könighofer, Bettina, Mangard, Stefan, Winter, Johannes

Source: Lecture notes in computer science. 10821(2):321-353

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN603507317&indx=1&recIds=ETOCCN603507317