Johan Agat

According to our database¹, Johan Agat authored at least 4 papers between 1997 and 2001.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2001

On Confidentiality and Algorithms.

[DOI]

Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001

2000

Type Based Techniques for Covert Channel Elimination and Register Allocation.

[DOI]

PhD thesis, 2000

Transforming Out Timing Leaks.

[DOI]

Proceedings of the POPL 2000, 2000

1997

Types for Register Allocation.

[DOI]

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997