Efficient Decision Procedures for Message Deducibility and Static Equivalence. - Bruno Conchinha; David A. Basin; Carlos Caleiro (Formal Aspects in Security and Trust, 2010)

FAST: An Efficient Decision Procedure for Deduction and Static Equivalence. - Bruno Conchinha; David A. Basin; Carlos Caleiro (RTA, 2011)

Symbolic Probabilistic Analysis of Off-Line Guessing. - Bruno Conchinha; David A. Basin; Carlos Caleiro (ESORICS, 2013)