Annabelle McIver

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Larissa Meinicke

> Home > Persons > Annabelle McIver

Publications

2015
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/McIverMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/McIverMM15
Annabelle McIver, Larissa Meinicke, Carroll Morgan:
Hidden-Markov program algebra with iteration. Math. Struct. Comput. Sci. 25(2): 320-360 (2015)
2014
[j20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/HoangMMMSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/HoangMMMSS14
Thai Son Hoang, A. K. McIver, Larissa Meinicke, Carroll C. Morgan, Anthony Sloane, E. Susatyo:
Abstractions of non-interference security: probabilistic versus possibilistic. Formal Aspects Comput. 26(1): 169-194 (2014)
[c46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/McIverMSEM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/McIverMSEM14
Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, Larissa Meinicke:
Abstract Channels and Their Robust Information-Leakage Ordering. POST 2014: 83-102
2012
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/McIverMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/McIverMM12
Annabelle McIver, Larissa Meinicke, Carroll Morgan:
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism. LICS 2012: 461-470
2011
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1102-0333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-0333
Annabelle McIver, Larissa Meinicke, Carroll Morgan:
Hidden-Markov Program Algebra with iteration. CoRR abs/1102.0333 (2011)
2010
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/McIverMM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/McIverMM10
Annabelle McIver, Larissa Meinicke, Carroll Morgan:
Compositional Closure for Bayes Risk in Probabilistic Noninterference. ICALP (2) 2010: 223-235
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/KatoenMMM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/KatoenMMM10
Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan:
Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. SAS 2010: 390-406
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1007-1054
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-1054
Annabelle McIver, Larissa Meinicke, Carroll Morgan:
Compositional closure for Bayes Risk in probabilistic noninterference. CoRR abs/1007.1054 (2010)
2009
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/McIverMM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/McIverMM09
Annabelle McIver, Larissa Meinicke, Carroll Morgan:
Security, Probability and Nearly Fair Coins in the Cryptographers' Café. FM 2009: 41-71

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.