Security and trust: it is essential that we can trust software which is intertwined with all aspects of our life.