Skip to content

Reactive non-interference for a browser model.

Nataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens

VenueBNSS
Year2011
ProceedingsNSS

Browse the full NSS paper archive.