Attack on a Scheme for Obfuscating and Outsourcing SAT Computations to the Cloud

Khazam Alhamdan, Tassos Dimitriou, Imtiaz Ahmad. Attack on a Scheme for Obfuscating and Outsourcing SAT Computations to the Cloud. In Mohammad S. Obaidat, Pierangela Samarati, editors, Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, ICETE 2019 - Volume 2: SECRYPT, Prague, Czech Republic, July 26-28, 2019. pages 356-362, SciTePress, 2019. [doi]

@inproceedings{AlhamdanDA19,
  title = {Attack on a Scheme for Obfuscating and Outsourcing SAT Computations to the Cloud},
  author = {Khazam Alhamdan and Tassos Dimitriou and Imtiaz Ahmad},
  year = {2019},
  doi = {10.5220/0007829503560362},
  url = {https://doi.org/10.5220/0007829503560362},
  researchr = {https://researchr.org/publication/AlhamdanDA19},
  cites = {0},
  citedby = {0},
  pages = {356-362},
  booktitle = {Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, ICETE 2019 - Volume 2: SECRYPT, Prague, Czech Republic, July 26-28, 2019},
  editor = {Mohammad S. Obaidat and Pierangela Samarati},
  publisher = {SciTePress},
  isbn = {978-989-758-378-0},
}