Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking.

Hendrik Post, Carsten Sinz

Browse the full ICST paper archive.