Ambit: Verification of Azure RBAC. - Matija Kupresanin; Pavle Subotic (CCSW@CCS, 2023)

Formal Model Guided Conformance Testing for Blockchains. - Filip Drobnjakovic; Amir Kashapov; Matija Kupresanin; Bernhard Scholz; Pavle Subotic (CoRR, 2025)