User Tools

Site Tools


People »

Enrico Scapin, M.Sc.

Researcher at the chair of Information Security and Cryptography, University of Trier.

Enrico Scapin, M.Sc.
Room: 0.353
Phone: +49 711 685 88454
enrico.scapin@informatik.uni-stuttgart.de

Postal address:
Universität Stuttgart
Universitätsstraße 38
70569 Stuttgart
Germany

Publications

2016

  • Ralf Küsters, Johannes Müller, Enrico Scapin, and Tomasz Truderung.
    sElect: A Lightweight Verifiable Remote Voting System.
    Technical Report Cryptology ePrint Archive, Report 2016/438, 2016. Available at http://eprint.iacr.org/2016/438.
    BibTeX   Abstract   Download: [pdf] 
  • Ralf Küsters, Johannes Müller, Enrico Scapin, and Tomasz Truderung.
    sElect: A Lightweight Verifiable Remote Voting System.
    In IEEE 29th Computer Security Foundations Symposium (CSF 2016), pp. 341–354, IEEE Computer Society, 2016.
    BibTeX   Abstract   Download: [pdf] 

2015

  • Enrico Scapin.
    A Proof Technique for Noninterference In Open Systems.
    Technical Report University of Trier, 2015.
    BibTeX   Abstract   Download: [pdf] 
  • Enrico Scapin.
    A Proof Technique for Noninterference In Open Systems.
    Workshop on Foundations of Computer Security (FCS 2015), 2015.
    BibTeX   Abstract   Download: [pdf] 

2014

  • Enrico Scapin and Fausto Spoto.
    Field-sensitive unreachability and non-cyclicity analysis.
    Sci. Comput. Program., 95:359–375, 2014. Available at http://dx.doi.org/10.1016/j.scico.2014.03.012
    BibTeX   Abstract   Download: [pdf] 
  • Ralf Küsters, Enrico Scapin, Tomasz Truderung, and Jürgen Graf.
    Extending and Applying a Framework for the Cryptographic Verification of Java Programs.
    Technical Report Cryptology ePrint Archive, Report 2014/038, 2014. Available at http://eprint.iacr.org/2014/038/.
    BibTeX   Abstract   Download: [pdf] 
  • Ralf Küsters, Enrico Scapin, Tomasz Truderung, and Jürgen Graf.
    Extending and Applying a Framework for the Cryptographic Verification of Java Programs.
    In Principles of Security and Trust - Third International Conference, POST 2014, pp. 220–239, Lecture Notes in Computer Science 8414, Springer, 2014. A full version is available at http://eprint.iacr.org/2014/038
    BibTeX   Abstract   Download: [pdf] 

2013

  • Enrico Scapin and Fausto Spoto.
    Field-Sensitive Unreachability and Non-Cyclicity Analysis.
    ETAPS/BYTECODE, 2013.
    BibTeX   Abstract   Download: [pdf] 

2012

  • Enrico Scapin.
    Field-Sensitive Unreachability and Non-Cyclicity Analysis.
    Master Degree Thesis, 2012.
    BibTeX   Abstract   Download: [pdf]