Mahmudul Faisal Al Ameen

According to our database, Mahmudul Faisal Al Ameen authored at least 7 papers between 2009 and 2025.

Collaborative distances:

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

2025

Systematic Timing Leakage Analysis of NIST PQDSS Candidates: Tooling and Lessons Learned.

Olivier Adjonyo, Sébastien Bardin, Emanuele Bellini, Gilbert Ndollane Dione, Mahmudul Faisal Al Ameen, Robert Merget, Frédéric Recoules, Yanis Sellami

CoRR, September, 2025

2022

Asynchronous Unfold/Fold Transformation for Fixpoint Logic.

Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2021

Function Pointer Eliminator for C Programs.

Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2019

Completeness and expressiveness of pointer program verification by separation logic.

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen

Inf. Comput., 2019

2018

A Logical System for Modular Information Flow Verification.

Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2016

Completeness for recursive procedures in separation logic.

Mahmudul Faisal Al Ameen, Makoto Tatsuta

Theor. Comput. Sci., 2016

2009

Completeness of Pointer Program Verification by Separation Logic.

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009