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 | 49 | 2017 |
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 | 49* | 2014 |
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 | 37* | 2020 |
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 | 37 | 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 | 35 | 2019 |
Wasmati: An efficient static vulnerability scanner for WebAssembly T Brito, P Lopes, N Santos, JF Santos Computers & Security 118, 102745, 2022 | 25 | 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 | 21 | 2021 |
An Information Flow Monitor for a Core of DOM Introducing references and live primitives A Almeida Matos, J Fragoso Santos, T Rezk | 19* | 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 | 16 | 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 |
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 | 10 | 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 | 10 | 2022 |
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 |
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 | 5 | 2023 |
Learning techniques for pseudo-boolean solving J Santos, VM Manquinho LPAR Workshops, 2008 | 5 | 2008 |
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 | 4* | 2017 |
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 |