Extending and Applying a Framework for the Cryptographic Verification of Java Programs. - Ralf Küsters; Enrico Scapin; Tomasz Truderung; Juergen Graf (IACR Cryptol. ePrint Arch., 2014)

Field-sensitive unreachability and non-cyclicity analysis. - Enrico Scapin; Fausto Spoto (Sci. Comput. Program., 2014)

sElect: A Lightweight Verifiable Remote Voting System. - Ralf Küsters; Johannes Müller 001; Enrico Scapin; Tomasz Truderung (IACR Cryptol. ePrint Arch., 2016)

Implementation-level analysis of cryptographic protocols and their applications to e-voting systems. - Enrico Scapin (2018)