When Not All Bits Are Equal: Worth-Based Information Flow

Mário S. Alvim, Andre Scedrov, Fred B. Schneider. When Not All Bits Are Equal: Worth-Based Information Flow. In Martín Abadi, Steve Kremer, editors, Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Volume 8414 of Lecture Notes in Computer Science, pages 120-139, Springer, 2014. [doi]

Authors

Mário S. Alvim

This author has not been identified. Look up 'Mário S. Alvim' in Google

Andre Scedrov

This author has not been identified. Look up 'Andre Scedrov' in Google

Fred B. Schneider

This author has not been identified. Look up 'Fred B. Schneider' in Google