Andrei Sabelfeld

• Semantic models for the security of sequential and concurrent programs