From Stateful Hardware to Resettable Hardware Using Symmetric Assumptions.

Nico Dttling, Daniel Kraschewski, Jrn Mller-Quade, Tobias Nilges

Browse the full ProvSec paper archive.