Bruno Conchinha

According to our database, Bruno Conchinha authored at least 3 papers between 2010 and 2013.

Collaborative distances:

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

2013

Symbolic Probabilistic Analysis of Off-Line Guessing.

Bruno Conchinha, David A. Basin, Carlos Caleiro

Proceedings of the Computer Security - ESORICS 2013, 2013

2011

FAST: An Efficient Decision Procedure for Deduction and Static Equivalence.

Bruno Conchinha, David A. Basin, Carlos Caleiro

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

Efficient Decision Procedures for Message Deducibility and Static Equivalence.

Bruno Conchinha, David A. Basin, Carlos Caleiro

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010