Syrine Tlili

According to our database, Syrine Tlili authored at least 10 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Scalable Security Verification of Software at Compile Time.

Syrine Tlili, José M. Fernandez, Abdelfettah Belghith, Bilel Dridi, Soufien Hidouri

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

Smart Metering Privacy-preserving Techniques in a Nutshell.

Hajer Souri, Amine Dhraief, Syrine Tlili, Khalil Drira, Abdelfettah Belghith

Proceedings of the 5th International Conference on Ambient Systems, 2014

2010

Security Evaluation and Hardening of Free and Open Source Software (FOSS).

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

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.

Syrine Tlili, Mourad Debbabi

J. Autom. Reason., 2009

Verification of CERT Secure Coding Rules: Case Studies.

Syrine Tlili, Xiaochun Yang, Rachid Hadjidj, Mourad Debbabi

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

2008

Wireless Applications: Middleware Security.

Mourad Debbabi, Marc-André Laverdière, Azzam Mourad, Syrine Tlili

Encyclopedia of Wireless and Mobile Communications, 2008

Model-Checking for Software Vulnerabilities Detection with Multi-Language Support.

Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi

Proceedings of the Sixth Annual Conference on Privacy, Security and Trust, 2008

A Hybrid Approach for Safe Memory Management in C.

Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi

Proceedings of the Algebraic Methodology and Software Technology, 2008

A novel flow-sensitive type and effect analysis for securing C code.

Syrine Tlili, Mourad Debbabi

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

Type and Effect Annotations for Safe Memory Access in C.

Syrine Tlili, Mourad Debbabi

Proceedings of the The Third International Conference on Availability, 2008