| JCJ with Improved Verifiability Guarantees |
| English |
| Roenne, Peter [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 |