Skip to content

Abstract non-interference in a fragment of Java bytecode.

Damiano Zanardini

Year2006
ProceedingsSAC

Browse the full SAC paper archive.