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, 2001
Xenorhabdus nematophila (enterobacteriacea) secretes a cation-selective calcium-independent porin which causes vacuolation of the rough endoplasmic reticulum and cell lysis
C Ribeiro, M Vignes, M Brehélin
Journal of Biological Chemistry 278 (5), 3030-3039, 2003
Insect immunity—effects of factors produced by a nematobacterial complex on immunocompetent cells
C Ribeiro, B Duvic, P Oliveira, A Givaudan, F Palha, N Simoes, ...
Journal of Insect Physiology 45 (7), 677-685, 1999
EVIV: An end-to-end verifiable Internet voting system
R Joaquim, P Ferreira, C Ribeiro
Computers & Security 32, 170-191, 2013
Veryvote: A voter verifiable code voting system
R Joaquim, C Ribeiro, P Ferreira
International Conference on E-Voting and Identity, 106-121, 2009
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
MobiPag: Integrated mobile payment, ticketing and couponing solution based on NFC
H Rodrigues, R José, A Coelho, A Melro, MC Ferreira, MP Monteiro, ...
Sensors 14 (8), 13389-13415, 2014
Security policy consistency
C Ribeiro, A Zúquete, P Ferreira, P Guedes
arXiv preprint cs/0006045, 2000
Wifihop-mitigating the evil twin attack through multi-hop detection
D Mónica, C Ribeiro
European Symposium on Research in Computer Security, 21-39, 2011
Enforcing obligation with security monitors
C Ribeiro, A Zuquete, P Ferreira
International Conference on Information and Communications Security, 172-176, 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
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
Verifying workflow processes against organization security policies
C Ribeiro, P Guedes
Proceedings. IEEE 8th International Workshops on Enabling Technologies …, 1999
CodeVoting protection against automatic vote manipulation in an uncontrolled environment
R Joaquim, C Ribeiro
International Conference on E-Voting and Identity, 178-188, 2007
An efficient and highly sound voter verification technique and its implementation
R Joaquim, C Ribeiro
International Conference on E-Voting and Identity, 104-121, 2011
Congenital chikungunya virus infection after an outbreak in Salvador, Bahia, Brazil
PPR Lyra, GS Campos, ID Bandeira, SI Sardi, LF de Moura Costa, ...
AJP reports 6 (3), e299, 2016
Improving remote voting security with codevoting
R Joaquim, C Ribeiro, P Ferreira
Towards trustworthy elections, 310-329, 2010
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
Stork 2.0: Breaking new grounds on eid and mandates
H Leitold, A Lioy, C Ribeiro
Proceedings of ID World International Congress, 1-8, 2014
A Policy-Oriented Language for Expressing Security Specifications.
C Ribeiro, P Ferreira
IJ Network Security 5 (3), 299-316, 2007
The system can't perform the operation now. Try again later.
Articles 1–20