BibTeX records: Barbara Espinoza

• > Home > Persons > Barbara Espinoza

@inproceedings{DBLP:conf/post/McIverMSEM14,
  author       = {Annabelle McIver and
                  Carroll Morgan and
                  Geoffrey Smith and
                  Barbara Espinoza and
                  Larissa Meinicke},
  editor       = {Mart{\'{\i}}n Abadi and
                  Steve Kremer},
  title        = {Abstract Channels and Their Robust Information-Leakage Ordering},
  booktitle    = {Principles of Security and Trust - Third International Conference,
                  {POST} 2014, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
                  2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8414},
  pages        = {83--102},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54792-8\_5},
  doi          = {10.1007/978-3-642-54792-8\_5},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/post/McIverMSEM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/EspinozaS13,
  author       = {Barbara Espinoza and
                  Geoffrey Smith},
  title        = {Min-entropy as a resource},
  journal      = {Inf. Comput.},
  volume       = {226},
  pages        = {57--75},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2013.03.005},
  doi          = {10.1016/J.IC.2013.03.005},
  timestamp    = {Mon, 19 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/EspinozaS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip1-7/EspinozaS11,
  author       = {Barbara Espinoza and
                  Geoffrey Smith},
  editor       = {Gilles Barthe and
                  Anupam Datta and
                  Sandro Etalle},
  title        = {Min-Entropy Leakage of Channels in Cascade},
  booktitle    = {Formal Aspects of Security and Trust - 8th International Workshop,
                  {FAST} 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7140},
  pages        = {70--84},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29420-4\_5},
  doi          = {10.1007/978-3-642-29420-4\_5},
  timestamp    = {Mon, 19 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip1-7/EspinozaS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compsac/WangWAECD09,
  author       = {Yingbo Wang and
                  Yali Wu and
                  Andrew A. Allen and
                  Barbara Espinoza and
                  Peter J. Clarke and
                  Yi Deng},
  editor       = {Sheikh Iqbal Ahamed and
                  Elisa Bertino and
                  Carl K. Chang and
                  Vladimir Getov and
                  Lin Liu and
                  Ming Hua and
                  Rajesh Subramanyan},
  title        = {Towards the Operational Semantics of User-Centric Communication Models},
  booktitle    = {Proceedings of the 33rd Annual {IEEE} International Computer Software
                  and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
                  USA, July 20-24, 2009. Volume 1},
  pages        = {254--262},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/COMPSAC.2009.41},
  doi          = {10.1109/COMPSAC.2009.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WangWAECD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}