Hilary Branske

According to our database, Hilary Branske authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

CMV: automatic verification of complete mediation for java virtual machines.

A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008