International Workshop on Rewriting Logic and its Applications (WRLA), page. 220 - 232, 2020-10-22
6th International Symposium on Mobile Internet Security, 2022-12-16
34th International Conference on Computer Aided Verification, CAV 2022, page. 524 - 537, 2022-08-08