@string{proc = "Proceedings of the "}

@string{acm = "ACM"}
@string{acmpress = "ACM"}
@string{sv = "Springer"}
@string{usenix = "USENIX"}

@string{cacm = "Communications of the "#acm}

@string{aisec = acm#" Workshop on Artificial Intelligence and Security"}
@string{aisec11 = proc#" 4th "#aisec}

@string{haskellws = proc#" ACM SIGPLAN Haskell Workshop"}

@string{itp = "International Conference on Interactive Theorem Proving"}
@string{itp13 = proc#"4th "#itp}
@string{itp14 = proc#"5th "#itp}

@string{sosp = acm#" Symposium on Operating Systems Principles"}
@string{sosp09 = proc#"22nd "#sosp}

@string{ssv = "Systems Software Verification"}
@string{ssv10 = proc#"5th "#ssv}
@string{ssv12 = proc#"7th "#ssv}

@string{tphols = "International Conference on Theorem Proving in Higher Order Logics"}
@string{tphols08 = proc#"21st "#tphols}
@string{tphols09 = proc#"22nd "#tphols}

@string{verify = "International Verification Workshop"}
@string{verify08 = proc#"5th "#verify}

@book{McIver_M_04,
  author =        {Annabelle McIver and Carroll Morgan},
  publisher =     {Springer},
  title =         {Abstraction, Refinement and Proof for Probabilistic
                   Systems},
  year =          {2004},
}


@inproceedings{Cock_12,
    doi              = {10.4204/EPTCS.102.15},
    author           = {Cock, David},
    format           = {pdf},
    author_logins    = {dcock},
    month            = nov,
    slides           = {http://www.nicta.com.au/pub?pslides=6313},
    nictapubid       = {6313},
    pages            = {1--10},
    year             = {2012},
    keywords         = {nicta, pirs_0, ssrg, covert, sidechannels},
    title            = {Verifying Probabilistic Correctness in {Isabelle} with {pGCL}},
    type             = {Conference Paper},
    booktitle        = ssv12,
    address          = {Sydney, Australia},
}

@inproceedings{Cock_13,
    doi              = {10.1007/978-3-642-39634-2_23},
    author           = {Cock, David},
    format           = {pdf},
    author_logins    = {dcock},
    month            = jul,
    nictapubid       = {6726},
    pages            = {1--16},
    year             = {2013},
    keywords         = {nicta, pirs_15, ssrg, covert, sidechannels},
    title            = {Practical Probability: Applying {pGCL} to Lattice Scheduling},
    type             = {Conference Paper},
    booktitle        = itp13,
    address          = {Rennes, France},
}

@inproceedings{Cock_14,
    publisher        = sv,
    author           = {Cock, David},
    format           = {pdf},
    author_logins    = {dcock},
    month            = jul,
    nictapubid       = {7850},
    pages            = {1--15},
    year             = {2014},
    keywords         = {nicta, pirs_0, ssrg, sidechannels},
    title            = {From Probabilistic Operational Semantics to Information Theory - Side Channels with {pGCL} in
                        Isabelle},
    type             = {Conference Paper},
    booktitle        = itp14,
    address          = {Vienna, Austria},
}

@phdthesis{Cock_14a,
    author = {David Cock},
    title = {Leakage in Trustworthy Systems},
    school = {University of New South Wales},
    year = {2014},
}

@article{Dijkstra_75,
  address =       {New York, NY, USA},
  author =        {Dijkstra, Edsger W.},
  journal =       {Communications of the ACM},
  month =         aug,
  number =        {8},
  pages =         {453--457},
  publisher =     {ACM},
  title =         {Guarded commands, nondeterminacy and formal
                   derivation of programs},
  volume =        {18},
  year =          {1975},
  doi =           {10.1145/360933.360975},
  issn =          {0001-0782},
}

@article{Hurd_05,
  author =        {Joe Hurd and Annabelle McIver and Carroll Morgan},
  journal =       {Theoretical Computer Science},
  number =        {1},
  pages =         {96 - 112},
  title =         {Probabilistic guarded commands mechanized in HOL},
  volume =        {346},
  year =          {2005},
  doi =           {10.1016/j.tcs.2005.08.005},
  issn =          {0304-3975},
  url =           {http://www.sciencedirect.com/science/article/pii/
                  S0304397505004767},
}

@article{Selvin_75,
  author =        {Steve Selvin},
  journal =       {American Statistician},
  month =         {Feb},
  number =        {1},
  pages =         {67},
  title =         {A problem in probability (letter to the editor)},
  volume =        {29},
  year =          {1975},
}
