Concepedia

François Gauthier

FG

9

Publications

278

Citations

9

H-Index

2011

Active since

Affiliations

Polytechnique Montréal(Current)

École Normale Supérieure - PSL

François Gauthier is an author at Polytechnique Montréal specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware TestingSoftware SecurityInformation SecurityData SecurityFormal Verification

Publications per year

2011–2022

9

Publications

9

Vandal: A Scalable Security Analysis Framework for Smart Contracts

Lexi Brent, Anton Jurisevic, Michael Kong et al. · arXiv (Cornell University) · 2018 · 123 citations · Full text

Semantic Logic Relations, Engineering, Information Security +17

Nodest: feedback-driven static analysis of Node.js applications

Benjamin Barslev Nielsen, Behnaz Hassanshahi, François Gauthier · 2019 · 31 citations

Injection Vulnerability, Software Security, Engineering +14

Extraction and comprehension of moodle's access control model: A case study

François Gauthier, Dominic Letarte, Thomas Lavoie et al. · 2011 · 25 citations

Software Maintenance, Engineering, Software Engineering +25

Uncovering access control weaknesses and flaws with security-discordant software clones

François Gauthier, Thierry Lavoie, Ettore Merlo · 2013 · 22 citations

Software Maintenance, Security-sensitive Clone Clusters, Engineering +20

Fast Detection of Access Control Vulnerabilities in PHP Applications

François Gauthier, Ettore Merlo · 2012 · 19 citations

Sql Injection, Engineering, Information Security +16

Rows per page

1–5 of 9