@article{DBLP:journals/tetc/GerminianiDP22,
  author    = {Samuele Germiniani and
               Alessandro Danese and
               Graziano Pravadelli},
  title     = {Automatic Generation of Assertions for Detection of Firmware Vulnerabilities
               Through Alignment of Symbolic Sequences},
  journal   = {{IEEE} Trans. Emerg. Top. Comput.},
  volume    = {10},
  number    = {2},
  pages     = {728--739},
  year      = {2022},
  url       = {https://doi.org/10.1109/TETC.2020.3035187},
  doi       = {10.1109/TETC.2020.3035187},
  timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tetc/GerminianiDP22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NBk4HiQh2RYuqD2Ad","bibbaseid":"germiniani-danese-pravadelli-automaticgenerationofassertionsfordetectionoffirmwarevulnerabilitiesthroughalignmentofsymbolicsequences-2022","author_short":["Germiniani, S.","Danese, A.","Pravadelli, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Samuele"],"propositions":[],"lastnames":["Germiniani"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Danese"],"suffixes":[]},{"firstnames":["Graziano"],"propositions":[],"lastnames":["Pravadelli"],"suffixes":[]}],"title":"Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences","journal":"IEEE Trans. Emerg. Top. Comput.","volume":"10","number":"2","pages":"728–739","year":"2022","url":"https://doi.org/10.1109/TETC.2020.3035187","doi":"10.1109/TETC.2020.3035187","timestamp":"Tue, 28 Jun 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tetc/GerminianiDP22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tetc/GerminianiDP22,\n author = {Samuele Germiniani and\n Alessandro Danese and\n Graziano Pravadelli},\n title = {Automatic Generation of Assertions for Detection of Firmware Vulnerabilities\n Through Alignment of Symbolic Sequences},\n journal = {{IEEE} Trans. Emerg. Top. Comput.},\n volume = {10},\n number = {2},\n pages = {728--739},\n year = {2022},\n url = {https://doi.org/10.1109/TETC.2020.3035187},\n doi = {10.1109/TETC.2020.3035187},\n timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tetc/GerminianiDP22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n","author_short":["Germiniani, S.","Danese, A.","Pravadelli, G."],"key":"DBLP:journals/tetc/GerminianiDP22","id":"DBLP:journals/tetc/GerminianiDP22","bibbaseid":"germiniani-danese-pravadelli-automaticgenerationofassertionsfordetectionoffirmwarevulnerabilitiesthroughalignmentofsymbolicsequences-2022","role":"author","urls":{"Paper":"https://doi.org/10.1109/TETC.2020.3035187"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/search/publ/bibtex?q=author:Giuseppe_Boccignone:|author:Raffaella_Lanzarotti:|author:Giuliano_Grossi:|author:Vittorio_Cuculo:|author:Alessandro_D","dataSources":["zh7osHDrtywfGdfsS"],"keywords":[],"search_terms":["automatic","generation","assertions","detection","firmware","vulnerabilities","through","alignment","symbolic","sequences","germiniani","danese","pravadelli"],"title":"Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences","year":2022}