Carlos ribeiro
Carlos ribeiro
INESC-ID, Instituto Superior Técnico, Universidade de Lisboa
Email confirmado em tecnico.ulisboa.pt
TítuloCitado porAno
SPL: An Access Control Language for Security Policies and Complex Constraints.
C Ribeiro, A Zuquete, P Ferreira, P Guedes
NDSS 1, 2001
2082001
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
461999
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
432003
Veryvote: A voter verifiable code voting system
R Joaquim, C Ribeiro, P Ferreira
International Conference on E-Voting and Identity, 106-121, 2009
392009
EVIV: An end-to-end verifiable Internet voting system
R Joaquim, P Ferreira, C Ribeiro
Computers & Security 32, 170-191, 2013
332013
Security policy consistency
C Ribeiro, A Zúquete, P Ferreira, P Guedes
arXiv preprint cs/0006045, 2000
332000
MobiPag: Integrated mobile payment, ticketing and couponing solution based on NFC
H Rodrigues, R José, A Coelho, A Melro, M Ferreira, J Cunha, M Monteiro, ...
Sensors 14 (8), 13389-13415, 2014
272014
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
272009
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
242011
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
Enforcing obligation with security monitors
C Ribeiro, A Zuquete, P Ferreira
International Conference on Information and Communications Security, 172-176, 2001
232001
Verifying workflow processes against organization security policies
C Ribeiro, P Guedes
Proceedings. IEEE 8th International Workshops on Enabling Technologies …, 1999
221999
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
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
192006
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
182011
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
A Policy-Oriented Language for Expressing Security Specifications.
C Ribeiro, P Ferreira
IJ Network Security 5 (3), 299-316, 2007
162007
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
132014
Incentive mechanisms in peer-to-peer networks
PD Rodrigues, C Ribeiro, L Veiga
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
132010
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20