Rui Joaquim

Statistics

Publications

Citations

126

H-Index

Active since

2003

Affiliations

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento(Current)

Rui Joaquim is an author at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento specializing in formal verification, data privacy, and data security.

Top concepts

EngineeringCryptographyData PrivacyData SecurityComputer ScienceFormal VerificationInformation SecurityVerificationHardware SecurityInformation Forensics

Publications per year

2003–2012

Publications

REVS – A ROBUST ELECTRONIC VOTING SYSTEM

Rui Joaquim, André Zúquete, Paulo Ferreira · 2003 · 79 citations

EVIV: An end-to-end verifiable Internet voting system

Rui Joaquim, Paulo Ferreira, Carlos Ribeiro · Computers & Security · 2012 · 29 citations · Full text

Secure Multi-party Computation, Engineering, Information Security +8

INTERNET VOTING: IMPROVING RESISTANCE TO MALICIOUS SERVERS IN REVS

Ricardo Lebre, André Zúquete, Rui Joaquim et al. · 2004 · 18 citations

Engineering, Information Security, Information Forensics +17

1–3 of 3