Adjoining classified and unclassified information by abstract interpretation

Roberto Giacobazzi, Isabella Mastroeni. Adjoining classified and unclassified information by abstract interpretation. Journal of Computer Security, 18(5):751-797, 2010. [doi]

Authors

Roberto Giacobazzi

This author has not been identified. Look up 'Roberto Giacobazzi' in Google

Isabella Mastroeni

This author has not been identified. Look up 'Isabella Mastroeni' in Google