This is a loosely-connected group of people interested in research on secure systems and object-oriented patterns.

Security is a problem that requires considering all the architectural levels of a computer system. We study subjects from abstract aspects such as policies and models to implementation aspects such as file authorization structures or cryptographic protocols. I created and have led the group for several years; we have published papers on all aspects of security.