Matija Kupresanin

According to our database, Matija Kupresanin authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Formal Model Guided Conformance Testing for Blockchains.

Filip Drobnjakovic, Amir Kashapov, Matija Kupresanin, Bernhard Scholz, Pavle Subotic

CoRR, January, 2025

2023

Ambit: Verification of Azure RBAC.

Matija Kupresanin, Pavle Subotic

Proceedings of the 2023 on Cloud Computing Security Workshop, 2023