| 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 | 59 | 2020 |
| 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 | 55 | 2017 |
| 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 | 50 | 2019 |
| 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 | 50* | 2014 |
| 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 | 46 | 2018 |
| Wasmati: An efficient static vulnerability scanner for WebAssembly T Brito, P Lopes, N Santos, JF Santos Computers & Security 118, 102745, 2022 | 42 | 2022 |
| 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 | 38 | 2021 |
| Concolic execution for webassembly F Marques, J Fragoso Santos, N Santos, P Adão 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 25 | 2022 |
| 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 | 24 | 2023 |
| 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 IEEE Transactions on Reliability, 2023 | 21 | 2023 |
| An Information Flow Monitor for a Core of DOM Introducing references and live primitives A Almeida Matos, J Fragoso Santos, T Rezk | 20* | 2014 |
| 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 | 17 | 2015 |
| DOM: Specification and Client Reasoning A Raad, J Fragoso Santos, P Gardner Asian Symposium on Programming Languages and Systems, 401-422, 2016 | 12 | 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 | 11 | 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 | 7 | 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 |
| Efficient static vulnerability analysis for javascript with multiversion dependency graphs M Ferreira, M Monteiro, T Brito, ME Coimbra, N Santos, L Jia, JF Santos Proceedings of the ACM on Programming Languages 8 (PLDI), 417-441, 2024 | 5 | 2024 |
| Learning techniques for pseudo-boolean solving J Santos, VM Manquinho LPAR Workshops, 2008 | 5 | 2008 |
| Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly L Andrès, F Marques, A Carcano, P Chambart, JF Santos, JC Filliâtre arXiv preprint arXiv:2412.06391, 2024 | 4 | 2024 |
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.ac.uk
