Abstract non-interference: parameterizing noninterference by abstract interpretation (0)

by R Giacobazzi, I Mastroeni
Venue:In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages