A Uniform Presentation of Confidentiality Properties
IEEE Transactions on Software Engineering
Semantic models for information flow
Theoretical Computer Science - Mathematical foundations of programming semantics
Automated information flow analysis of virtualized infrastructures
ESORICS'11 Proceedings of the 16th European conference on Research in computer security
Hi-index | 0.89 |