| Vandal: A scalable security analysis framework for smart contracts. L Brent, A Jurisevic, M Kong, E Liu, F Gauthier, V Gramoli, R Holz, ... arXiv preprint arXiv:1809.03981, 2018 | 251 | 2018 |
| Combining string abstract domains for JavaScript analysis: An evaluation R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ... Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 36 | 2017 |
| Extraction and comprehension of moodle's access control model: A case study F Gauthier, D Letarte, T Lavoie, E Merlo 2011 Ninth Annual International Conference on Privacy, Security and Trust, 44-51, 2011 | 29 | 2011 |
| Nodest: feedback-driven static analysis of Node. js applications BB Nielsen, B Hassanshahi, F Gauthier Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 28 | 2019 |
| Fast detection of access control vulnerabilities in php applications F Gauthier, E Merlo 2012 19th Working Conference on Reverse Engineering, 247-256, 2012 | 28 | 2012 |
| Uncovering access control weaknesses and flaws with security-discordant software clones F Gauthier, T Lavoie, E Merlo Proceedings of the 29th Annual Computer Security Applications Conference …, 2013 | 26 | 2013 |
| AFFOGATO runtime detection of injection attacks for Node.js F Gauthier, B Hassanshahi, A Jordan Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 94-99, 2018 | 21 | 2018 |
| JSPChecker: static detection of context-sensitive cross-site scripting flaws in legacy web applications A Steinhauser, F Gauthier Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016 | 16 | 2016 |
| Security model evolution of PHP web applications D Letarte, F Gauthier, E Merlo 2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011 | 15 | 2011 |
| Reference abstract domains and applications to string analysis R Amadini, G Gange, F Gauthier, A Jordan, P Schachte, H Søndergaard, ... Fundamenta Informaticae 158 (4), 297-326, 2018 | 12 | 2018 |
| Alias-aware propagation of simple pattern-based properties in PHP applications F Gauthier, E Merlo 2012 IEEE 12th International Working Conference on Source Code Analysis and …, 2012 | 11 | 2012 |
| Unacceptable behavior: Robust pdf malware detection using abstract interpretation A Jordan, F Gauthier, B Hassanshahi, D Zhao Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and …, 2019 | 9* | 2019 |
| Semantic smells and errors in access control models: a case study in php F Gauthier, E Merlo 2013 35th International Conference on Software Engineering (ICSE), 1169-1172, 2013 | 9 | 2013 |
| Driver generation for java ee web applications J Dietrich, F Gauthier, P Krishnan 2018 25th Australasian Software Engineering Conference (ASWEC), 121-125, 2018 | 6 | 2018 |
| Evolutionary analysis of access control models: a formal concept analysis method Z Han, M Mérineau, F Gauthier, E Merlo, X Li, E Stroulia Proceedings of the 25th Annual International Conference on Computer Science …, 2015 | 4 | 2015 |
| Targeted genetic test SQL generation for the DB2 database D Letarte, F Gauthier, E Merlo, N Sutyanyong, C Zuzarte Proceedings of the Fifth International Workshop on Testing Database Systems, 1-6, 2012 | 4 | 2012 |
| Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST F Gauthier, B Hassanshahi, B Selwyn-Smith, TN Mai, M Schlüter, ... 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 3* | 2022 |
| Supporting maintenance and evolution of access control models in web applications F Gauthier, E Merlo, E Stroulia, D Turner 2014 IEEE International Conference on Software Maintenance and Evolution …, 2014 | 3 | 2014 |
| Investigation of access control models with formal concept analysis: A case study F Gauthier, E Merlo 2012 16th European Conference on Software Maintenance and Reengineering, 397-402, 2012 | 3 | 2012 |
| Detection of malware in documents F Gauthier, S Gaetjen, M Blair US Patent 11,392,697, 2022 | 2 | 2022 |
Alexander JordanOracle LabsVerified email at oracle.com
