Rafael Alpízar

According to our database, Rafael Alpízar authored at least 4 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Non-termination and secure information flow.

Geoffrey Smith, Rafael Alpízar

Math. Struct. Comput. Sci., 2011

2009

Secure Information Flow for Distributed Systems.

Rafael Alpízar, Geoffrey Smith

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

2007

Fast probabilistic simulation, nontermination, and secure information flow.

Geoffrey Smith, Rafael Alpízar

Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, 2007

2006

Secure information flow with random assignment and encryption.

Geoffrey Smith, Rafael Alpízar

Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006