Skip to main content

4 Result(s)

within Marc-André Laverdière Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Assisting Programmers Resolving Vulnerabilities in Java Web Applications

    We present in this paper a new approach towards detection and correction of security vulnerabilities in Java Web applications using program slicing and transformation. Our vulnerability detector is based on an...

    Pranjal Bathia, Bharath Reddy Beerelli, Marc-André Laverdière in Advanced Computing (2011)

  2. No Access

    Chapter and Conference Paper

    A Security Hardening Language Based on Aspect-Orientation

    In this paper, we propose an aspect-oriented language, called SHL (Security Hardening Language), for specifying systematically the security hardening solutions. This language constitutes our new achievement towar...

    Azzam Mourad, Marc-André Laverdière, Mourad Debbabi in E-business and Telecommunications (2009)

  3. No Access

    Chapter and Conference Paper

    Taxonomy of Linux Kernel Vulnerability Solutions

    This paper presents the results of a case study on software vulnerability solutions in the Linux kernel. Our major contribution is the introduction of a classification of methods used to solve vulnerabilities....

    Serguei A. Mokhov, Marc-André Laverdière… in Innovative Techniques in Instruction Techn… (2008)

  4. Chapter and Conference Paper

    Control Flow Based Pointcuts for Security Hardening Concerns

    In this paper, we present two new control flow based point-cuts to Aspect-Oriented Programming (AOP) languages that are needed for systematic hardening of security concerns. They allow to identify particular j...

    Marc-André Laverdière, Azzam Mourad, Andrei Soeanu, Mourad Debbabi in Trust Management (2007)

    Download PDF (909 KB)