Vol-3175⫷ Vol-3176 ⫸Vol-3177
urn:nbn:de:0074-3176-0


Vol-3176/paper2⫷Vol-3176/paper3⫸Vol-3176/paper4
Abir BitatSalah Merniz

Formal design and verification of cryptographic circuits: Application to symmetric block ciphers