My research ranges across
,
,
and
.
I like to apply
principles
to analyze the security risks and design more secure systems.
My recent programming language and formal methods interests are related to
and
.
My recent interests in security are
and
.
See
.