Æȷοì
François Gauthier
François Gauthier
Senior Principal Researcher, Oracle Labs
oracle.comÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
3302018
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
402019
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
382017
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
312018
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
292011
Fast detection of access control vulnerabilities in php applications
F Gauthier, E Merlo
2012 19th Working Conference on Reverse Engineering, 247-256, 2012
282012
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
262013
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
152016
Security model evolution of PHP web applications
D Letarte, F Gauthier, E Merlo
2011 Fourth IEEE International Conference on Software Testing, Verification ¡¦, 2011
152011
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
14*2019
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
132018
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
12*2022
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
102012
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
72013
Driver generation for java ee web applications
J Dietrich, F Gauthier, P Krishnan
2018 25th Australasian Software Engineering Conference (ASWEC), 121-125, 2018
62018
Scalable static analysis to detect security vulnerabilities: Challenges and solutions
F Gauthier, N Keynes, N Allen, D Corney, P Krishnan
2018 IEEE Cybersecurity Development (SecDev), 134-134, 2018
52018
Runtime prevention of deserialization attacks
F Gauthier, S Bae
Proceedings of the ACM/IEEE 44th International Conference on Software ¡¦, 2022
42022
Taint analysis with access paths
N Allen, F Gauthier, A Jordan
US Patent 10,789,362, 2020
42020
Trade-offs in managing risk and technical debt in industrial research labs: an experience report
F Gauthier, A Jordan, P Krishnan, B Hassanshahi, JG Sü©¬, S Bae, H Lee
Proceedings of the 3rd International Conference on Technical Debt, 98-102, 2020
42020
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20