Carlos ribeiro
Carlos ribeiro
INESC-ID, Instituto Superior Técnico, Universidade de Lisboa
Verified email at
Cited by
Cited by
SPL: An Access Control Language for Security Policies and Complex Constraints.
C Ribeiro, A Zuquete, P Ferreira, P Guedes
NDSS 1, 89-107, 2001
MobiPag: Integrated mobile payment, ticketing and couponing solution based on NFC
H Rodrigues, R José, A Coelho, A Melro, MC Ferreira, JFE Cunha, ...
Sensors 14 (8), 13389-13415, 2014
Veryvote: A voter verifiable code voting system
R Joaquim, C Ribeiro, P Ferreira
E-Voting and Identity: Second International Conference, VOTE-ID 2009 …, 2009
EVIV: An end-to-end verifiable Internet voting system
R Joaquim, P Ferreira, C Ribeiro
computers & security 32, 170-191, 2013
On the use of radio resource tests in wireless ad hoc networks
D Mónica, J Leitao, L Rodrigues, C Ribeiro
Proc. 3rd WRAITS, 21-26, 2009
Wifihop-mitigating the evil twin attack through multi-hop detection
D Mónica, C Ribeiro
Computer Security–ESORICS 2011: 16th European Symposium on Research in …, 2011
STORK: a real, heterogeneous, large-scale eID management system
C Ribeiro, H Leitold, S Esposito, D Mitzam
International Journal of Information Security 17, 569-585, 2018
Security policy consistency
C Ribeiro, A Zúquete, P Ferreira, P Guedes
arXiv preprint cs/0006045, 2000
Obiwan: design and implementation of a middleware platform
P Ferreira, L Veiga, C Ribeiro
IEEE Transactions on Parallel and Distributed Systems 14 (11), 1086-1099, 2003
An efficient and highly sound voter verification technique and its implementation
R Joaquim, C Ribeiro
E-Voting and Identity: Third International Conference, VoteID 2011, Tallinn …, 2012
Enforcing obligation with security monitors
C Ribeiro, A Zúquete, P Ferreira
Information and Communications Security: Third International Conference …, 2001
Heimdhal: A history-based policy engine for grids
P Gama, C Ribeiro, P Ferreira
Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID …, 2006
Verifying workflow processes against organization security policies
C Ribeiro, P Guedes
Proceedings. IEEE 8th International Workshops on Enabling Technologies …, 1999
Improving remote voting security with codevoting
R Joaquim, C Ribeiro, P Ferreira
Towards Trustworthy Elections: New Directions in Electronic Voting, 310-329, 2010
CodeVoting protection against automatic vote manipulation in an uncontrolled environment
R Joaquim, C Ribeiro
E-Voting and Identity: First International Conference, VOTE-ID 2007, Bochum …, 2007
Enforcing history-based security policies in mobile agent systems
P Dias, C Ribeiro, P Ferreira
Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for …, 2003
Incentive mechanisms in peer-to-peer networks
PD Rodrigues, C Ribeiro, L Veiga
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
Stork 2.0: Breaking new grounds on eid and mandates
H Leitold, A Lioy, C Ribeiro
ID World International Congress, 1-8, 2014
A Policy-Oriented Language for Expressing Security Specifications.
C Ribeiro, P Ferreira
Int. J. Netw. Secur. 5 (3), 299-316, 2007
CodeVoting: protecting against malicious vote manipulation at the voter's PC
R Joaquim, C Ribeiro
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2008
The system can't perform the operation now. Try again later.
Articles 1–20