TY - CONF T1 - Symbolic security analysis of ruby-on-rails web applications T2 - Proceedings of the 17th ACM conference on Computer and communications security Y1 - 2010 A1 - Chaudhuri,A. A1 - Foster, Jeffrey S. JA - Proceedings of the 17th ACM conference on Computer and communications security ER -