Nicolás E. Bordenabe

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 3

Top Topics

Information Flows

Distributed Processing

Spatial Reasoning

Malware Detection

Top Venues

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
Reasoning About Distributed Secrets. FORTE (2017)
Nicolás E. Bordenabe, Geoffrey Smith
Correlated Secrets in Quantitative Information Flow. CSF (2016)
Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
Compositional security and collateral leakage. CoRR (2016)