@article{Ma:2018m6,
  author = "Ma, Chao  and  He, Anping  and  Jia, Tingting  and  Li, Lian  and  Feng, Zhihua",
  title = "{Security Path Checking of A Circuit with Behavior Description}",
  doi = "10.22323/1.300.0046",
  journal = "PoS",
  year = 2018,
  volume = "ISCC 2017",
  pages = "046"
}