BibTeX records: Lorenzo Veronese

download as .bib file

@inproceedings{DBLP:conf/eurocon/VeronesePDS23,
  author       = {Lorenzo Veronese and
                  Isabella Poles and
                  Eleonora D'Arnese and
                  Marco D. Santambrogio},
  title        = {Stain Transfer using CycleGAN for Histopathological Images},
  booktitle    = {20th {IEEE} International Conference on Smart Technologies, {EUROCON}
                  2023, Torino, Italy, July 6-8, 2023},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/EUROCON56442.2023.10199027},
  doi          = {10.1109/EUROCON56442.2023.10199027},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurocon/VeronesePDS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/VeroneseFBTSM23,
  author       = {Lorenzo Veronese and
                  Benjamin Farinier and
                  Pedro Bernardo and
                  Mauro Tempesta and
                  Marco Squarcina and
                  Matteo Maffei},
  title        = {WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms},
  booktitle    = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
                  CA, USA, May 21-25, 2023},
  pages        = {2761--2779},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SP46215.2023.10179465},
  doi          = {10.1109/SP46215.2023.10179465},
  timestamp    = {Thu, 27 Jul 2023 08:17:10 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/VeroneseFBTSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/SquarcinaAVM23,
  author       = {Marco Squarcina and
                  Pedro Ad{\~{a}}o and
                  Lorenzo Veronese and
                  Matteo Maffei},
  editor       = {Joseph A. Calandrino and
                  Carmela Troncoso},
  title        = {Cookie Crumbles: Breaking and Fixing Web Session Integrity},
  booktitle    = {32nd {USENIX} Security Symposium, {USENIX} Security 2023, Anaheim,
                  CA, USA, August 9-11, 2023},
  pages        = {5539--5556},
  publisher    = {{USENIX} Association},
  year         = {2023},
  url          = {https://www.usenix.org/conference/usenixsecurity23/presentation/squarcina},
  timestamp    = {Wed, 18 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uss/SquarcinaAVM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-01649,
  author       = {Lorenzo Veronese and
                  Benjamin Farinier and
                  Mauro Tempesta and
                  Marco Squarcina and
                  Matteo Maffei},
  title        = {WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms},
  journal      = {CoRR},
  volume       = {abs/2201.01649},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.01649},
  eprinttype    = {arXiv},
  eprint       = {2201.01649},
  timestamp    = {Mon, 10 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-01649.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BodeiCDFGLTV21,
  author       = {Chiara Bodei and
                  Lorenzo Ceragioli and
                  Pierpaolo Degano and
                  Riccardo Focardi and
                  Letterio Galletta and
                  Flaminia L. Luccio and
                  Mauro Tempesta and
                  Lorenzo Veronese},
  title        = {{FWS:} Analyzing, maintaining and transcompiling firewalls},
  journal      = {J. Comput. Secur.},
  volume       = {29},
  number       = {1},
  pages        = {77--134},
  year         = {2021},
  url          = {https://doi.org/10.3233/JCS-200017},
  doi          = {10.3233/JCS-200017},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcs/BodeiCDFGLTV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/SquarcinaTVCM21,
  author       = {Marco Squarcina and
                  Mauro Tempesta and
                  Lorenzo Veronese and
                  Stefano Calzavara and
                  Matteo Maffei},
  editor       = {Michael D. Bailey and
                  Rachel Greenstadt},
  title        = {Can {I} Take Your Subdomain? Exploring Same-Site Attacks in the Modern
                  Web},
  booktitle    = {30th {USENIX} Security Symposium, {USENIX} Security 2021, August 11-13,
                  2021},
  pages        = {2917--2934},
  publisher    = {{USENIX} Association},
  year         = {2021},
  url          = {https://www.usenix.org/conference/usenixsecurity21/presentation/squarcina},
  timestamp    = {Mon, 20 Nov 2023 08:57:49 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/SquarcinaTVCM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06043,
  author       = {Lorenzo Veronese and
                  Stefano Calzavara and
                  Luca Compagna},
  title        = {Bulwark: Holistic and Verified Security Monitoring of Web Protocols},
  journal      = {CoRR},
  volume       = {abs/2101.06043},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.06043},
  eprinttype    = {arXiv},
  eprint       = {2101.06043},
  timestamp    = {Fri, 22 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-06043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/VeroneseCC20,
  author       = {Lorenzo Veronese and
                  Stefano Calzavara and
                  Luca Compagna},
  editor       = {Liqun Chen and
                  Ninghui Li and
                  Kaitai Liang and
                  Steve A. Schneider},
  title        = {Bulwark: Holistic and Verified Security Monitoring of Web Protocols},
  booktitle    = {Computer Security - {ESORICS} 2020 - 25th European Symposium on Research
                  in Computer Security, {ESORICS} 2020, Guildford, UK, September 14-18,
                  2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12308},
  pages        = {23--41},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58951-6\_2},
  doi          = {10.1007/978-3-030-58951-6\_2},
  timestamp    = {Fri, 02 Jul 2021 20:12:27 +0200},
  biburl       = {https://dblp.org/rec/conf/esorics/VeroneseCC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-01946,
  author       = {Marco Squarcina and
                  Mauro Tempesta and
                  Lorenzo Veronese and
                  Stefano Calzavara and
                  Matteo Maffei},
  title        = {Can {I} Take Your Subdomain? Exploring Related-Domain Attacks in the
                  Modern Web},
  journal      = {CoRR},
  volume       = {abs/2012.01946},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.01946},
  eprinttype    = {arXiv},
  eprint       = {2012.01946},
  timestamp    = {Fri, 04 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-01946.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/BodeiDGFTV18,
  author       = {Chiara Bodei and
                  Pierpaolo Degano and
                  Letterio Galletta and
                  Riccardo Focardi and
                  Mauro Tempesta and
                  Lorenzo Veronese},
  title        = {Language-Independent Synthesis of Firewall Policies},
  booktitle    = {2018 {IEEE} European Symposium on Security and Privacy, EuroS{\&}P
                  2018, London, United Kingdom, April 24-26, 2018},
  pages        = {92--106},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/EuroSP.2018.00015},
  doi          = {10.1109/EUROSP.2018.00015},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosp/BodeiDGFTV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/BodeiDFGTV18,
  author       = {Chiara Bodei and
                  Pierpaolo Degano and
                  Riccardo Focardi and
                  Letterio Galletta and
                  Mauro Tempesta and
                  Lorenzo Veronese},
  editor       = {Elena Ferrari and
                  Marco Baldi and
                  Roberto Baldoni},
  title        = {Firewall Management With FireWall Synthesizer},
  booktitle    = {Proceedings of the Second Italian Conference on Cyber Security, Milan,
                  Italy, February 6th - to - 9th, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2058},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2058/paper-16.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:11 +0100},
  biburl       = {https://dblp.org/rec/conf/itasec/BodeiDFGTV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics