Ahmed Rezine

Interests

  • Parameterized verification of concurrent and distributed systems.
  • Safety verification of Neural Networks.
  • Timing Side-Channel attacks.
  • Verification of cache coherence protocols, memory consistency.
  • Verification of string manipulating programs.

Publications

A list of publications is available via Google Scholar and DBLP.

Students

Current students:

Previous students:

  • Adrian Horga. Performance and Security Analysis for GPU-Based Applications. Graduated 2022. Secondary advisor. Now at Combitech.
  • Zeinab Ganjei. Parameterized Verification of Synchronized Concurrent Programs. Graduated 2021. Main advisor. Now at Ericsson.
  • Yunyun Zhu. Caches, Transactions and Memories: Models, Coherence and Consistency. Graduated 2018. Seconday advisor. Now at Scania.
-->