Secure information flow with random assignment and encryption. - Geoffrey Smith 001; Rafael Alpízar (FMSE, 2006)

Fast probabilistic simulation, nontermination, and secure information flow. - Geoffrey Smith 001; Rafael Alpízar (PLAS, 2007)

Secure Information Flow for Distributed Systems. - Rafael Alpízar; Geoffrey Smith 001 (Formal Aspects in Security and Trust, 2009)

Non-termination and secure information flow. - Geoffrey Smith 001; Rafael Alpízar (Math. Struct. Comput. Sci., 2011)