Declassification Policy for Program Complexity Analysis.

Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Pchoux

Browse the full LICS paper archive.