@article{DBLP:journals/corr/abs-2104-01446,
  author    = {Christian Pilato and
               Francesco Regazzoni},
  title     = {High-Level Synthesis of Security Properties via Software-Level Abstractions},
  journal   = {CoRR},
  volume    = {abs/2104.01446},
  year      = {2021},
  url       = {https://arxiv.org/abs/2104.01446},
  eprinttype = {arXiv},
  eprint    = {2104.01446},
  timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2104-01446.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"WrGzKhtW7whTZhGa7","bibbaseid":"pilato-regazzoni-highlevelsynthesisofsecuritypropertiesviasoftwarelevelabstractions-2021","author_short":["Pilato, C.","Regazzoni, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christian"],"propositions":[],"lastnames":["Pilato"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Regazzoni"],"suffixes":[]}],"title":"High-Level Synthesis of Security Properties via Software-Level Abstractions","journal":"CoRR","volume":"abs/2104.01446","year":"2021","url":"https://arxiv.org/abs/2104.01446","eprinttype":"arXiv","eprint":"2104.01446","timestamp":"Mon, 12 Apr 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-2104-01446.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2104-01446,\n author = {Christian Pilato and\n Francesco Regazzoni},\n title = {High-Level Synthesis of Security Properties via Software-Level Abstractions},\n journal = {CoRR},\n volume = {abs/2104.01446},\n year = {2021},\n url = {https://arxiv.org/abs/2104.01446},\n eprinttype = {arXiv},\n eprint = {2104.01446},\n timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2104-01446.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Pilato, C.","Regazzoni, F."],"key":"DBLP:journals/corr/abs-2104-01446","id":"DBLP:journals/corr/abs-2104-01446","bibbaseid":"pilato-regazzoni-highlevelsynthesisofsecuritypropertiesviasoftwarelevelabstractions-2021","role":"author","urls":{"Paper":"https://arxiv.org/abs/2104.01446"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/QK7udauu9oYiG86Rs/bib.bib","dataSources":["H8x2obrhjRLyjakpF","ZuojF5jycEf8Xjgko","8gxn7AaKRh7GxNQNx","9LEB4ahCAz8Pkq58E","ZsvDCPRnhBRRCnWQ5"],"keywords":[],"search_terms":["high","level","synthesis","security","properties","via","software","level","abstractions","pilato","regazzoni"],"title":"High-Level Synthesis of Security Properties via Software-Level Abstractions","year":2021}