Abdulbaki Aydin

• String Analysis for Software Verification and Security