Types for Register Allocation. - Johan Agat (Implementation of Functional Languages, 1997)

Transforming Out Timing Leaks. - Johan Agat (POPL, 2000)

Type Based Techniques for Covert Channel Elimination and Register Allocation. - Johan Agat (2000)

On Confidentiality and Algorithms. - Johan Agat; David Sands (S&P, 2001)