Reference : JCJ with Improved Verifiability Guarantees
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/29212
JCJ with Improved Verifiability Guarantees
English
Roenne, Peter mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
2016
Yes
E-Vote-ID
from 18-10-2016 to 21-10-2016
http://hdl.handle.net/10993/29212
FnR ; FNR9472655 > Peter Y. A. Ryan > Sequoia > Security properties, process equiva-lences and automated veri cation > 01/02/2015 > 31/01/2019 > 2013

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Civitas-VFinal.pdfAuthor postprint240 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.