Travelled to:1 × Serbia
Collaborated with:B.Montalto B.Conchinha D.A.Basin
Talks about:cryptanalyt (1) procedur (1) equival (1) static (1) reason (1) effici (1) deduct (1) capabl (1) attack (1) model (1)
Person: Carlos Caleiro
DBLP: Caleiro:Carlos
Contributed to:
2011
2009Wrote 2 papers:
- RTA-2011-ConchinhaBC #deduction #equivalence #named #performance
- FAST: An Efficient Decision Procedure for Deduction and Static Equivalence (BC, DAB, CC), pp. 11–20.
- QAPL-2009-MontaltoC #modelling #reasoning
- Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities (BM, CC), pp. 143–165.