This is a group lead by Dr. E. B. Fernandez that meets every week to discuss our research on secure systems and object-oriented design.

Security is a problem that requires considering all the architectural levels of a computer system and we study from abstract aspects such as policies and models to implementation aspects such as file authorization structures or cryptographic protocols. We have published papers on all aspects of security, please look in each individual home page to see a list.