Login / Signup
Bahman Sistany
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 4
Top Topics
Analysis Tool
Formal Verification
Policy Makers
Clone Detection
Top Venues
PST
EuroS&P Workshops
MCETECH
SEC
</>
Publications
</>
Ardalan Foroughipour
,
Natalia Stakhanova
,
Farzaneh Abazari
,
Bahman Sistany
AndroClonium: Bytecode-Level Code Clone Detection for Obfuscated Android Apps.
SEC
(2022)
Weiyun Lu
,
Bahman Sistany
,
Amy P. Felty
,
Philip J. Scott
Towards Formal Verification of Program Obfuscation.
EuroS&P Workshops
(2020)
Bahman Sistany
,
Amy P. Felty
A Certified Core Policy Language.
PST
(2017)
Amir Eaman
,
Bahman Sistany
,
Amy P. Felty
Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution.
MCETECH
(2017)