BibTeX records: Matteo Avalle

• > Home > Persons > Matteo Avalle

@article{DBLP:journals/fac/SistoCAP18,
  author       = {Riccardo Sisto and
                  Piergiuseppe Bettassa Copet and
                  Matteo Avalle and
                  Alfredo Pironti},
  title        = {Formally sound implementations of security protocols with JavaSPI},
  journal      = {Formal Aspects Comput.},
  volume       = {30},
  number       = {2},
  pages        = {279--317},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00165-017-0449-8},
  doi          = {10.1007/S00165-017-0449-8},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/SistoCAP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ton/AvalleRS16,
  author       = {Matteo Avalle and
                  Fulvio Risso and
                  Riccardo Sisto},
  title        = {Scalable Algorithms for {NFA} Multi-Striding and NFA-Based Deep Packet
                  Inspection on GPUs},
  journal      = {{IEEE/ACM} Trans. Netw.},
  volume       = {24},
  number       = {3},
  pages        = {1704--1717},
  year         = {2016},
  url          = {https://doi.org/10.1109/TNET.2015.2429918},
  doi          = {10.1109/TNET.2015.2429918},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ton/AvalleRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Avalle14,
  author       = {Matteo Avalle},
  title        = {New Techniques to Improve Network Security},
  school       = {Polytechnic University of Turin, Italy},
  year         = {2014},
  url          = {http://hdl.handle.net/11583/2574140},
  doi          = {10.6092/POLITO/PORTO/2574140},
  timestamp    = {Mon, 27 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Avalle14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/AvallePS14,
  author       = {Matteo Avalle and
                  Alfredo Pironti and
                  Riccardo Sisto},
  title        = {Formal verification of security protocol implementations: a survey},
  journal      = {Formal Aspects Comput.},
  volume       = {26},
  number       = {1},
  pages        = {99--123},
  year         = {2014},
  url          = {https://doi.org/10.1007/s00165-012-0269-9},
  doi          = {10.1007/S00165-012-0269-9},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/AvallePS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icc/AvalleRS12,
  author       = {Matteo Avalle and
                  Fulvio Risso and
                  Riccardo Sisto},
  title        = {Efficient multistriding of large non-deterministic finite state automata
                  for deep packet inspection},
  booktitle    = {Proceedings of {IEEE} International Conference on Communications,
                  {ICC} 2012, Ottawa, ON, Canada, June 10-15, 2012},
  pages        = {1079--1084},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICC.2012.6364235},
  doi          = {10.1109/ICC.2012.6364235},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icc/AvalleRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsse/AvallePPS11,
  author       = {Matteo Avalle and
                  Alfredo Pironti and
                  Davide Pozza and
                  Riccardo Sisto},
  title        = {JavaSPI: {A} Framework for Security Protocol Implementation},
  journal      = {Int. J. Secur. Softw. Eng.},
  volume       = {2},
  number       = {4},
  pages        = {34--48},
  year         = {2011},
  url          = {https://doi.org/10.4018/jsse.2011100103},
  doi          = {10.4018/JSSE.2011100103},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsse/AvallePPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/IEEEares/AvallePSP11,
  author       = {Matteo Avalle and
                  Alfredo Pironti and
                  Riccardo Sisto and
                  Davide Pozza},
  title        = {The Java {SPI} Framework for Security Protocol Implementation},
  booktitle    = {Sixth International Conference on Availability, Reliability and Security,
                  {ARES} 2011, Vienna, Austria, August 22-26, 2011},
  pages        = {746--751},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ARES.2011.117},
  doi          = {10.1109/ARES.2011.117},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEares/AvallePSP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}