• Predicate encryption systems. No query left unanswered 

      Iovino, Vincenzo (Universita degli studi di Salerno, 2011-05-09)
      Predicate encryption is an important cryptographic primitive (see [7, 14, 28]) that enables fine-grained control on the decryption keys. Let T be a class of binary predicates. Roughly speaking, in a predicate encryption ...
    • Secure End-to-End Communications in Mobile Networks 

      Petagna, Fabio (Universita degli studi di Salerno, 2011-05-06)
      Cellular communication has become an important part of our daily life. Besides using cell phones for voice communication, we are now able to access the Internet, conduct monetary transactions, send voice, video and ...
    • Synthesis of recursive state machines from libraries of game modules 

      De Crescenzo, Ilaria (Universita degli studi di Salerno, 2016-05-18)
      This thesis is focused on synthesis. In formal veri cation synthesis can be referred to the controller synthesis and the system synthesis. This work combines both this area of research. First we focus on synthesizing ...
    • Teamwork collaboration around simulation data in an industrial context 

      Pirozzi, Donato (Universita degli studi di Salerno, 2015-04-27)
      Nowadays even more small, medium and large enterprises are world-wide and com- pete on a global market. In order to face the new challenges, industries have multiple co-located and geographically dispersed teams that ...
    • The Role of Distributed Computing in Big Data Science: Case Studies in Forensics and Bioinformatics 

      Roscigno, Gianluca (Universita degli studi di Salerno, 2016-05-24)
      The era of Big Data is leading the generation of large amounts of data, which require storage and analysis capabilities that can be only ad- dressed by distributed computing systems. To facilitate large-scale distributed ...
    • The value of privacy: concerns, attitudes, behaviors online, and information protection measures 

      Spinelli, Raffaele (Universita degli studi di Salerno, 2015-04-29)
      Most of our lives takes place on-line. Our on-line activities, affect directly or indirectly the way other people perceive us. One have to careful decide what to expose and what not. There are a lot of personal and ...