| Conditional Lemma Discovery and Recursion Induction in Hipster I Lobo Valbuena, M Johansson Electronic Communications of the EASST 72, 2015 | 15 | 2015 |
| Conditional Lemma Discovery and Recursion Induction in Hipster I Lobo Valbuena, M Johansson Proc. AVoCS 2, 15, 2015 | 15* | 2015 |
| Excess XSS: A comprehensive tutorial on cross-site scripting J Kallin, IL Valbuena Retrieve from https://excess-xss. com, 2016 | 10 | 2016 |
| A comprehensive tutorial on cross-site scripting J Kallin, IL Valbuena Excess XSS.[Tinkle][Cituota: 2015 m. 01 27 d.] http://excess-xss. com, 0 | 3 | |
| Automated Discovery of Conditional Lemmas in Hipster I Lobo Valbuena | | 2015 |
| Noninterference in the Presence of Collusion I Lobo Valbuena, D Sands | | |
| A comprehensive tutorial on cross-site scripting. 2016 J Kallin, I Lobo Valbuena | | |
Moa JohanssonAssociate Professor (Docent), Chalmers University在 chalmers.se 的電子郵件地址已通過驗證
Moa JohanssonAssociate Professor (Docent), Chalmers University在 chalmers.se 的電子郵件地址已通過驗證