Application developers increasingly rely on cryptographic libraries but often lack the experience to use them correctly. Popular dynamic languages such as JavaScript make testing or verifying such applications particularly challenging. In this paper, we present our ongoing work toward a methodology for automatically checking security properties in JavaScript code. Our main idea is to attach security annotations to values that encode properties of interest. We illustrate our idea using examples and, as an initial step in our line of work, we present a formalization of security annotations in a statically typed lambda calculus. As next steps, we will translate our annotations to a dynamically typed formalization of JavaScript such as $\lambda_\textsf{JS}$ and implement a runtime checked type extension using code instrumentation for full JavaScript.