Our paper DBCChecker: a bigraph-based tool for checking security properties of container compositions has been accepted for presentation and the proceedings of ITASEC 2023.