Information flow security of multi-threaded distributed programs

Riccardo Focardi, Matteo Centenaro. Information flow security of multi-threaded distributed programs. In Ăšlfar Erlingsson, Marco Pistoia, editors, Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. pages 113-124, ACM, 2008. [doi]

Authors

Riccardo Focardi

This author has not been identified. Look up 'Riccardo Focardi' in Google

Matteo Centenaro

This author has not been identified. Look up 'Matteo Centenaro' in Google