Rafael Alpízar

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

Geoffrey Smith, Rafael Alpízar
Non-termination and secure information flow. Math. Struct. Comput. Sci. 21 (6) (2011)
Rafael Alpízar, Geoffrey Smith
Secure Information Flow for Distributed Systems. Formal Aspects in Security and Trust (2009)
Geoffrey Smith, Rafael Alpízar
Fast probabilistic simulation, nontermination, and secure information flow. PLAS (2007)
Geoffrey Smith, Rafael Alpízar
Secure information flow with random assignment and encryption. FMSE (2006)