Fingerprint
Dive into the research topics of 'A hierarchical formal approach to verifying side-channel resistant cryptographic processors'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A hierarchical formal approach to verifying side-channel resistant cryptographic processors
Kotaro Okamoto, Naofumi Homma, Takafumi Aoki, Sumio Morioka
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2
Citations
(Scopus)