.

Browsing by Author "Debbabi, Mourad"

LAUR Repository

Browsing by Author "Debbabi, Mourad"

Sort by: Order: Results:

  • Debbabi, Mourad; Mourad, Azzam; Talhi, Chamseddine; Yahyaoui, Hamdi (2015-09-15)
    With the proliferation of wireless devices, networks, and systems, the deployment of efficient embedded Java virtual machines is becoming a challenging and important research area. Accordingly, a plethora of acceleration ...
  • Debbabi, Mourad; Mourad, Azzam; Tawbi, Nadia (ACM, 2017-03-08)
    This paper presents a new selective dynamic compilation technique targeting ARM 16/32-bit embedded system processors. This compiler is built inside the J2ME/CLDC (Java 2 Micro Edition for Connected Limited Device Configuration) ...
  • Mouheb, Djedjiga; Talhi, Chamseddine; Mourad, Azzam; Lima, Victor; Debbabi, Mourad; Wang, Lingyu; Pourzandi, Makan (2018-08-17)
    Security is a very challenging task in software engineering. Enforcing security policies should be taken care of during the early phases of the software development life cycle to prevent security breaches in the final ...
  • Mourad, Azzam; Laverdiere, Marc-André; Debbabi, Mourad (2016-05-19)
    In this paper, we present an aspect-oriented approach for the systematic security hardening of source code. It aims at allowing developers to perform software security hardening by providing an abstraction over the actions ...
  • Alhadidi, Dima; Mourad, Azzam; Kaitouni, Hakim Idrissi; Debbabi, Mourad (2015-11-24)
    In this paper, we propose a novel aspect-oriented approach based on GIMPLE, a language-independent and a tree-based representation generated by the GNU Compiler Collection (GCC), for the systemization of application security ...
  • Mourad, Azzam; Alhadidi, Dima; Debbabi, Mourad (IEEE, 2017-03-08)
    In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towards a formal specification for Gimple weaving ...
  • Mourad, Azzam; Laverdiere, Marc-André; Debbabi, Mourad (2018-08-17)
    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 towards developing ...
  • Mourad, Azzam; Laverdiere, Marc-André; Debbabi, Mourad (2015-11-25)
    In this paper, we present an aspect-oriented approach and propose a high-level language called SHL (Security Hardening Language) for the systematic security hardening of software. The primary contribution of this proposition ...
  • Mourad, Azzam; Soeanu, Andrei; Laverdiere, Marc-André; Debbabi, Mourad (2016-05-19)
    In this paper, we present new pointcuts and primitives to Aspect-Oriented Programming (AOP) languages that are needed for systematic hardening of security concerns. The two proposed pointcuts allow to identify particular ...
  • Mourad, Azzam; Debbabi, Mourad; Laverdiere, Marc-André (2018-08-17)
    In this paper, we present two new primitives to Aspect-Oriented Programming (AOP) languages that are needed for systematic hardening of security concerns. These primitives are called exportParameter and importParameter and ...
  • Mourad, Azzam; Laverdiere, Marc-André; Soeanu, Andrei; Debbabi, Mourad (2016-05-19)
    In this paper, we present two new pointcuts and two new Primitives to AspectOriented Programming (AOP) languages that are needed for systematic hardening of security concerns. The two proposed pointcuts allow to identify ...
  • Charpentier, Robert; Debbabi, Mourad; Mourad, Azzam; Laverdiere, Marc-André (2017-02-06)
    In today's computing world, security takes an increasingly predominant role. The industry is facing challenges in public confidence at the discovery of vulnerabilities and customers are expecting security to be delivered ...
  • Mourad, Azzam; Laverdiere, Marc-André; Debbabi, Mourad (2015-11-25)
    In this paper, we define the concept of software security hardening, which will allow the developers and maintainers to deploy and harden security features and remedy present vulnerabilities and threats into existing ...
  • Mourad, Azzam; Debbabi, Mourad; Gherbi, Abdelouahed; Yahyaoui, Hamdi (2017-07-17)
    This paper presents a new selective dynamic compilation technique targeting ARM 16/32-bit embedded system processors. This compiler is built inside the J2ME/CLDC (Java 2 Micro Edition for Connected Limited Device Configuration) ...
  • Mourad, Azzam; Alhadidi, Dima; Debbabi, Mourad (2018-09-13)
    In this paper, we propose an approach for weaving security concerns in the Gimple representation of programs. Gimple is an intermediate, language-independent, and tree-based representation generated by GNU Compiler Collection ...