Barbara Espinoza

Min-Entropy Leakage of Channels in Cascade

Geoffrey Smith, Barbara Espinoza, 2011, Formal Aspects in Security and Trust.

Min-entropy as a resource

Geoffrey Smith, Barbara Espinoza, Geoffrey Smith, 2013, Inf. Comput..

Towards the Operational Semantics of User-Centric Communication Models

Peter J. Clarke, Yi Deng, Yingbo Wang, 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

Abstract Channels and Their Robust Information-Leakage Ordering

Annabelle McIver, Geoffrey Smith, Carroll Morgan, 2014, POST.