Skip to content

Compositionality of Secure Information Flow.

Catuscia Palamidessi

VenueBMPC
Year2010
ProceedingsMPC

Browse the full MPC paper archive.