Travelled to:1 × Belgium
1 × France
1 × Germany
1 × Italy
1 × Romania
1 × The Netherlands
Collaborated with:E.Merlo ∅ G.Antoniol F.Gauthier
Talks about:model (4) php (4) procedur (3) analysi (3) inter (3) inject (2) applic (2) check (2) sql (2) represent (1)
Person: Dominic Letarte
DBLP: Letarte:Dominic
Contributed to:
2011
2010
2010
2007
20062009Wrote 6 papers:
- ICST-2011-LetarteGM #evolution #php #security #web
- Security Model Evolution of PHP Web Applications (DL, FG, EM), pp. 289–298.
- ASE-2010-Letarte #analysis #graph #interprocedural #model checking #precise #representation
- Model checking graph representation of precise boolean inter-procedural flow analysis (DL), pp. 511–516.
- ICSM-2010-Letarte #interprocedural #model checking #performance #static analysis
- Conversion of fast inter-procedural static analysis to model checking (DL), pp. 1–2.
- CSMR-2007-MerloLA #automation #injection #php
- Automated Protection of PHP Applications Against SQL-injection Attacks (EM, DL, GA), pp. 191–202.
- WCRE-2006-MerloLA #analysis #injection #php #sql
- Insider and Ousider Threat-Sensitive SQL Injection Vulnerability Analysis in PHP (EM, DL, GA), pp. 147–156.
- WCRE-1999-LetarteM99a #interprocedural #modelling #php
- Extraction of Inter-procedural Simple Role Privilege Models from PHP Code (DL, EM), pp. 187–191.