Pubblicazioni

FERRETTI, LUCA; PIERAZZI, FABIO; COLAJANNI, Michele; MARCHETTI, Mirco, Scalable architecture for multi-user encrypted SQL operations on cloud database services, «IEEE TRANSACTIONS ON CLOUD COMPUTING», 2014, 2 issue 4, pp. 448 - 458 [Articolo in rivista]

MISSIROLI, MARCELLO; PIERAZZI, FABIO; COLAJANNI, Michele, Security and privacy of location-based services for in-vehicle device systems, in: Proceedings, USA, Institute of Electrical and Electronics Engineers ( IEEE ), 2014, pp. 841 - 848 (atti di: 2014 International Conference on High Performance Computing & Simulation (HPCS 2014), Bologna, Italia, 21-25 Giugno 2014) [Contributo in Atti di convegno]

FERRETTI, LUCA; PIERAZZI, FABIO; COLAJANNI, Michele; MARCHETTI, Mirco; MISSIROLI, MARCELLO, Efficient detection of unauthorized data modification in cloud databases, in: Proceedings of the 2014 International Conference on High Performance Computing & Simulation (HPCS 2014), USA, Institute of Electrical and Electronics Engineers ( IEEE ), 2014, pp. 1 - 6 (atti di: 2014 International Conference on High Performance Computing & Simulation (HPCS 2014), Funchal, Portugal, 23-26 June 2014) [Contributo in Atti di convegno]

Patsakis C.; Venanzi R.; Bellavista P.; Solanas A.; Bouroche M., Personalized medical services using smart cities' infrastructures, in: IEEE MeMeA 2014 - IEEE International Symposium on Medical Measurements and Applications, Proceedings, IEEE Computer Society, 2014, pp. 1 - 5 (atti di: 9th IEEE International Symposium on Medical Measurements and Applications, IEEE MeMeA 2014, Lisbon, prt, 2014) [Contributo in Atti di convegno]

Mellouk A.; Sherif M.H.; Li J.; Bellavista P., Ad Hoc Networks: 5th International ICST Conference ADHOCNETS 2013 Barcelona, Spain, October 2013 revised selected papers, Berlin, Springer, 2014, pp. 3 (LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING). [Curatela]

Vitali F.; Amoroso A.; Roccetti M.; Marfia G., RESTful services for an innovative e-Health infrastructure: A real case study, in: Proceedings 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services, 2014, pp. 188 - 193 (atti di: 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services, Natal, Brasil, 2014) [Contributo in Atti di convegno]

Jocelyne Elias, Optimal design of energy-efficient and cost-effective wireless body area networks, «AD HOC NETWORKS», 2014, 13, pp. 560 - 574 [Articolo in rivista]

Svetlana, Jakšić; Padovani, Luca, Exception Handling for Copyless Messaging, «SCIENCE OF COMPUTER PROGRAMMING», 2014, 84, pp. 22 - 51 [Articolo in rivista]

Padovani, Luca; Vasco Thudichum, Vasconcelos; Hugo Torres, Vieira, Typing Liveness in Multiparty Communicating Systems, in: Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14), DEU, Springer, 2014, 8459, pp. 147 - 162 (atti di: 16th International Conference on Coordination Models and Languages, Berlino, Germania, June 3-5, 2014) [Contributo in Atti di convegno]

Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu; Im, Hyeonseung; Lenglet, Serguei; Padovani, Luca, Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation, in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’14), 2014, 49, pp. 5 - 17 (atti di: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, USA, January 22-24, 2014) [Contributo in Atti di convegno]

Dezani, Mariangiola; Padovani, Luca; J., Pantovic, Session Type Isomorphisms, in: Proceedings of the workshop on programming language approaches to concurrency and communication-cEntric software (PLACES’14), Waterloo, Open Publishing Association, 2014, pp. 61 - 71 (atti di: PLACES'14, Grenoble, 2014) [Contributo in Atti di convegno]

Padovani, Luca, Deadlock and Lock Freedom in the Linear π-Calculus, in: Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), USA, ACM - Association for Computing Machinery, 2014, pp. 1 - 10 (atti di: Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science, Vienna, Austria, July 14–18, 2014) [Contributo in Atti di convegno]

Padovani, Luca, Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types, in: Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), DEU, Springer, 2014, 8412, pp. 88 - 102 (atti di: 17th International Conference on Foundations of Software Science and Computation Structures, Grenoble, Francia, 5-13 April 2014) [Contributo in Atti di convegno]