Selected Publications

Disclaimer:

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all people copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

[Journals] [Conferences] [Book Chapters]

Journals

  1. M. Tiloca, D. De Guglielmo, G. Dini, G. Anastasi, S. Das, DISH: DIstributed SHuffling against selective jamming attack in IEEE 802.15.4e TSCH networks, accepted for publication in ACM Transactions on Sensor Networks.
  2. Pericle Perazzo, Carlo Vallati, Giuseppe Anastasi, Gianluca Dini, DIO Suppression attack against routing in the Internet of Things, IEEE Communications Letters, vol.21, issue 11, pp. 2524-2527. 
  3. C. Bernardeschi, M. Di Natale, G. Dini, M. Palmieri, Verifying data secure flow in AUTOSAR models, Journal of Computer Virology and Hacking Techniques, pp. 1-21, March 2018.
  4. Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, and Daniele Sgandurra. Risk Analysis of Android Applications: A User-Centric SolutionFuture Generation Computer Systems, Volume 80 Issue C, March 2018,  Pages 505-518 .
  5. P.Perazzo, F.B. Sorbelli, M.Conti, G.Dini, C.M. Pinotti. Drone Path Planning for Secure Positioning and Secure Position Verification. IEEE Transactions on Mobile Computing, Sept. 2017, pp. 2478-2493.
  6. Lorenzo Taponecco, Pericle Perazzo, Antonio D'Amico and Gianluca Dini. Secure Positioning in Wireless Sensor Networks through Enlargement-“Miscontrol” ACM Transactions on Sensor Networks, Volume 12 Issue 4, November 2016 , Article No. 27, pp. 1-32.
  7. A. Compagno, M. Conti, A.A. D’Amico, G. Dini, P. Perazzo, L.Taponecco, Modeling Enlargement Attacks Against UWB Distance Bounding. IEEE Transactions on Information Forensics and Security, 11(7), pp.1565-1577, 2016.
  8. Andrea Saracino, Daniele Sgandurra, Gianluca Dini and Fabio Martinelli, MADAM: Effective and Efficient Behavior-based Android Malware Detection and Prevention. To appear in IEEE Transactions on Dependable and Secure Computing, 2016.
  9. Marco Tiloca, Domenico De Guglielmo, Gianluca Dini, Giuseppe Anastasi, Sajal K. Das. JAMMY: a Distributed and Dynamic Solution to Selective Jamming Attack in TDMA WSNs. IEEE Transactions on Dependable and Secure Computing, 2015 (doi: 10.1109/TDSC.2015.2467391).
  10. S.Martini, D. Di Baccio, F. Alarcon Romero, A. Viguria Jiménez, L. Pallottino, G.Dini and A. Ollero. Distributed Motion Misbehavior Detection in Teams of Heterogeneous Aerial Robots. Robotics and Autonomous Systems, Volume 7, issue PA, pages 30-39, December 2015 (doi: 10.1016/j.robot.2015.06.008)
  11. Pericle Perazzo and Gianluca Dini. A Uniformity-Based Approach to Location Privacy. Computer Communications, vol.64, pp.21-32, Elsevier, 15 June 2015.
  12. Pericle Perazzo, Pavel Skvortsov and Gianluca Dini. On Designing Resilient Location-Privacy Obfuscators. To appear in The Computer Journal (published online February 11, 2015, doi:10.1093/comjnl/bxv009).
  13. Lanfranco Lopriore and Gianluca Dini, Protected pointers in wireless sensor networks, To apper in International Journal of Ad Hoc and Ubiquitous Computing.
  14. Gianluca Dini and Lanfranco Lopriore, Password systems: design and implementation, To appear in Computers and Electrical Engineering, Elsevier (doi: 10.1016/j.compeleceng.2015.02.012).
  15. G. Dini and L. Lopriore. Key propagation in wireless sensor networks. To appear in Computers and Electrical Engineering, Elsevier.
  16. R. Daidone, G. Dini, and G. Anastasi. On Evaluating the Performance Impact of the IEEE 802.15.4 Security Sub-layer. Computer Communications, vol. 47, pp. 65-76, July 2014. (http://dx.doi.org/10.1016/j.comcom.2014.03.025)
  17. G. Dini, P. Foglia, C.A. Prete, M. Zanda. Q&A-and social-based interfaces for software download. Information Processing & Management, vol.50, no.4, pp. 584-598, July 2014.
  18. L. Taponecco, P. Perazzo, A. D'Amico and G. Dini. On the Feasibility of Overshadow Enlargement Attack on IEEE 802.15.4a Distance Bounding. IEEE Communications Letters, vol.18, no.2, pp.1-4, doi:10.1109/LCOMM.2013.112513.132156.
  19. R. Daidone, G. Dini, and M. Tiloca. A Solution to the GTS-Based Selective Jamming Attack on IEEE 802.15.4 Networks. Wireless Networks, 2013, DOI: 10.1007/s11276-013-0673-y.
  20. G. Dini, P. Foglia, C.A. Prete, and M. Zanda. A Social-Feedback Enriched Interface for Software Download, Journal of Organizational and End User Computing (JOEUC), Vol. 25, no. 1, 19 pages, DOI: 10.4018/joeuc.2013010102, 2013.
  21. Andrea Caiti, Vincenzo Calabrò, Gianluca Dini, Angelica Lo Duca, and Andrea Munafò. Mobile underwater sensor networks for protection and security: field experience at the UAN11 experiment. Journal of Field Robotics, vol. 30, no. 2, pp. 237-253, March/April 2013.
  22. Gianluca Dini and Angelica Lo Duca. A Secure Communication Suite for Underwater Acoustic Sensor Networks, Sensors, vol. 12, no. 11, pp. 15133-15158, 2012.
  23. Gianluca Dini and Marco Tiloca. HISS: a HIghly Scalable Scheme for Group Rekeying. The Computer Journal, Vol. 56, no. 4, pp. 508-525, Oxford University Press,  2013.
  24. G. Dini and Angelica Lo Duca. Towards a Reputation-based Routing Protocol to Contrast Blackholes in a Delay Tolerant Network, Ad-Hoc Networks, vol.10, no.7, pages 1167-1178, 2012
  25. O. Cheikhrouhou, Anis Koubâa, Gianluca Dini, Hani Alzaid, Mohamed Abid. LNT: A Logical Neighbor Tree Secure Group Communication Scheme for Wireless Sensor Networks, Ad-Hoc Networks, vol. 10, no. 7, pages 1419-1444, 2012.
  26. A. Caiti, V. Calabrò, G. Dini, A. Lo Duca, and A. Munafò. Secure Cooperation of Autonomous Mobile Sensors Using an Underwater Acoustic Network, Sensors, vol. 12/2, pp 1967, tot. pag 22, 2012.
  27. Omar Cheikhrouhou, Anis Koubâa, Gianluca Dini, and Mohamed Abid. RiSeG: A Ring Based Secure Group Communication Protocol for Wireless Sensor Networks, Personal and Ubiquitous Computing, pages 1-15, Springer London, 2011 (issn 1617-4909).
  28. Gianluca Dini and Ida Maria Savino. LARK: a Lightweight Authenticated ReKeying scheme for Clustered Wireless Sensor Networks, ACM Transactions on Embedded Computing Systems, vol. 10, no. 4, pp. 1-30, November 2011. 
  29. Ruslan Asaula, Tommaso Cucinotta, Gianluca Dini, and Luigi Palopoli. Trading Security for Control Performance in Distributed Robotic Applications, International Transactions on Systems Science and Applications, Volume 7,  Number 1/2, pp.26-39,  November 2011.
  30. Gianluca Dini and Ida Maria Savino. A Security Architecture for Reconfigurable Networked Embedded Systems, International Journal on Wireless Information Networks, vol. 17, no 1-2, pp. 11-25, March-June, 2010. 
  31. A. Bicchi, G. Dini, A. Danesi, S. La Porta, L. Pallottino, I. M. Savino, R. Schiavi. A safe and secure component-based platform for heterogeneous multi-robot systems, IEEE Robotics and Automation Magazine, vol. 15, pages 62-69, 2008. 
  32. Gianluca Dini and Andrea Bottoni. Improving Authentication of Remote Card Transactions with Mobile Personal Trusted DevicesComputer Communications, Vol. 30, issue 8, pp. 1697-1712, Elsevier, June 2007. 
  33. K.-E. Årzén, A. Bicchi, G. Dini, S. Hailes, K. H. Johansson, J. Lygeros,  and A. Tzes. A component-based approach to the design of networked control systems, European Journal of Control, Vol. 13, pp. 261-279, EUCA, 2007. 
  34. Andrea Bottoni, Gianluca Dini and Tage Stabell-Kulø. A methodology for verification of digital items in fair exchange protocols with active trustee, Electronic Commerce Research, Volume 7, Number 2, pp. 143-164, June, 2007.
  35. Gianluca Dini, Giuseppe Lettieri and Lanfranco Lopriore. Caching and prefetching algorithms for programs with looping reference patterns, The ComputerJournal, Vol. 49, No. 1, pp. 42-61, 2006.
  36. Gianluca Dini. A secure and available electronic voting service for a large-scale distributed system. Future Generation Computer Systems, 19(1), pp. 69-85, 2003.
  37. G. Dini. Electronic voting in a large-scale distributed systems, Networks, 38 (1), pp. 22-32, 2001.
  38. A. Bartoli, G. Dini and L. Lopriore. Single address space implementation in distributed systems. Concurrency: Practice and Experience, 12 (4), pp. 251-280, 2000.
  39. Babaoglu, O.; Bartoli, A.; Dini, G., "Enriched view synchrony: a programming paradigm for partitionable asynchronous distributed systems," IEEE Transactions on Computers, vol.46, no.6, pp.642-658, Jun 1997 (doi: 10.1109/12.600823)



[Go back on top]

Conferences

  1. C. Bernardeschi, M. Di Natale, G. Dini, D. Varano. Modeling and Generation of Secure Component Communications in AUTOSAR. In Procedings of the 32-th ACM Symposium on Applied Computing, Marrakesh, Morocco, April 3-6, 2017.
  2. C.M. Pinotti, F. Betti Sorbelli, P. Perazzo, G. Dini. Localization with guaranteed bound on the position error using a drone. In Proceedings of the 14th ACM International Symposium on Mobility Management and Wireless Access (MobiWac'16), pp.147-154 Malta, November 13-17, 2016.
  3. M. Tiloca, A Stagkopoulou, G. Dini. Performance and Security Evaluation of SDN Networks in OMNeT++/INET. OMNeT++ Community Summit 2016, Brno University of Technology, Czech Republic, September 15-16, 2016.
  4. C. Bernardeschi, M. Di Natale, G. Dini, D. Varano. Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems. Proceedings of the Third nternational Workshop on Modelling and Simulation for Autonomous Systems (MESAS 2016), Rome (Italy) 15-16 June, 2016 (LNCS 9991, Springer).
  5. Andrea Saracino, Gaetano Alboreto, Fabio Martinelli, Gianluca Dini, Data-Sluice: Fine-grained Traffic Control for Android Application. Proceedings of the Twenty-First IEEE Symposium on Computers and Communications (ISCC 2016), Messina (Italy), 27-30 June, 2016.
  6. Marco Tiloca and Gianluca Dini. GREP: a Group REkeying Protocol Based on Member Join History. Proceedings of the Twenty-First IEEE Symposium on Computers and Communications (ISCC 2016), Messina (Italy), 27-30 June, 2016.
  7. Cinzia Bernardeschi, Gabriele Del Vigna, Marco Di Natale, Gianluca Dini, and Dario Varano. Using AUTOSAR high-level speci cations for
    the synthesis of security components in automotive systems
    . MESAS'16 Workshop, Rome (Italy), 15-16 June 2016
  8. M.Tiloca, F.Racciatti, and G.Dini. Simulative evaluation of security attacks in networked critical infrastructures. Proceeding of the 2nd International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI), pp.1-10, 22 September 2015.
  9. Pericle Perazzo and Gianluca Dini. Secure Positioning with Non-Ideal Distance Bounding Protocols. Proceedings of the Twentieth IEEE Symposium on Computers and Communications (ISCC 2015), Larnaca (Cyprus), 6-9 July, 2015.
  10. Pericle Perazzo, Kanishka Ariyapala, Mauro Conti and Gianluca Dini. The Verifier Bee: a Path Planner for Drone-Based Secure Location Verification. To appear in the Proceedings of IEEE  International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2015), Boston, MA, June 14-17, 2015.
  11. Francesco Giurlanda, Pericle Perazzo, and Gianluca Dini. HUMsim: A Privacy-Oriented Human Mobility Simulator. Proceedings of the 5th International Conference on Sensor Systems and Software (S-CUBE 2014), Coventry (UK), October 6–7, 2014 (best paper award).
  12. G.Dini and M.Tiloca. A Simulation Tool for Evaluating Attack Impact in Cyber Physical Systems. Modelling & Simulation for Autonompus Systems Workshop (MESAS14). May 5-6, Rome, 2014.
  13. R. Daidone and G. Dini. A performance evaluation method for WSNs security. The Nineteenth IEEE International Symposium on Computers and Communication (ISCC 2014). Madeira (Pt), 23-26 June, 2014
  14. Gianluca Dini and Marco Tiloca. On Simulative Analysis of Attack Impact in Wireless Sensor Networks. In Proceedings of the IEEE International Conference on Emerging Technology & Factory Automation (ETFA 2013), Cagliari (Italy), 2013
  15. Marco Tiloca, Domenico De Guglielmo, Gianluca Dini and Giuseppe Anastasi. SAD-SJ: a Self-Adaptive Decentralized solution against Selective Jamming attack in Wireless Sensor Networks. In Proceedings of the IEEE International Conference on Emerging Technology & Factory Automation (ETFA 2013), Cagliari (Italy), 2013
  16. Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra. Probabilistic Contract Compliance for Mobile Applications. Proceedings of the Second International Workshop on Security of Mobile Applications (IWSMA 2013), Regensburg, Germany, September 2nd-6th, 2013.
  17. Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, and Daniele Sgandurra. Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-Criteria Approach. The 3rd IEEE International Symposium on Trust and Identity in Mobile Internet, Computing and Communications (TrustID 2013), July 16-18, 2013, Melbourne, Australia.
  18. Gianluca Dini and Pericle Perazzo. Integration of Privacy Protection Mechanisms in Location-Based Services. Proceedings of the 7th International Symposium on Security and Multimodality in Pervasive Environment (SMPE-2013), Barcelona, Spain, March 25-28, 2013.
  19. Roberta Daidone, Gianluca Dini, Marco Tiloca. STaR: Security Transparency and Reconfigurability for Wireless Sensor Networks programmingProceedings of the 2nd International Conference on Sensor Networks (SENSORNETS 2013), pp. 45-50, Barcelona, Spain, 19-21 February, 2013.
  20. Gianluca Dini, Francesco Giurlanda, Pericle Perazzo. SecDEv: Secure Distance Evaluation in Wireless Networks. Proceedings of the Ninth International Conference on Networking and Services (ICNS 2013), Lisbon, Portugal, 24-29 March 2013.
  21. Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, and Daniele Sgandurra. A Multi-Criteria-based Evaluation of Android Applications. Proceedings of 4th International Conference on Trusted Systems (inTrust), London (United Kingdom), 17-18 Decembre, 2012.
  22. A. Caiti, V. Calabrò, G. Dini, A. Lo Duca, and A. Munafò. MOOS middleware and node adaptivity in Underwater Sensor Networks: results from the UAN11 Sea Trial. Proceedings of the 11th European Conference on Underwater Acoustics. Edinburgh UK, 2nd - 6th July, 2012.
  23. Gianluca Dini and Marco Tiloca, ASF: an Attack Simulation Framework for wireless sensor networks, to appear in the 8th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2012), Barcelona, Spain, October 8-10, 2012.
  24. Gianluca Dini, Fabio Martinelli, Andrea Saracino, and Daniele Sgandurra. MADAM: a Multi-Level Anomaly Detector for Android Malware, to appear in the Proceedings of the International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, Saint-Petersburg (Russia), 17-20 October, 2012.
  25. Gianluca Dini and Pericle Perazzo. Uniform Obfuscation for Location Privacy. 26th Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSEC 2012), Paris (France), July 11-13, 2012.
  26. Roberta Daidone, Gianluca Dini, and Marco Tiloca, On experimentally evaluating the impact of security on IEEE 802.15. 4 networks, Proceedings of the 2011 International Conference on Distributed Computing in Sensor Systems and Workshops (DCOSS'11), 2011.
  27. Shahid Raza, Gianluca Dini, Thiemo Voigt, and Mikael Gidlund. Secure Key Renewal in WirelessHART. In: Real-time Wireless for Industrial Applications, RealWin'11, CPS Week, 11-16 April 2011, Chicago, Illinois, USA.
  28. G. Dini and M. Tiloca, Considerations on security in ZigBee networks, Proceedings of the 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2010), 2010.
  29. G. Dini, M. Pelagatti, and I.M. Savino, An algorithm for reconnecting wireless sensor network partitions, Proceedings of the 5th European conference on Wireless Sensor Networks (EWSN'08), pp. 253-267, 2008.
  30. A. Fagiolini, G. Valenti, L. Pallottino, G. Dini, and A. Bicchi, Decentralized intrusion detection for secure cooperative multi-agent systems, Proceedings of the 46th IEEE Conference on Decision and Control, pp. 1553-1558, 2007.
  31. Gianluca Dini and Ida M. Savino. S2RP: a Secure and Scalable Rekeying Protocol for Wireless Sensor Networks. IEEE International Conference on Mobile Adhoc and Sensor Systems (MASS 2006), pp.457-466, Oct. 2006 (doi: 10.1109/MOBHOC.2006.278586) (student travel grant).
  32. Gianluca Dini and Ida M. Savino. An efficient key revocation protocol for wireless sensor networks. International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2006), June 2006 (doi: 10.1109/WOWMOM.2006.23)

[Go back on top]

Book Chapters

  1. Stefano Tennina, Anis Koubaa, Roberta Daidone, Mario Alves, Petr Jurcik, Ricardo Severino, Marco Tiloca, Jan-Hinrich Hauer, Nuno Pereira, Gianluca Dini, Melanie Bouroche and Eduardo Tovar. IEEE 802.15.4 and ZigBee as enabling technologies for low-power wireless systems with Quality-of-Service constraints. Lecture Notes in Electrical Engineering, Springer, Germany, 2013.
  2. Gianluca Dini and Marco Tiloca, Security and Privacy, The Emerging Domain of Cooperating Objects, P.J. Marròn, S. Karnouskos, D. Minder, and A. Ollero editors, pages 68-72, Springer-Verlag, Berlin, 2011.

[Go back on top]