Towards the Operational Semantics of User-Centric Communication Models. - Yingbo Wang; Yali Wu; Andrew A. Allen; Barbara Espinoza; Peter J. Clarke; Yi Deng 001 (COMPSAC (1), 2009)

Min-Entropy Leakage of Channels in Cascade. - Barbara Espinoza; Geoffrey Smith 001 (Formal Aspects in Security and Trust, 2011)

Min-entropy as a resource. - Barbara Espinoza; Geoffrey Smith 001 (Inf. Comput., 2013)

Abstract Channels and Their Robust Information-Leakage Ordering. - Annabelle McIver; Carroll Morgan; Geoffrey Smith 001; Barbara Espinoza; Larissa Meinicke (POST, 2014)