Linked Presentation: Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives