Artigos

Meus principais artigos

FERREIRA, Lucas de Carvalho. DAHAB, Ricardo. Optimistic Blinded-key signatures for ElGamal and Related Schemes. MATA 2004 – First International Workshop on Mobility Aware technologies and Applications, Florianópolis, Brasil, 2004.

FERREIRA, Lucas de Carvalho. DAHAB, Ricardo. Optimistic Blinded-key Signatures. MAS&S 2004 – first IEEE Symposium on Multi-Agent Security and Survivability, Philadelphia, PA, USA, 2004.

FERREIRA, Lucas de Carvalho. UTO, Nelson. DAHAB, Ricardo. Combining Techniques for Protecting Mobile Agents.CIBSI’03 – Congresso Iberoamericano de Seguridad Informática, Cidade do México, Mexico, 2003.

FERREIRA, Lucas de Carvalho. DAHAB, Ricardo. Blinded-key Signatures: Embedding private keys in mobile agents. ACM Symposium on Applied Computing, Madrid, Espanha, 2002.

FERREIRA, Lucas de Carvalho. DAHAB, Ricardo.  Blinded-key Signatures: Securing private keys embedded in mobile agents. Technical report IC-01-15, Instituto de Computação - Unicamp, 2001.

FERREIRA, Gisele Rodrigues de Mesquita. FERREIRA, Lucas de Carvalho. Designing Robust and Reliable Components with Java Exceptions. Simpósio Brasileiro de Segurança em Informática (SSI 2001), São José dos Campos, 2001.

FERREIRA, Lucas de Carvalho. DAHAB, Ricardo. Secure Negotiations For Mobile Agent Systems. Simpósio Brasileiro de Segurança em Informática (SSI 2001), São José dos Campos, 2001.

FERREIRA, João de Carvalho. FERREIRA, Lucas de Carvalho. Sistema de anonimização e detecção de SPAM através de um Proxy WWW. Relatório Final de Projeto Orientado em Computação. DCC/UFMG, 2001.  

FERREIRA, Lucas de Carvalho. DAHAB, Ricardo. Beyond Parasitic Authentication. I Workshop de Segurança em Informática – Simpósio Brasileiro de Computadores Tolerantes a Falhas, Curitiba, Brasil, 2000.

FERREIRA, Lucas de Carvalho. DAHAB, R. Aragão, M. V. P. Magalhães, J. Two approaches for Pay-per-Use Software Construction.WECWIS 2000, Milpitas, CA, USA, 2000.

FERREIRA, Lucas de Carvalho. DAHAB, Ricardo. Da Implementação de um Gerador de Sistemas de Pagamento Eletrônico. I Simpósio de Segurança em Informática, São José dos Campos, Brasil, 1999.

FERREIRA, Lucas de Carvalho. DAHAB, Ricardo. Introdução aos Sistemas de Pagamento Eletrônico. XVII Jornada de Atualização em Informática, Rio de Janeiro, Brasil, 1999.

FERREIRA, Lucas de Carvalho. DAHAB, Ricardo. A Scheme for Analyzing Electronic Payment Systems. 14th Annual Computer Security Applications Conference, Phoenix, Arizona, USA, 1998

FERREIRA, Lucas de Carvalho. DAHAB, Ricardo. Formal Analysis of a Model for Electronic Payment Systems. I Workshop Brasileiro de Métodos Formais, Porto Alegre, Brasil, 1998