| An Information Flow Monitor-Inlining Compiler for Securing a Core of Javascript J Fragoso Santos, T Rezk IFIP International Information Security Conference, 278-292, 2014 | 52* | 2014 |
| JaVerT: JavaScript Verification Toolchain J Fragoso Santos, P Maksimović, D Naudžiūnienė, T Wood, P Gardner Proceedings of the ACM on Programming Languages 2 (POPL), 1-33, 2017 | 50 | 2017 |
| Symbolic Execution for JavaScript J Fragoso Santos, P Maksimović, T Grohens, J Dolby, P Gardner Proceedings of the 20th International Symposium on Principles and Practice …, 2018 | 35 | 2018 |
| JaVerT 2.0: compositional symbolic execution for JavaScript J Fragoso Santos, P Maksimović, G Sampaio, P Gardner Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019 | 32 | 2019 |
| Gillian, part I: a multi-language platform for symbolic execution J Fragoso Santos, P Maksimović, SÉ Ayoun, P Gardner Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 31* | 2020 |
| An Information Flow Monitor for a Core of DOM Introducing references and live primitives A Almeida Matos, J Fragoso Santos, T Rezk | 19* | 2014 |
| Wasmati: An efficient static vulnerability scanner for WebAssembly T Brito, P Lopes, N Santos, JF Santos Computers & Security 118, 102745, 2022 | 18 | 2022 |
| Hybrid Typing of Secure Information Flow in a JavaScript-like Language J Fragoso Santos, T Jensen, T Rezk, A Schmitt Trustworthy Global Computing, 63-78, 2015 | 18 | 2015 |
| Gillian, Part II: Real-World Verification for JavaScript and C P Maksimović, SÉ Ayoun, J Fragoso Santos, P Gardner International Conference on Computer Aided Verification, 827-850, 2021 | 16 | 2021 |
| DOM: Specification and Client Reasoning A Raad, J Fragoso Santos, P Gardner Asian Symposium on Programming Languages and Systems, 401-422, 2016 | 14 | 2016 |
| The Seesaw algorithm: Function optimization using implicit hitting sets M Janota, A Morgado, J Fragoso Santos, V Manquinho 27th International Conference on Principles and Practice of Constraint …, 2021 | 9 | 2021 |
| Sensor-based self-calibration of the iCub's head J Fragoso Santos, A Bernardino, J Santos-Victor 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2010 | 8 | 2010 |
| A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications G Sampaio, J Fragoso Santos, P Maksimović, P Gardner 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 6 | 2020 |
| Typing illegal information flows as program effects A Almeida Matos, J Fragoso Santos Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012 | 6 | 2012 |
| Towards logic-based verification of Javascript programs J Fragoso Santos, P Gardner, P Maksimović, D Naudžiūnienė International Conference on Automated Deduction, 8-25, 2017 | 5* | 2017 |
| Learning techniques for pseudo-boolean solving J Santos, VM Manquinho LPAR Workshops, 2008 | 5 | 2008 |
| Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node. js Packages T Brito, M Ferreira, M Monteiro, P Lopes, M Barros, JF Santos, N Santos arXiv preprint arXiv:2301.05097, 2023 | 4 | 2023 |
| Gillian: A Multi-Language Platform for Unified Symbolic Analysis P Maksimović, J Fragoso Santos, SÉ Ayoun, P Gardner arXiv preprint arXiv:2105.14769, 2021 | 4 | 2021 |
| Rulekeeper: Gdpr-aware personal data compliance for web frameworks M Ferreira, T Brito, JF Santos, N Santos 2023 IEEE Symposium on Security and Privacy (SP), 2817-2834, 2023 | 3 | 2023 |
| Concolic Execution for WebAssembly F Marques, J Fragoso Santos, N Santos, P Adão 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 3* | 2022 |
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.ac.uk
