Travelled to:
1 × France
Collaborated with:
S.Morioka Y.Katayama
Talks about:
algorithm (1) arithmet (1) toward (1) effici (1) verif (1) galoi (1) field (1)
Person: Toshiyuki Yamane
DBLP: Yamane:Toshiyuki
Contributed to:
Wrote 1 papers:
- CAV-2001-MoriokaKY #algorithm #performance #towards #verification
- Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m) (SM, YK, TY), pp. 465–477.