Folgen
Enrico Scapin
Enrico Scapin
Reply S.p.A.
Bestätigte E-Mail-Adresse bei reply.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
702016
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7