.

Browsing School of Arts and Sciences by Author "Alhadidi, Dima"

LAUR Repository

Browsing School of Arts and Sciences by Author "Alhadidi, Dima"

Sort by: Order: Results:

  • 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; 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 ...

Search LAUR


Advanced Search

Browse

My Account