François Gauthier
François Gauthier
Oracle Labs, Brisbane
Verified email at oracle.com
Title
Cited by
Cited by
Year
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
572018
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
212011
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
182013
Fast detection of access control vulnerabilities in php applications
F Gauthier, E Merlo
2012 19th Working Conference on Reverse Engineering, 247-256, 2012
172012
Combining string abstract domains for JavaScript analysis: an evaluation
R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
152017
Security model evolution of PHP web applications
D Letarte, F Gauthier, E Merlo
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
102011
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
92012
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
52018
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
52016
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
52013
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
42012
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
32015
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
12019
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
12018
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
12012
Mapping features to source code in dynamically configured avionics software
M Ouellet, F Gauthier, E Merlo, N Sozen, M Gagnon
École Polytechnique de Montréal, 2012
12012
Taint analysis with access paths
N Allen, F Gauthier, A Jordan
US Patent App. 16/050,160, 2020
2020
Buffer overflow detection based on a synthesis of assertions from templates and k-induction
F Gauthier, N Keynes, P Krishnan, C Cifuentes, TQ Ta
US Patent App. 16/050,828, 2020
2020
Staged refinement for static analysis
RK Ramesh, P Krishnan, F Gauthier
US Patent 10,540,255, 2020
2020
Modular points-to analysis
J Späth, F Gauthier, P Krishnan
US Patent 10,528,344, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20