According to our database1, Syrine Tlili authored at least 10 papers between 2008 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Scalable Security Verification of Software at Compile Time.
Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014
Smart Metering Privacy-preserving Techniques in a Nutshell.
Proceedings of the 5th International Conference on Ambient Systems, 2014
Security Evaluation and Hardening of Free and Open Source Software (FOSS).
Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.
J. Autom. Reasoning, 2009
Verification of CERT Secure Coding Rules: Case Studies.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009
Wireless Applications: Middleware Security.
Encyclopedia of Wireless and Mobile Communications, 2008
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support.
Proceedings of the Sixth Annual Conference on Privacy, Security and Trust, 2008
A Hybrid Approach for Safe Memory Management in C.
Proceedings of the Algebraic Methodology and Software Technology, 2008
A novel flow-sensitive type and effect analysis for securing C code.
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008
Type and Effect Annotations for Safe Memory Access in C.
Proceedings of the The Third International Conference on Availability, 2008