Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution. - Amir Eaman; Bahman Sistany; Amy P. Felty (MCETECH, 2017)

A Certified Core Policy Language. - Bahman Sistany; Amy P. Felty (PST, 2017)

Towards Formal Verification of Program Obfuscation. - Weiyun Lu; Bahman Sistany; Amy P. Felty; Philip J. Scott (EuroS&P Workshops, 2020)

AndroClonium: Bytecode-Level Code Clone Detection for Obfuscated Android Apps. - Ardalan Foroughipour; Natalia Stakhanova; Farzaneh Abazari; Bahman Sistany (SEC, 2022)

Adversarial Analysis of Software Composition Analysis Tools. - Ekaterina Ivanova; Natalia Stakhanova; Bahman Sistany (ISC (2), 2024)