Sebastian Mödersheim, Luca Viganò. Sufficient conditions for vertical composition of security protocols. In Shiho Moriai, Trent Jaeger, Kouichi Sakurai, editors, 9th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '14, Kyoto, Japan - June 03 - 06, 2014. pages 435-446, ACM, 2014. [doi]