Carlos ribeiro
Carlos ribeiro
INESC-ID, Instituto Superior Técnico, Universidade de Lisboa
Email confirmado em tecnico.ulisboa.pt
Título
Citado por
Citado por
Ano
SPL: An Access Control Language for Security Policies and Complex Constraints.
C Ribeiro, A Zuquete, P Ferreira, P Guedes
NDSS 1, 2001
2182001
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
442003
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
441999
EVIV: An end-to-end verifiable Internet voting system
R Joaquim, P Ferreira, C Ribeiro
Computers & Security 32, 170-191, 2013
402013
Veryvote: A voter verifiable code voting system
R Joaquim, C Ribeiro, P Ferreira
International Conference on E-Voting and Identity, 106-121, 2009
392009
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
352009
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
342014
Security policy consistency
C Ribeiro, A Zúquete, P Ferreira, P Guedes
arXiv preprint cs/0006045, 2000
322000
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
282011
Enforcing obligation with security monitors
C Ribeiro, A Zuquete, P Ferreira
International Conference on Information and Communications Security, 172-176, 2001
252001
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
242006
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
242003
Verifying workflow processes against organization security policies
C Ribeiro, P Guedes
Proceedings. IEEE 8th International Workshops on Enabling Technologies …, 1999
231999
CodeVoting protection against automatic vote manipulation in an uncontrolled environment
R Joaquim, C Ribeiro
International Conference on E-Voting and Identity, 178-188, 2007
212007
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
192011
Improving remote voting security with codevoting
R Joaquim, C Ribeiro, P Ferreira
Towards trustworthy elections, 310-329, 2010
182010
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
182003
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
172016
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
162014
A Policy-Oriented Language for Expressing Security Specifications.
C Ribeiro, P Ferreira
IJ Network Security 5 (3), 299-316, 2007
162007
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20