@article{2023:soderi_pls_primitives,
	title = {Formally verifying security protocols built on watermarking and jamming},
	journal = {Computers & Security},
	volume = {128},
	pages = {103133},
	year = {2023},
	issn = {0167-4048},
	doi = {https://doi.org/10.1016/j.cose.2023.103133},
	url = {https://www.sciencedirect.com/science/article/pii/S0167404823000433},
	author = {Gabriele Costa and Pierpaolo Degano and Letterio Galletta and Simone Soderi}}

{"_id":"pwLL3WnoxbrWKzTxs","bibbaseid":"costa-degano-galletta-soderi-formallyverifyingsecurityprotocolsbuiltonwatermarkingandjamming-2023","author_short":["Costa, G.","Degano, P.","Galletta, L.","Soderi, S."],"bibdata":{"bibtype":"article","type":"article","title":"Formally verifying security protocols built on watermarking and jamming","journal":"Computers & Security","volume":"128","pages":"103133","year":"2023","issn":"0167-4048","doi":"https://doi.org/10.1016/j.cose.2023.103133","url":"https://www.sciencedirect.com/science/article/pii/S0167404823000433","author":[{"firstnames":["Gabriele"],"propositions":[],"lastnames":["Costa"],"suffixes":[]},{"firstnames":["Pierpaolo"],"propositions":[],"lastnames":["Degano"],"suffixes":[]},{"firstnames":["Letterio"],"propositions":[],"lastnames":["Galletta"],"suffixes":[]},{"firstnames":["Simone"],"propositions":[],"lastnames":["Soderi"],"suffixes":[]}],"bibtex":"@article{2023:soderi_pls_primitives,\n\ttitle = {Formally verifying security protocols built on watermarking and jamming},\n\tjournal = {Computers & Security},\n\tvolume = {128},\n\tpages = {103133},\n\tyear = {2023},\n\tissn = {0167-4048},\n\tdoi = {https://doi.org/10.1016/j.cose.2023.103133},\n\turl = {https://www.sciencedirect.com/science/article/pii/S0167404823000433},\n\tauthor = {Gabriele Costa and Pierpaolo Degano and Letterio Galletta and Simone Soderi}}\n\n","author_short":["Costa, G.","Degano, P.","Galletta, L.","Soderi, S."],"key":"2023:soderi_pls_primitives","id":"2023:soderi_pls_primitives","bibbaseid":"costa-degano-galletta-soderi-formallyverifyingsecurityprotocolsbuiltonwatermarkingandjamming-2023","role":"author","urls":{"Paper":"https://www.sciencedirect.com/science/article/pii/S0167404823000433"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"article","biburl":"https://www.soderi.it/mypubs_1x/journal_works.bib","dataSources":["PCdRvyaDZRZMeqKhf","yxSABjCYMN6KhKdN3"],"keywords":[],"search_terms":["formally","verifying","security","protocols","built","watermarking","jamming","costa","degano","galletta","soderi"],"title":"Formally verifying security protocols built on watermarking and jamming","year":2023,"downloads":1}