1.1k citations · 2.1k across the 73 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 8 cited
On the Compositionality of Quantitative Information Flow
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
Information flow is the branch of security that studies the leakage of information due to correlation between secrets and observables. Since in general such correlation cannot be a…
cs.LO2016
Slicing Concurrent Constraint Programs
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte +1
Concurrent Constraint Programming (CCP) is a declarative model for concurrency where agents interact by telling and asking constraints (pieces of information) in a shared store. So…