Circuit Deobfuscation from Power Side-Channels using Pseudo-Boolean SAT

Kaveh Shamsi, Yier Jin. Circuit Deobfuscation from Power Side-Channels using Pseudo-Boolean SAT. In IEEE/ACM International Conference On Computer Aided Design, ICCAD 2021, Munich, Germany, November 1-4, 2021. pages 1-9, IEEE, 2021. [doi]

@inproceedings{ShamsiJ21-0,
  title = {Circuit Deobfuscation from Power Side-Channels using Pseudo-Boolean SAT},
  author = {Kaveh Shamsi and Yier Jin},
  year = {2021},
  doi = {10.1109/ICCAD51958.2021.9643495},
  url = {https://doi.org/10.1109/ICCAD51958.2021.9643495},
  researchr = {https://researchr.org/publication/ShamsiJ21-0},
  cites = {0},
  citedby = {0},
  pages = {1-9},
  booktitle = {IEEE/ACM International Conference On Computer Aided Design, ICCAD 2021, Munich, Germany, November 1-4, 2021},
  publisher = {IEEE},
  isbn = {978-1-6654-4507-8},
}