APA (7th ed.) Citation

Nowak, D., & Zhang, Y. (2015). Formal security proofs with minimal fuss: Implicit computational complexity at work. Information and Computation, 241, 96-113. https://doi.org/10.1016/j.ic.2014.10.008

Chicago Style (17th ed.) Citation

Nowak, David, and Yu Zhang. "Formal Security Proofs with Minimal Fuss: Implicit Computational Complexity at Work." Information and Computation 241 (2015): 96-113. https://doi.org/10.1016/j.ic.2014.10.008.

MLA (9th ed.) Citation

Nowak, David, and Yu Zhang. "Formal Security Proofs with Minimal Fuss: Implicit Computational Complexity at Work." Information and Computation, vol. 241, 2015, pp. 96-113, https://doi.org/10.1016/j.ic.2014.10.008.