Email Summarization to Assist Users in Phishing Identification. - Amir Kashapov; Tingmin Wu; Sharif Abuadbba; Carsten Rudolph (AsiaCCS, 2022)

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