Massacci, F., Ngo, C., Venturi, D., & Williams, J. (2018, December). Non-Monotonic Security Protocols and Failures in Financial Intermediation. Presented at Cambridge International Workshop on Security Protocols, Cambridge, England