K. R. Jayaram. Identifying andTesting for Insecure Paths in Cryptographic Protocol Implementations. In 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA. pages 368-369, IEEE Computer Society, 2006. [doi]
Abstract is missing.