Travelled to:1 × France
Collaborated with:P.Kalla T.Pruss F.Enescu
Talks about:sequenti (1) geometri (1) arithmet (1) circuit (1) algebra (1) formal (1) verif (1) galoi (1) field (1) use (1)
Person: Xiaojun Sun
DBLP: Sun:Xiaojun
Contributed to:
2015Wrote 1 papers:
- DATE-2015-SunKPE #algebra #geometry #using #verification
- Formal verification of sequential Galois field arithmetic circuits using algebraic geometry (XS, PK, TP, FE), pp. 1623–1628.