Get started
Author

Syrine Tlili

Observed name: Tlili, Syrine
OpenAlex ID: A5055445271
Smart Metering Privacy-preserving Techniques in a Nutshell
2014 · Hajer Souri, Amine Dhraief, et al. · Procedia Computer Science · 26
PDF
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support
2008 · Rachid Hadjidj, Xiaochun Yang, et al. · Conference on Privacy, Security and Trust · 17
Automatic detection of safety and security vulnerabilities in open source software
2009 · Syrine Tlili · Spectrum Research Repository (Concordia University) · 8
PDF
Verification of CERT Secure Coding Rules: Case Studies
2009 · Syrine Tlili, XiaoChun Yang, et al. · Lecture notes in computer science · 5
A Hybrid Approach for Safe Memory Management in C
2008 · Syrine Tlili, Zhenrong Yang, et al. · Lecture notes in computer science · 4
Type and Effect Annotations for Safe Memory Access in C
2008 · Syrine Tlili, Mourad Debbabi · International Conference on Availability, Reliability and Security (ARES) · 3
Security Evaluation and Hardening of Free and Open Source Software (FOSS)
2024 · Charpentier, Robert, Debbabi, Mourad, et al. · 2
Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code
2009 · Syrine Tlili, Mourad Debbabi · Journal of Automated Reasoning · 2
A novel flow-sensitive type and effect analysis for securing C code
2008 · Syrine Tlili, Mourad Debbabi · IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) · 1
Wireless Applications: Middleware Security
2008 · Marc-André Laverdière, Azzam Mourad, et al. · Encyclopedia of Wireless and Mobile Communications · 1
Scalable Security Verification of Software at Compile Time
2014 · Syrine Tlili, Jose M. Fernandez, et al. · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)
Works count: 11
Citation count: 69
H-index: 4
I10-index: 2
Year
Topic
Type