HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Annabelle McIver

Publications
An Algebraic Approach for Reasoning About Information Flow
Arthur Américo, Mario S. Alvim and Annabelle McIver
EasyChair Preprint 442
LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors)
EPiC Series in Computing, volume 35
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Jacques Fleuriot, Peter Höfner, Annabelle McIver and Alan Smaill (editors)
EPiC Series in Computing, volume 17

Keyphrases

Channel Composition, Crowds, g-leakage, quantitative information flow.

Copyright © 2012-2025 easychair.org. All rights reserved.