Enrico Scapin

Orcid: 0000-0002-6376-2040

Affiliations:

University of Stuttgart, Germany (PhD 2018)
University of Trier, Germany (former)

According to our database¹, Enrico Scapin authored at least 4 papers between 2014 and 2018.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2018

Implementation-level analysis of cryptographic protocols and their applications to e-voting systems.

[BibT_eX]

[DOI]

Enrico Scapin

PhD thesis, 2018

2016

sElect: A Lightweight Verifiable Remote Voting System.

[BibT_eX]

[DOI]

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2014

Field-sensitive unreachability and non-cyclicity analysis.

[BibT_eX]

[DOI]

Enrico Scapin

Fausto Spoto

Sci. Comput. Program., 2014

Extending and Applying a Framework for the Cryptographic Verification of Java Programs.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Enrico Scapin

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...