论文信息 - Verifying cryptographic protocols: a symbolic model for cryptographic APIs for C - 字舞流文

Verifying cryptographic protocols: a symbolic model for cryptographic APIs for C

Bart Jacobs | Gijs Vanspauwen

[1] Bart Jacobs,et al. Verifying cryptographic protocols. Applying the symbolic model to cryptographic APIs for C , 2016 .

[2] Sagar Chaki,et al. ASPIER: An Automated Framework for Verifying Security Protocol Implementations , 2009, 2009 22nd IEEE Computer Security Foundations Symposium.

[3] Jean Goubault-Larrecq,et al. Cryptographic Protocol Analysis on Real C Code , 2005, VMCAI.

[4] Bart Jacobs,et al. Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications , 2015, SEFM.

[5] Mark A. Hillebrand,et al. VCC: A Practical System for Verifying Concurrent C , 2009, TPHOLs.