1.1k citations · 2.1k across the 73 of their papers we have counts for
1 paper · 2 filters
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
The approximation introduced by finite-precision representation of continuous data can induce arbitrarily large information leaks even when the computation using exact semantics is…