Syrine Tlili

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Hardware Designs

Horizontally Partitioned

Privacy Sensitive

Information Security

Top Venues

Publications

Syrine Tlili, José M. Fernandez, Abdelfettah Belghith, Bilel Dridi, Soufien Hidouri
Scalable Security Verification of Software at Compile Time. SCAM (2014)
Hajer Souri, Amine Dhraief, Syrine Tlili, Khalil Drira, Abdelfettah Belghith
Smart Metering Privacy-preserving Techniques in a Nutshell. ANT/SEIT (2014)
Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Idrissi Kaitouni, Marc-André Laverdière, Hai Zhou Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang
Security Evaluation and Hardening of Free and Open Source Software (FOSS). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Syrine Tlili, Xiaochun Yang, Rachid Hadjidj, Mourad Debbabi
Verification of CERT Secure Coding Rules: Case Studies. OTM Conferences (2) (2009)
Syrine Tlili, Mourad Debbabi
Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code. J. Autom. Reason. 42 (2-4) (2009)
Syrine Tlili, Mourad Debbabi
A novel flow-sensitive type and effect analysis for securing C code. AICCSA (2008)
Syrine Tlili, Mourad Debbabi
Type and Effect Annotations for Safe Memory Access in C. ARES (2008)
Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi
A Hybrid Approach for Safe Memory Management in C. AMAST (2008)
Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. PST (2008)