9 citations · 37 across the 6 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.CR2015★ 8 cited
Quantitative Information Flow for Scheduler-Dependent Systems
Yusuke Kawamoto, Thomas Given-Wilson
Quantitative information flow analyses measure how much information on secrets is leaked by publicly observable outputs. One area of interest is to quantify and estimate the inform…
cs.LO2015★ 7 cited
On the Expressiveness of Joining
Thomas Given-Wilson, Axel Legay
The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchrono…