31 citations · 31 across the 3 of their papers we have counts for
1 paper · 1 filter
Farzane Karami, Olaf Owe, Gerardo Schneider
This paper introduces a run-time mechanism for preventing leakage of secure information in distributed systems. We consider a general concurrency language model, where concurrent o…