Statically checking confidentiality via dynamic labels - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bart Jacobs, Wolter Pieters, Martijn Warnier. Statically checking confidentiality via dynamic labels. In Catherine Meadows, editor, Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005. pages 50-56, ACM, 2005. [doi]

This author has not been identified. It may be one of the following persons:

Bart Jacobs

Look up 'Bart Jacobs' in GoogleThis author has not been identified. Look up 'Wolter Pieters' in GoogleThis author has not been identified. Look up 'Martijn Warnier' in Google

runs on WebDSL