Projects

Active projects

  • NOMAD - Next-generation Open Mobile Apps Development (1,02MEU, started 7.3.2016)

Completed projects

  • BETTY : Behavioural Types for Reliable Large-Scale Software Systems
  • Security Horizons (87KEU, started 1.2.2013 end 31.1.2016)
  • TRICS : a Trusted Reservation Infrastructure for Computational Societies (202KEU, started 15.3.2012 ended 14.9.2015)
  • Social Glue : a modular development platform for community-oriented services (350KEU, started 9.2012 ended 30.6.2015)
  • TESLA : Techniques for Enforcing Security in Languages and Applications (80KEU, started 1.1.2011 ended 31.12.2012)
  • CGR : Coarse-Grained Group Recommendation (ended)