Formal and Efficient Enforcement of Security Policies. - Mahjoub Langar; Mohamed Mejri (FCS, 2005)

A Formal Approach for Security Policy Enforcement in Concurrent Programs. - Mahjoub Langar; Mohamed Mejri; Kamel Adi (Security and Management, 2007)

Automatic Enforcement of Security in Computer Networks. - T. Mechri; Mahjoub Langar; Mohamed Mejri; Hamido Fujita; Yutaka Funyu (SoMeT, 2007)

Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems. - Mahjoub Langar; Mohamed Mejri; Kamel Adi (Security and Management, 2010)

Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach. - Mahjoub Langar; Mohamed Mejri; Kamel Adi (SECRYPT, 2010)

Formal enforcement of security policies on concurrent systems. - Mahjoub Langar; Mohamed Mejri; Kamel Adi (J. Symb. Comput., 2011)

Formal Enforcement of Security Policies on Choreographed Services. - Mahjoub Langar; Karim Dahmani (FMS @ Petri Nets, 2014)

Traffic Analysis of Web Browsers. - Sami Zhioua; Mahjoub Langar (FMS @ Petri Nets, 2014)

Detecting Malicious Sessions Through Traffic Fingerprinting Using Hidden Markov Models. - Sami Zhioua; Adnene Ben Jabeur; Mahjoub Langar; Wael Ilahi (SecureComm (1), 2014)

A Formal Dynamic Verification of Choreographed Web Services Conversations. - Karim Dahmani; Mahjoub Langar; Riadh Robbana (ProvSec, 2015)

Novel time related quality of service criteria. - Taycir Bouasker; Mahjoub Langar; Riadh Robbana (AICCSA, 2016)

NFRs based web services scoring as web service. - Taycir Bouasker; Mahjoub Langar; Riadh Robbana (ISCC, 2016)

Web Services Orchestration's Monitor as a Web Service. - Imene Hadded; Mahjoub Langar; Riadh Robbana (SoMeT, 2016)

Consumer oriented web services ranking and classification. - Taycir Bouasker; Mahjoub Langar (ICC, 2017)

QoS monitor as a service. - Taycir Bouasker; Mahjoub Langar; Riadh Robbana (Softw. Qual. J., 2020)