Design of reliable and secure computer systems:
Our Activity is motivated and organized as a mean for:
- Technology Transfer from FM and Security to Software/Computer Industry.
- Creation of a recognized competence center/school in Computer System Reliability/Security.
- Encourage security and formal methods research and application.