Lilia Georgieva. Domain Engineering for Automatic Analysis of Financial Applications of Cryptographic Protocols. In Radu Sion, editor, Financial Cryptography and Data Security, 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers. Volume 6052 of Lecture Notes in Computer Science, pages 428, Springer, 2010. [doi]
Abstract is missing.