| 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 | 47* | 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 | 41* | 2017 |
| 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 | 24* | 2020 |
| 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 | 24 | 2019 |
| 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 | 22 | 2018 |
| 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 | 16 | 2015 |
| An Information Flow Monitor for a Core of DOM Introducing references and live primitives A Almeida Matos, J Fragoso Santos, T Rezk | 15* | 2014 |
| DOM: Specification and Client Reasoning A Raad, J Fragoso Santos, P Gardner Asian Symposium on Programming Languages and Systems, 401-422, 2016 | 14 | 2016 |
| 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 | 8 | 2021 |
| 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 | 8 | 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 |
| 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, V Manquinho LPAR Workshops, 2008 | 5 | 2008 |
| 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 | 4 | 2020 |
| Gillian: A Multi-Language Platform for Unified Symbolic Analysis P Maksimović, J Fragoso Santos, SÉ Ayoun, P Gardner arXiv preprint arXiv:2105.14769, 2021 | 3 | 2021 |
| Wasmati: An efficient static vulnerability scanner for WebAssembly T Brito, P Lopes, N Santos, JF Santos Computers & Security 118, 102745, 2022 | 2 | 2022 |
| Hybrid information flow control for low-level code E Geraldo, JF Santos, JC Seco Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021 | 2 | 2021 |
| Mashic compiler: Mashup sandboxing based on inter-frame communication Z Luo, J Fragoso Santos, A Almeida Matos, T Rezk Journal of Computer Security 24 (1), 91-136, 2016 | 1 | 2016 |
| Modular monitor extensions for information flow security in JavaScript J Fragoso Santos, T Rezk, AA Matos Trustworthy Global Computing, 47-62, 2015 | 1 | 2015 |
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.ac.uk
