61 citations · 322 across the 42 of their papers we have counts for
1 paper · 2 filters
Étienne André, Aleksander Kryukov
We consider a notion of non-interference for timed automata (TAs) that allows to quantify the frequency of an attack; that is, we infer values of the minimal time between two conse…