Follow
Enrico Scapin
Enrico Scapin
Reply S.p.A.
Verified email at reply.it - Homepage
Title
Cited by
Cited by
Year
sElect: a lightweight verifiable remote voting system
R Küsters, J Müller, E Scapin, T Truderung
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 341-354, 2016
662016
Extending and applying a framework for the cryptographic verification of java programs
R Küsters, E Scapin, T Truderung, J Graf
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
242014
Field-sensitive unreachability and non-cyclicity analysis
E Scapin, F Spoto
Science of Computer Programming 95, 359-375, 2014
62014
Poster: Security in e-voting
D Bruns, HQ Do, S Greiner, M Herda, M Mohr, E Scapin, T Truderung, ...
36th IEEE Symposium on Security and Privacy (S & P 2015), Poster Session, 2015
42015
Implementation-level analysis of cryptographic protocols and their applications to e-voting systems
E Scapin
2018
A proof technique for noninterference in open systems: An extended version
E Scapin
2015
sElect: a Java Implementation of an E-Voting System—Documentation
R Küsters, E Scapin, T Truderung
The system can't perform the operation now. Try again later.
Articles 1–7