Davide Benetti

Learn More
—Several different secure routing protocols have been proposed for determining the appropriate paths on which data should be transmitted in ad hoc networks. In this paper, we focus on two of the most relevant such protocols, ARAN and endairA, and present the results of a formal analysis that we have carried out using the AVISPA Tool, an automated model(More)
Dedicated to my parents Pietro and Maria Valeria and to my brothers Francesco and Matteo for supporting and sustaining me during these years and particularly in the last hard times. None of this could have been done without them. Acknowledgement In my opinion, this is one of the most difficult part of a thesis. No matter how long is the list of people you(More)
  • 1