@INPROCEEDINGS {12272,
author={G. Bana and P. Adão and H. Sakurada},
doi={10.4230/LIPIcs.FSTTCS.2012.546},
booktitle={Foundations of Software Technology and Theoretical Computer Science - FSTTCS},
title={Computationally Complete Symbolic Attacker in Action},
year={2012},
month={December},
volume={18},
pages={546-560} 
}