KEYSTROKE ANALYSIS AND COMPUTER SECURITY:


  1. D. Gunetti and C. Picardi.
    Keystroke Analysis as a Tool for Intrusion Detection.
    Chapter in the book on Continuous Authentication Using Biometrics: Data, Model, and Metrics.
    (Issa Traore Editor) 2012. IGI Global.

  2. H. Bhanu, J. Schwier, R. Craven, R. Brooks, K. Hempstalk, D. Gunetti, C. Griffin.
    Side-Channel Analysis for Detecting Protocol Tunneling.
    Advances in Internet of Things. 1, 2011. Pages 13-26.

  3. D. Gunetti and C. Picardi.
    Keystroke Analysis of free Text.
    ACM Transactions on Information and System Security (ACM TISSEC),
    8(3), 2005. Pages 312-347.

  4. D. Gunetti, C. Picardi and G. Ruffo.
    Dealing with Different Languages and Old Profiles in Keystroke Analysis of Free Text.
    In S. Bandini, editor,
    Proc. of the Nineth Congress of the Italian Association for Artificial Intelligence (AI*IA-2005),
    Milan, Italy. LNCS 3673, pages 347-358, Springer-Verlag, 2005.

  5. D. Gunetti, C. Picardi and G. Ruffo.
    Keystroke Analysis of Different Languages: a Case Study.
    In A. F. Famili, J. N. Kok, J. M. Pena, A. Siebes, A. Feelders, editors,
    Proc. of the Sixth Symposium on Intelligent Data Analysis (IDA 2005),
    Madrid, Spain. LNCS 3646, pages 133-144, Springer-Verlag, 2005.

  6. F. Bergadano, D. Gunetti and C. Picardi.
    Identity Verification through Dynamic Keystroke Analysis.
    Journal of Intelligent Data Analysis,
    7(5), 2003. Pages 469-496.

  7. F. Bergadano, D. Gunetti and C. Picardi.
    User Authentication through Keystroke Dynamics.
    ACM Transactions on Information and System Security (ACM TISSEC),
    5(4), 2002. Pages 367-397.

  8. D. Gunetti and F. Bergadano.
    Metodo e Apparecchio per la Verifica dell'Identita` Dichiarata da un Utilizzatore di una Risorsa Controllata,
    Mediante Digitazione su una Tastiera Alfanumerica.
    (Method and Apparatus for verifying an individual's identity based on biometric keystroke properties.)
    Brevetto per Invenzione Industriale n. 1.311.278.
    Data di concessione: 12 marzo 2002.

  9. D. Gunetti and G. Ruffo.
    Intrusion Detection through Behavioural Data.
    In J. N. Kok, editor,
    Proc. of the Third Symposium on Intelligent Data Analysis (IDA-99)
    LNCS 1642, Springer-Verlag, 1999. Pages 383-394.

    INDUCTIVE LOGIC PROGRAMMING:


  10. F. Bergadano and D. Gunetti.
    Inductive Logic Programming: from Machine Learning to Software Engineering.
    MIT Press, 1996.

  11. F. Bergadano and D. Gunetti.
    Testing by Means of Inductive Program Learning.
    ACM Transactions on Software Engineering and Metodology (ACM TOSEM), 5(2), 1996.

  12. F. Bergadano and D. Gunetti.
    Learning Relations and Logic Programs.
    The Knowledge Engineering Review, 9(1), 1994.
    Cambridge University Press.

  13. F. Bergadano, D. Gunetti, and U. Trinchero.
    The Difficulties of Learning Logic Programs with Cut.
    Journal of Artificial Intelligence Research, 1:91--107, 1993. Morgan-Kaufmann.

  14. Daniele Gunetti.
    ILP Applications to Software Engineering.
    Chapter 4 of the book on Advances in Machine Learning Applications in Software Engineering.
    (D. Zhang and J. Tsai Editors) Pages 74-102, 2007. Idea Group Inc.

  15. F. Bergadano, V. Cutello and D. Gunetti.
    Abduction in Machine Learning.
    In D. Gabbay and R. Kruse, editors,
    Handbook of Defasible Reasoning and Uncertainty Management Systems, Vol 4: Abductive Reasoning and Learning.
    Kluver Academic Press, 2000.

  16. F. Bergadano, D. Gunetti, M. Nicosia and G. Ruffo.
    Towards the Learnability of Prolog Programs.
    In G. Tascini, F. Esposito, V. Roberto and P. Zingaretti editors,
    Machine Learning and Perception. Series in Machine Perception and Artificial Intelligence,
    vol. 23, World Scientific, 1996

  17. F. Bergadano, D. Gunetti, M. Nicosia and G. Ruffo.
    Learning Logic Programs with Negation as Failure.
    In L. De Raedt, editor,
    Advances in Inductive Logic Programming. IOS Press, 1996.

  18. F. Bergadano and D. Gunetti.
    Relational Machine Learning and the Inductive Synthesis of Logic Programs.
    In M. di Bacco, E. Pacciani and S. Borgognini Tarli, editors,
    Statistical Tools in Human Biology. World Scientific Publishing Co., 1994.

  19. F. Bergadano, D. Gunetti, M. Nicosia and G. Ruffo.
    Learning Logic Programs with Negation as Failure.
    In L. De Raedt, editor,
    Proc. of the Fifth International Workshop on Inductive Logic Programming (ILP-95),
    Kat. Univ. Leuven, 1995.

  20. D. Gunetti.
    Using Abduction to Learn Horn Theories.
    In G. della Riccia, R. Kruse, and R. Viertl, editors,
    Invited paper in Proc. of the Workshop on Mathematical and Statistical Methods in Artificial Intelligence, br>Udine, Italy, 1995. LNCS, Springer-Verlag.

  21. F. Bergadano and D. Gunetti.
    Learning clauses by tracing derivations.
    In Stefan Wrobel, editor,
    Proceedings of the Fourth International Workshop on Inductive Logic Programming (ILP-94),
    pages 11--30, Bad Honnef/Bonn, Germany, 1994. GMD Inst. - Sankt Augustin.

  22. D. Gunetti and U. Trinchero.
    Intensional Learning of Logic Programs.
    Proceedings of the European Conference on Machine Learning (ECML-94),
    pages 359--362, Catania, Italy, 1994. LNCS 784, Springer-Verlag.

  23. F. Bergadano and D. Gunetti.
    Learning Relations: Basing Top-Down Methods on Inverse Resolution.
    In P. Torasso, editor,
    Third Congress of the Italian Association for Artificial Intelligence (AI*IA-93),
    pages 190--201, Torino, Italy, 1993. LNCS 728, Springer-Verlag.

  24. F. Bergadano and D. Gunetti.
    An interactive system to learn functional logic programs.
    Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-93), pages 1044--1049, Chambery, France,
    1993. Morgan Kaufmann.

  25. F. Bergadano and D. Gunetti.
    Inductive Synthesis of Logic Programs and Inductive Logic Programming.
    In Y. Deville, editor,
    Proceedings of the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR-93),
    pages 45--56, Louvain-la-Neuve, Belgium, 1993. Springer-Verlag, Workshops in Computing.

  26. F. Bergadano and D. Gunetti.
    Logic Programming by Examples.
    In D. Sacca, editor,
    Proc. of the 8th Italian Congress on Logic Programming (GULP-93),
    pages 393--405, Gizzeria Lido (CZ), Italy, 1993.

  27. F. Bergadano and D. Gunetti.
    Functional inductive logic programming with queries to the user.
    In P. Brazdil, editor,
    Proceedings of the European Conference on Machine Learning (ECML-93),
     pages 323--328, Vienna, Austria, 1993. LNCS 667, Springer-Verlag.

  28. F. Bergadano, S. Brusotti, D. Gunetti, and U. Trinchero.
    Inductive test case generation.
    In Stephen Muggleton, editor,
    Proceedings of the Third International Workshop on Inductive Logic Programming (ILP-93),
     pages 11--24, Bled, Slovenia, 1993. Jozef Stefan Inst. - Ljubljana.

  29. D. Gunetti.
    Efficient proofs in propositional calculus with inverse resolution.
    In P. Dewilde and J. Vanderwalle, editors,
    Proc. of the IEEE International Conference on Computer Systems and Software Engineering (CompEuro-92),
    The Hague, Netherlands, 1992. IEEE Comp. Soc. Press.

  30. D. Gunetti.
    Linear time proofs of propositional horn formulas with inverse resolution.
    In S. Costantini, editor,
    Proc. of the 7th Italian Congress on Logic Programming (GULP-92),
    pages 223--234, Tremezzo (CO), 1992. CittaStudi.

  31. F. Bergadano, D. Gunetti, M. Nicosia and G. Ruffo.
    Towards the Learnability of Prolog Programs.
    Proc. of the Italian Workshop on Machine Learning (GAA-95),
    Ancona, Italy, 1995.

  32. F. Bergadano and D. Gunetti.
    Intensional Theory Revision.
    In S. Wrobel, editor,
    Proc. of the ECML-94 Workshop on Theory Revision,
    Catania, Italy, 1994. University of Catania.

  33. F. Bergadano, D. Gunetti, and U. Trinchero.
    A Language for Defining Spaces of Clauses.
    In F. Esposito, editor,
    Proc. of the Italian Workshop on Machine Learning at AI*IA-94 (GAA-94),
    Parma, Italy, 1994. University of Parma.

  34. F. Bergadano, S. Brusotti, D. Gunetti, and U. Trinchero.
    Learning Logic Programs.
    In G. Mauri, editor,
    Proc. of the Italian Workshop on Machine Learning (GAA-93)
    , Milan, Italy, 1993. University of Milan.