24 citations · 28 across the 3 of their papers we have counts for
1 paper · 1 filter
Marco Eilers, Thibault Dardinier, Peter Müller
Information flow security ensures that the secret data manipulated by a program does not influence its observable output. Proving information flow security is especially challengin…