Travelled to:1 × Austria
1 × Germany
Collaborated with:J.Jouannaud M.Ogawa N.Dershowitz X.Shi M.Tsai B.Wang B.Yang
Talks about:confluenc (2) cryptograph (1) arithmet (1) program (1) analysi (1) verifi (1) system (1) rewrit (1) critic (1) layer (1)
Person: Jiaxiang Liu
DBLP: Liu:Jiaxiang
Contributed to:
2015
2014
2019Wrote 3 papers:
- CSL-2015-LiuJO #confluence #term rewriting
- Confluence of Layered Rewrite Systems (JL, JPJ, MO), pp. 423–440.
- RTA-TLCA-2014-LiuDJ #analysis #confluence
- Confluence by Critical Pair Analysis (JL, ND, JPJ), pp. 287–302.
- ASE-2019-LiuSTWY #c #encryption #source code #verification
- Verifying Arithmetic in Cryptographic C Programs (JL, XS, MHT, BYW, BYY), pp. 552–564.