Reserved Area
Bio
Publications
Vítor Pereira
Cryptography and Information Security
PhD Student
(email)
Recent Publications
Estevez E,
Cledou MG
, Janowski T
. 2013.
Electronic Participation - Framework
.
Estevez E,
Cledou MG
, Janowski T
. 2013.
Electronic Participation - Toolkit
.
« first
‹ previous
…
76
77
78
79
80
81
82
83
84
Recent Publications
A deductive verification tool for cryptographic software
more