[ACM Press the 28th Annual Computer Security Applications Conference - Orlando, Florida (2012.12.03-2012.12.07)] Proceedings of the 28th Annual Computer Security Applications Conference on - ACSAC '12 - Using automated model analysis for reasoning about security of web protocols

[ACM Press the 28th Annual Computer Secu

✍ Stefanov, Emil; van Dijk, Marten; Juels, Ari; Oprea, Alina 📂 Article 📅 2012 🏛 ACM Press ⚖ 808 KB

[ACM Press the 28th Annual Computer Secu

✍ Bilge, Leyla; Balzarotti, Davide; Robertson, William; Kirda, Engin; Kruegel, Chr 📂 Article 📅 2012 🏛 ACM Press ⚖ 505 KB

[ACM Press the 28th Annual Computer Secu

✍ Bilge, Leyla; Balzarotti, Davide; Robertson, William; Kirda, Engin; Kruegel, Chr 📂 Article 📅 2012 🏛 ACM Press ⚖ 505 KB

[ACM Press the 28th Annual Computer Secu

✍ Sridharan, Vasumathi; Shankar, Vaibhav; Gupta, Minaxi 📂 Article 📅 2012 🏛 ACM Press ⚖ 592 KB

[ACM Press the 28th Annual Computer Secu

✍ Levillain, Olivier; Ébalard, Arnaud; Morin, Benjamin; Debar, Hervé 📂 Article 📅 2012 🏛 ACM Press ⚖ 271 KB

[ACM Press the 28th Annual Computer Secu

✍ Smutz, Charles; Stavrou, Angelos 📂 Article 📅 2012 🏛 ACM Press ⚖ 251 KB