Enrico Scapin

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 2

Top Topics

Sufficient Conditions

Handheld Devices

Top Venues

IACR Cryptol. ePrint Arch.

Sci. Comput. Program.

University of Stuttgart, Germany (PHD)

Education History

University of Stuttgart, Germany

PHD

Publications

Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung
sElect: A Lightweight Verifiable Remote Voting System. CSF (2016)
Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung
sElect: A Lightweight Verifiable Remote Voting System. IACR Cryptol. ePrint Arch. 2016 (2016)
Ralf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf
Extending and Applying a Framework for the Cryptographic Verification of Java Programs. IACR Cryptol. ePrint Arch. 2014 (2014)
Ralf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf
Extending and Applying a Framework for the Cryptographic Verification of Java Programs. POST (2014)
Enrico Scapin, Fausto Spoto
Field-sensitive unreachability and non-cyclicity analysis. Sci. Comput. Program. 95 (2014)