phd projects in DEPENDABLE AND SECURE COMPUTING