`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:

### Wrote 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.