User Tools

Site Tools


People »

Enrico Scapin, M.Sc.

Researcher at the chair of Information Security, University of Stuttgart.

Enrico Scapin, M.Sc.
Ph.D. Student
Room: 2.458
Phone: +49 711 685 88454
enrico.scapin@sec.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  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), pages 341-354, IEEE Computer Society, 2016. BibTeX  Abstract  pdf 

2015

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

2014

  • Enrico Scapin and Fausto Spoto. Field-sensitive unreachability and non-cyclicity analysis. In Sci. Comput. Program., 95: 359-375, 2014. Available at http://dx.doi.org/10.1016/j.scico.2014.03.012. BibTeX  Abstract  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  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, pages 220-239, Springer, Lecture Notes in Computer Science 8414, 2014. A full version is available at http://eprint.iacr.org/2014/038. BibTeX  Abstract  pdf 

2013

  • Enrico Scapin and Fausto Spoto. Field-Sensitive Unreachability and Non-Cyclicity Analysis. ETAPS/BYTECODE. BibTeX  Abstract  pdf 

2012

  • Enrico Scapin. Field-Sensitive Unreachability and Non-Cyclicity Analysis. Master Degree Thesis. BibTeX  Abstract  pdf