Three partition refinement algorithms
SIAM Journal on Computing
On the Identification of Covert Storage Channels in Secure Systems
IEEE Transactions on Software Engineering
Theoretical Computer Science
A compiler for analyzing cryptographic protocols using noninterference
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communication and Concurrency
Boundary Inference for Enforcing Security Policies in Mobile Ambients
TCS '02 Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Networking and Mobile Computing
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Abstract interpretation of mobile ambients
Science of Computer Programming - Special issue on static analysis (SAS'99)
Information Flow Security in Dynamic Contexts
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Security boundaries in mobile ambients
Computer Languages, Systems and Structures
Verifying persistent security properties
Computer Languages, Systems and Structures
Nesting analysis of mobile ambients
Computer Languages, Systems and Structures
| Hi-index | 0.00 |