Author:
Ferreira João F.,Johnson Saul A.,Mendes Alexandra,Brooke Phillip J.
Publisher
Springer International Publishing
Reference32 articles.
1. Appel, A.W.: Modular verification for computer security. In: IEEE 29th Computer Security Foundations Symposium (CSF), pp. 1–8 (2016)
2. Bauereiß, T., Gritti, A.P., Popescu, A., Raimondi, F.: CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. In: Security and Privacy (SP) (2017)
3. Bertot, Y., Castéran, P.: Interactive theorem proving and program development - Coq’Art: the calculus of inductive constructions. Springer Science & Business Media, Heidelberg (2013)
4. Blanchet, B., et al.: An efficient cryptographic protocol verifier based on prolog rules. In: CSFW, vol. 1, pp. 82–96 (2001)
5. Burnett, M.: Today i am releasing ten million passwords (2015). https://xato.net/today-i-am-releasing-ten-million-passwords-b6278bbe7495 . Accessed 26 Apr 2017
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献