@inproceedings{DBLP:conf/cpp/BlazyH19,
  author    = {Sandrine Blazy and
               R{\'{e}}mi Hutin},
  title     = {Formal verification of a program obfuscation based on mixed Boolean-arithmetic
               expressions},
  booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
               Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
               14-15, 2019},
  pages     = {196--208},
  year      = {2019},
  crossref  = {DBLP:conf/cpp/2019},
  url       = {https://doi.org/10.1145/3293880.3294103},
  doi       = {10.1145/3293880.3294103},
  timestamp = {Fri, 04 Jan 2019 10:45:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/BlazyH19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"JtDM9jLKhwnQk6B7a","bibbaseid":"blazy-hutin-formalverificationofaprogramobfuscationbasedonmixedbooleanarithmeticexpressions-2019","downloads":0,"creationDate":"2019-02-19T13:31:04.698Z","title":"Formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions","author_short":["Blazy, S.","Hutin, R."],"year":2019,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb2/b/Blazy:Sandrine.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sandrine"],"propositions":[],"lastnames":["Blazy"],"suffixes":[]},{"firstnames":["Rémi"],"propositions":[],"lastnames":["Hutin"],"suffixes":[]}],"title":"Formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions","booktitle":"Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019","pages":"196–208","year":"2019","crossref":"DBLP:conf/cpp/2019","url":"https://doi.org/10.1145/3293880.3294103","doi":"10.1145/3293880.3294103","timestamp":"Fri, 04 Jan 2019 10:45:31 +0100","biburl":"https://dblp.org/rec/bib/conf/cpp/BlazyH19","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cpp/BlazyH19,\n author = {Sandrine Blazy and\n R{\\'{e}}mi Hutin},\n title = {Formal verification of a program obfuscation based on mixed Boolean-arithmetic\n expressions},\n booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on\n Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January\n 14-15, 2019},\n pages = {196--208},\n year = {2019},\n crossref = {DBLP:conf/cpp/2019},\n url = {https://doi.org/10.1145/3293880.3294103},\n doi = {10.1145/3293880.3294103},\n timestamp = {Fri, 04 Jan 2019 10:45:31 +0100},\n biburl = {https://dblp.org/rec/bib/conf/cpp/BlazyH19},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Blazy, S.","Hutin, R."],"key":"DBLP:conf/cpp/BlazyH19","id":"DBLP:conf/cpp/BlazyH19","bibbaseid":"blazy-hutin-formalverificationofaprogramobfuscationbasedonmixedbooleanarithmeticexpressions-2019","role":"author","urls":{"Paper":"https://doi.org/10.1145/3293880.3294103"},"downloads":0,"html":""},"search_terms":["formal","verification","program","obfuscation","based","mixed","boolean","arithmetic","expressions","blazy","hutin"],"keywords":[],"authorIDs":[],"dataSources":["dFq2BpHTjvGdGdpXC"]}