[Pay Per View]  confirm


Vol/No/Title/Authors number Price(including tax)
Vol.E100-A No.7
Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors
Rei UENO, Naofumi HOMMA, Takafumi AOKI, Sumio MORIOKA,
1 ¥3240
Total: ¥3,240