Carlos Alberto Maziero

Possui graduação em Engenharia Elétrica (UFSC, 1982-1987), mestrado em Engenharia Elétrica (UFSC, 1988-1990), doutorado em Informática (IRISA/INRIA Rennes, França, 1990-1994), pós-doutorado (Universidade de Milão, Itália, 2009), pós-doutorado (INRIA Rennes Bretagne Atlantique, França, 2018) e pós-doutorado (Universidade de Milão, Itália, 2025). Atualmente é professor associado do DInf/UFPR. Foi professor adjunto do DAINF/UTFPR (2011-2015), professor titular do PPGIa/PUCPR (1998-2011), professor adjunto do DAS/UFSC (1996-1998), professor convidado da École des Mines de Nantes - França (1999-2001) e da Université de Rennes I - França (2007-2008). Foi cofundador do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (2001), fundador e primeiro coordenador da Comissão Especial da SBC nessa área (2004-2006) e representante brasileiro no IFIP TC-11 (2006-2010). Tem experiência na área de Sistemas de Computação e atua em Sistemas Operacionais, Segurança de Sistemas e Sistemas Distribuídos.

Informações coletadas do Lattes em 28/01/2026

Acadêmico

Formação acadêmica

Doutorado em Informática

1990 - 1994

Universite de Rennes I
Título: Conception et réalisation d'un noyau de système réparti pour la simulation parallèle
Orientador: Michel Raynal
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Simulação distribuída; Sistemas distribuídos; Algoritmos distribuidos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico.

Mestrado em Engenharia Elétrica

1988 - 1990

Universidade Federal de Santa Catarina
Título: Um ambiente para a análise e simulação de sistemas modelados por redes de Petri
Orientador: Jean-Marie Farines
, Ano de Obtenção: 1990.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Redes de Petri; Técnicas de descrição formal; Engenharia de software.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.

Graduação em Engenharia Elétrica

1983 - 1987

Universidade Federal de Santa Catarina

Pós-doutorado

2025

Pós-Doutorado. , Università degli Studi di Milano, UNIMI, Itália. , Grande área: Ciências Exatas e da Terra

2018 - 2018

Pós-Doutorado. , Centre de recherche Inria Rennes - Bretagne Atlantique, INRIA-RENNES, França. , Grande área: Ciências Exatas e da Terra

2009 - 2009

Pós-Doutorado. , Università degli Studi di Milano, UNIMI, Itália. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.

Bandeira representando o idioma Italiano

Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.

Bandeira representando o idioma Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Teleinformática.

Organização de eventos

Maziero, Carlos ; R. Terada ; WANGHAM, Michelle ; FRAGA, Joni da Silva . Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais. 2015. (Congresso).

SIQUEIRA, Frank ; FRAGA, Joni da Silva ; Maziero, Carlos . Simpósio Brasileiro de Redes de Computadores - Coordenação de Minicursos. 2014. (Congresso).

Maziero, Carlos ; SANTIN, A. O. ; SANTOS, A. L. . Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais. 2012. (Congresso).

Maziero, Carlos ; SANTOS, André . Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais - Palestras e Tutoriais. 2010. (Congresso).

Maziero, Carlos ; GASPARY, Luciano ; WEBER, Raul . Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais - Minicursos. 2008. (Congresso).

Maziero, Carlos ; DUARTE JR, Elias Procópio ; FONSECA, Keiko Verônica Ono . Simpósio Brasileiro de Redes de Computadores - Organização geral. 2006. (Congresso).

Maziero, Carlos ; GASPARY, Luciano . Concurso de Trabalhos de Iniciação Científica. 2005. (Concurso).

Maziero, Carlos ; LUNG, Lau Cheuk . Workshop em Segurança de Sistemas Computacionais. 2003. (Congresso).

Maziero, Carlos . Workshop em Segurança de Sistemas Computacionais. 2002. (Congresso).

Maziero, Carlos . Workshop em Segurança de Sistemas Computacionais. 2001. (Congresso).

Maziero, Carlos . Congresso da Sociedade Brasileira de Computação - Coordenação Técnica. 2000. (Congresso).

Participação em eventos

Intl Conference on Security and Cryptography (SECRYPT).Membro do comitê de programa. 2018. (Simpósio).

XVIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg).Membro do comitê de programa. 2018. (Simpósio).

Intl Conference on Security and Cryptography (SECRYPT).Membro do comitê de programa. 2017. (Simpósio).

VII Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC).Membro do comitê de programa. 2017. (Simpósio).

XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg).Membro do comitê de programa. 2017. (Simpósio).

Intl Conference on Security and Cryptography (SECRYPT).Membro do comitê de programa. 2016. (Simpósio).

VI Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC).Membro do comitê de programa. 2016. (Simpósio).

XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg).Membro do comitê de programa. 2016. (Simpósio).

9th Intl Conference on Network and System Security (NSS).Membro do Comitê de Programa. 2015. (Simpósio).

Intl Conference on Security and Cryptography (SECRYPT).Membro do Comitê de Programa. 2015. (Simpósio).

Intl Symposium on Security and Privacy in Social Networks and Big Data (SocialSec 2015).Membro do comitê de programa. 2015. (Simpósio).

V Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC).Membro do comitê de programa. 2015. (Simpósio).

8th Intl Conference on Network and System Security (NSS).Membro do comitê de programa. 2014. (Simpósio).

Intl Conference on Security and Cryptography (SECRYPT).Membro do comitê de programa. 2014. (Simpósio).

IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC).Membro do comitê de programa. 2014. (Simpósio).

XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg).Membro do comitê de programa. 2014. (Simpósio).

28th IFIP Intl Information Security Conference (SEC).Membro do comitê de programa. 2013. (Simpósio).

4th Intl Conference on Computer Science and its Applications (CIIA).Membro do comitê de programa. 2013. (Simpósio).

7th Intl Conference on Network and System Security (NSS).Membro do comitê de programa. 2013. (Simpósio).

IEEE Intl Conference on Computational Science and Engineering (CSE).Membro do Comitê de Programa. 2013. (Simpósio).

III Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC).Membro do Comitê de Programa. 2013. (Simpósio).

Intl Conference on Security and Cryptography (SECRYPT).Membro do comitê de programa. 2013. (Simpósio).

XIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg).Membro do comitê de programa. 2013. (Simpósio).

XIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg).Membro do Comitê de Programa. 2013. (Simpósio).

6th Intl Conference on Network and System Security (NSS).Membro do comitê de programa. 2012. (Simpósio).

IEEE-AESS Conference in Europe about Space and Satellite Communications (ESTEL).Membro do comitê de programa. 2012. (Simpósio).

IEEE Intl Conference on Computational Science and Engineering (CSE).Membro do comitê de programa. 2012. (Simpósio).

Intl Conference on Security and Cryptography (SECRYPT).Membro do comitê de programa. 2012. (Simpósio).

Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC).Membro do comitê de programa. 2012. (Simpósio).

XII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg).Membro do comitê de programa. 2012. (Simpósio).

26th IFIP Intl Information Security Conference (SEC).Membro do comitê de programa. 2011. (Simpósio).

5th Intl Conference on Network and System Security (NSS).Membro do comitê de programa. 2011. (Simpósio).

5th Latin-American Symposium On Dependable Computing (LADC).Membro do comitê de programa.. 2011. (Simpósio).

5th Workshop in Information Security Theory and Practice (WISTP).Membro do comitê de programa.. 2011. (Simpósio).

IEEE Intl Conference on Communications (ICC), Communication and Information Systems Security Symposium (CISS).Membro do comitê de programa.. 2011. (Simpósio).

Intl Conference on Security and Cryptography (SECRYPT).Membro do comitê de programa. 2011. (Simpósio).

Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC).Membro do comitê de programa. 2011. (Simpósio).

Simpósio Brasileiro de Redes de Computadores (SBRC) - Salão de Ferramentas.Membro do comitê de programa. 2011. (Simpósio).

Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg).Membro do comitê de programa. 2011. (Simpósio).

25th IFIP Intl Information Security Conference (SEC).Membro do comitê de programa. 2010. (Simpósio).

4th IFIP Workshop on Information Security Theory and Practice (WISTP).Membro do comitê de programa. 2010. (Simpósio).

EuroSys Workshop on Isolation and Integration for Dependable Systems.Membro do comitê de programa. 2010. (Simpósio).

Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg).Membro do comitê de programa do evento principal, dos minicursos e do concurso de teses e dissertações.. 2010. (Simpósio).

Workshop de Sistemas Operacionais da SBC.Membro do comitê de programa. 2010. (Simpósio).

12th Information Security Conference (ISC 2009).Membro do comitê de programa. 2009. (Simpósio).

5th Intl Workshop on Security and Trust Management (STM).Membro do comitê de programa. 2009. (Simpósio).

EuroSys Workshop on Virtualization Technology for Dependable Systems.Membro do comitê de programa. 2009. (Simpósio).

Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais.Membro do comitê de programa. 2009. (Simpósio).

Workshop de Sistemas Operacionais da SBC.Membro do comitê de programa. 2009. (Simpósio).

XXXV Conferencia Latinoamericana de Informática.Membro do comitê de programa. 2009. (Simpósio).

IEEE Globecom Computer and Communications Network Security Symposium.Membro do comitê de programa. 2008. (Simpósio).

IEEE ICC'08 - Information and Network Security Symposium.Membro do comitê de programa. 2008. (Simpósio).

IEEE International Conference on Computational Science and Engineering.Membro do comitê de programa. 2008. (Simpósio).

SEMISH Seminário Integrado Software-Hardware.Membro do comitê de programa. 2008. (Simpósio).

Simpósio Brasileiro de Redes de Computadores.Membro do comitê de programa. 2008. (Simpósio).

Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais.Membro do comitê de programa. 2008. (Simpósio).

Workshop de Sistemas Operacionais.Membro do comitê de programa. 2008. (Simpósio).

IEEE Computer and Communications Network Security Symposium.Membro do comitê de programa. 2007. (Simpósio).

Latin-American Symposium on Dependable Computing.Membro do comitê de programa. 2007. (Simpósio).

Simpósio Brasileiro de Redes de Computadores.Membro do comitê de programa. 2007. (Simpósio).

Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais.Membro do comitê de programa. 2007. (Simpósio).

Workshop de Sistemas Operacionais.Membro do comitê de programa. 2007. (Simpósio).

Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais.Membro do comitê de programa. 2006. (Simpósio).

Workshop de Sistemas Operacionais.Membro do comitê de programa. 2006. (Simpósio).

Latin-American Symposium on Dependable Computing.Program Co-Chair. 2005. (Simpósio).

Simpósio Brasileiro de Redes de Computadores.Membro do comitê de programa. 2005. (Simpósio).

Simpósio Brasileiro de Redes de Computadores - Salão de Ferramentas.Membro do comitê de avaliação. 2005. (Oficina).

Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais.Membro do comitê de programa. 2005. (Simpósio).

Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais - Minicursos.Membro do comitê de avaliação. 2005. (Simpósio).

Workshop de Sistemas Operacionais.Membro do comitê de programa. 2005. (Simpósio).

Congresso da SBC - Concurso de Teses e Dissertações.Membro do comitê de avaliação. 2004. (Simpósio).

Simpósio Brasileiro de Redes de Computadores.Membro do comitê de programa. 2004. (Simpósio).

Workshop de Sistemas Operacionais.Membro do comitê de programa. 2004. (Simpósio).

Workshop em Segurança de Sistemas Computacionais.Membro do comitê de programa. 2004. (Simpósio).

Latin-American Symposium on Dependable Computing.Membro do comitê de programa. 2003. (Simpósio).

Simpósio Brasileiro de Redes de Computadores - Minicursos.Membro do comitê de avaliação. 2003. (Simpósio).

Simpósio de Segurança em Informática.Membro do comitê de programa. 2003. (Simpósio).

Workshop em Segurança de Sistemas Computacionais.Membro do comitê de programa. 2003. (Simpósio).

Simpósio de Segurança em Informática.Membro do comitê de programa. 2002. (Simpósio).

Workshop de Testes e Tolerância a Faltas.Membro do comitê de programa. 2002. (Simpósio).

Workshop em Segurança de Sistemas Computacionais.Membro do comitê de programa. 2002. (Simpósio).

Simpósio de Segurança em Informática.Membro do comitê de programa. 2001. (Simpósio).

Workshop de Testes e Tolerância a Faltas.Membro do comitê de programa. 2000. (Simpósio).

Participação em bancas

Aluno: Vinícius Fonseca Maciel

MATIAS JR, R.; FROHLICH, A. A.;Maziero, C. A.; MACIEL, P. R. M.. Infraestrutura de Kernel para Coleta de Dados de Eventos de Falha no Linux. 2024. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Luis Henrique Pelegrin Figueiredo

VENDRAMIN, A. C.;Maziero, C. A.; SIMAO, J. M.; TALAU, M.; LINHARES, R. R.. Framework PON C++ 4.0 IoT: Paradigma Orientado a Notificações para Ambiente de Internet das Coisas. 2022. Dissertação (Mestrado em Programa de Pós-Graduação em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

Aluno: Marcos Aurelio Ribeiro

FONSECA, Mauro; VENDRAMIN, A. C.;Maziero, C. A.; PIGATTO, D.; SANTI, J.. Detectando e Mitingando Ataques DDoS com a Abordagem MTD com Base na Classificação de Fluxo Automatizada em Redes SDN. 2022. Dissertação (Mestrado em Programa de Pós-Graduação em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

Aluno: Bruno Eduardo de Oliveira Meneguele

FONSECA, Keiko Verônica Ono;Maziero, C. A.; ROSA, M. O.; FARIA, R. A.. SKEEN: ambiente de execução segura do kernel com intel SGX. 2022. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: José Wilson Vieira Flauzino

DUARTE JR, Elias Procópio;Maziero, C. A.; SANTOS, C. R. P.. Uma Plataforma NFV-Mano para Suporte e Orquestração de Serviços de Rede Virtualizados em Nuvem Cloudstack. 2021. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Eric Eduardo Bunese

PESSOA, L. A.;Maziero, C. A.; GONDIM, P. R. L.. Vanet Security Through Group Broadcast Encryption. 2021. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Diogo Vinícius Martins da Cruz

VENDRAMIN, A. C.;Maziero, C. A.; NACAMURA JR, Luis; DELGADO, M. R. B. S.. Identificação de Ataques de Negação de Serviço Distribuído na Computação em Névoa utilizando um Sistema de Inferência Fuzzy. 2021. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

Aluno: Renan de Souza Polisciuc

ALBINI, L. C. P.; SANTI, J.; GREGIO, A. R. A.;MAZIERO, CARLOS A.. Diagnóstico de Traços Maliciosos no Android utilizando Chamadas de Sistema. 2020. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Matheus Leitzke Pinto

OLIVEIRA, A. S.; OLIVEIRA, Rômulo;Maziero, C. A.; WEHRMEISTER, M. A.. Workflow para Desenvolvimento de Aplicações Robóticas com Requisitos de Tempo Real. 2020. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Filipe Lautert

GOMES JR, L. C.; PIGATTO, D.;Maziero, C. A.; BERARDI, R.. A fog computing architecture for privacy-preserving data provenance using blockchains. 2020. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

Aluno: Paulo Roberto Uhlig

NACAMURA JR, Luis; VENDRAMIN, A. C.;FONSECA, MauroSantin, A.Maziero, Carlos. Avaliação do impacto de segurança de dispositivos móveis via abordagem Fuzzy. 2019. Dissertação (Mestrado em Programa de Pós-Graduação em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

Aluno: David Novaski Neto

PERES, L. M.; EMER, M. C. F. P.;Maziero, Carlos. Web (eternamente) revisitada: análise de vulnerabilidades Web e de ferramentas de código aberto para exploração. 2019. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Fabio Negrini

STADZISZ, P. C.;Maziero, Carlos; RONSZCKA, A. F.. Tecnologia NOPL Erlang-Elixir - Paradigma orientado a notificações via uma abordagem orientada a microatores síncronos. 2019. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Pedro Thiago Timbó Holanda

ALMEIDA, E. C.; SILVA, M. V. G.;Maziero, Carlos. SPST-Index: A Self-Pruning Splay Tree Index for Caching Database Cracking. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Marcus Felipe Botacin

GEUS, Paulo Lício de; RIGO, S.;Maziero, Carlos. Hardware-Assisted Malware Analysis. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Ray Willy Neiheiser

RECH, L. O.;Maziero, Carlos; SIQUEIRA, Frank; MELLO, R. S.. Byzantine Fault Tolerant Architecture in Geographically Distributed Graph Databases. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Vilmar Abreu Jr

SANTIN, A. O.Maziero, Carlos; OBELHEIRO, R. R.. Modelo de Ativação Multidomínio de Papeis RBAC. 2016. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Rafael Hansen da Silva

GASPARY, Luciano;Maziero, Carlos; BARCELLOS, Antônio Marinho; SCHAEFFER FILHO, A. E.. Uma abordagem escalável para controle de acesso muitos-para-muitos em redes centradas em informação. 2016. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Simone Dominico

ALMEIDA, E. C.;Maziero, Carlos; MEIRA, J. A.; KUNZLE, Luis Allan; ALVES, M. A. Z.. Provisionamento de recursos computacionais baseado em redes de Petri para bancos de dados orientados à leitura. 2016. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Luís Fernando Arcaro

OLIVEIRA, Rômulo;Maziero, Carlos; KOLIVER, C.; GRACIOLI, G.. Implementação de um Sistema Operacional Compatível com a Especificação ARINC 653. 2015. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Henrique Zelak Leite Bastos

PESSOA, L. A.;Maziero, Carlos; SILVA, E.. Análise de desempenho e projeto de uma infraestrutura de cidade inteligente para transporte público de Curitiba. 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Luis Gonzaga de Paulo

NACAMURA JR, Luis;SANTIN, A. O.Maziero, Carlos; EMER, M. C. F. P.. Um modelo complementar para aprimorar a segurança da informação no SDLC para dispositivos móveis: SDD - Security Driven Development. 2015. Dissertação (Mestrado em Programa de Pós-Graduação em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

Aluno: Paulo Henrique de Morais

RECH, L. O.;Maziero, Carlos; OBELHEIRO, R. R.; SIQUEIRA, Frank. Tolerância a Faltas Bizantinas Usando Técnicas de Introspecção de Máquinas Virtuais. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Tarcisio Ceolin Junior

SANTOS, O. M.;Maziero, Carlos; LEGG, A. P.. Correlação de Alertas em um Internet Early Warning System. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Víctor Leonel Orozco López

CERETTA JR, R.; FONTOURA, L. M.;Maziero, Carlos. Análise/Avaliação de Riscos de Segurança de Informação: Quantificação de Confiança como um Parâmetro de Redução de Desvios de Resultados por Causas Humanas. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Josiney de Souza

Bona, L.; SUCHODOLETZ, D. V.;Maziero, Carlos; Silva, F.. Avaliação de algoritmos de escalonamento de disco com qualidade de serviço em ambientes virtualizados. 2014. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Ricardo Stegh Camati

CALSAVARA, AlcidesLIMA JR, LuizMaziero, Carlos. Novos algoritmos para alocação de máquinas virtuais e um novo método de avaliação de desempenho. 2013. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: André Augusto da Silva Pereira

GEUS, Paulo Lício de; DAHAB, Ricardo;Maziero, Carlos. Framework de kernel para auto-proteção e administração em um sistema de segurança imunológico. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Fernando Achylles Dettoni

LUNG, Lau CheukMaziero, Carlos; WANGHAM, Michelle; DANTAS, Mário. TwinBFT: Tolerância a Faltas Bizantinas com Máquinas Virtuais Gêmeas. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Raquel de Jesus Pinheiro

LIMA JR, LuizCALSAVARA, AlcidesMaziero, Carlos. Sistemas Distribuídos Baseados em Eventos - Disseminação e Descentralização de Informações. 2013. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: João Henrique de Lima

LIMA, C. R. E.; HEXSEL, Roberto André; FABRO, J. A.;Maziero, Carlos. Proposta de um Transmissor de Dados Portátil e de Baixo Custo para o Processo Eleitoral Brasileiro. 2013. Dissertação (Mestrado em Programa de Pós-Graduação em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

Aluno: Luiz Fernando Schrickte

MONTEZ, CarlosMaziero, Carlos; SILVA, E. S. E.; QUEIROZ, M. H.. Projeto, implementação e avaliação de desempenho de nós e gateways 6LoWPAN. 2013. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Darlan Segalin

SANTIN, A. O.CALSAVARA, Alcides; OLIVEIRA, Luiz Eduardo;Maziero, Carlos. Detecção inteligente de surtos de processamento na computação em nuvem. 2013. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Tony Alexander Hild

D. Weingaertner;Maziero, Carlos; HEXSEL, Roberto André. Otimização do Insight Segmentation and Registration Toolkit (ITK) utilizando Streaming SIMD Extensions (SSE) e OpenMP. 2012. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Cristina Klippel Dominicini

T. Carvalho; RUGGIERO, W. V.;Maziero, Carlos. Uma abordagem centrada no usuário para compartilhamento e gerenciamento de dados entre aplicações Web. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Gil Eduardo de Andrade

LIMA JR, LuizCALSAVARA, AlcidesMaziero, Carlos. VeloSent - Protocolo de roteamento sensível ao contexto: posição e sentido para redes tolerantes a atrasos e desconexões. 2012. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Everson Carlos Mauda

Reinehr, S.;SANTIN, A. O.; Malucelli, A.;Maziero, Carlos. Modelo de qualidade para características internas de segurança de componentes de software. 2012. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Vitor Monte Afonso

GEUS, Paulo Lício de; Cansian, A. M.; HERNANDEZ, J. C. L.;Maziero, Carlos; MARTINS, E.. Um sistema para análise e detecção de ataques ao navegador Web. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Dario Simões Fernandes Filho

GEUS, Paulo Lício de; Cansian, A. M.; MADEIRA, Emundo;Maziero, Carlos; DRUMMOND, Rogério. Behemot - um sistema híbrido de análise de malware. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Vinicius Moll

FRAGA, Joni da SilvaMaziero, Carlos; HÜBNER, J. F.; OBELHEIRO, R. R.. Detecção de intrusão usando técnicas de aprendizado de máquina. 2010. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Cleber Kiel Olivo

SANTIN, A. O.Maziero, Carlos; DUARTE JR, Elias Procópio; OLIVEIRA, Luiz Eduardo. Avaliação de características para detecção de phishing de e-mail. 2010. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Clovis Ronaldo da Costa Bento

JAMHOUR, Edgard; WILLE, Emílio;Maziero, Carlos. Algoritmos para projeto e otimização de redes IP com o dimensionamento de enlaces e buffers com restrições de qualidade de serviço fim-a-fim. 2008. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Wilian Antonio Anhaia de Queiroz

LIMA JR, LuizLUNG, Lau Cheuk; FONSECA, Anelise;Maziero, CarlosCALSAVARA, Alcides. Um algoritmo de difusão seletiva semanticamente confiável baseado na técnica de escalonamento (M-K) -firm. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Regivaldo Gomes Costa

SANTIN, A. O.; DAHAB, Ricardo;Maziero, Carlos. Sistema Seguro de Votação Eletrônica Multi-Cédulas. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Fábio Negrello

WAINER, Jacques;Maziero, Carlos; DAHAB, Ricardo; GEUS, Paulo Lício de. Um modelo discricionário de delegação e revogação. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Neander Larsen Brisola

SANTIN, A. O.LUNG, Lau CheukMaziero, Carlos; WANGHAM, Michelle. Um modelo baseado em chaves públicas para autenticidade de conteúdo p2p, controle de acesso e reputação. 2007. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Leonardo Lemes Fagundes

GASPARY, Luciano; BARCELLOS, Antônio Marinho;Maziero, Carlos. Uma abordagem para a detecção de ataques distribuídos e de múltiplas etapas baseada na composição de serviços Web voltados à segurança. 2006. Dissertação (Mestrado em Computação Aplicada) - Universidade do Vale do Rio dos Sinos.

Aluno: Martim de Andrade Carbone

GEUS, Paulo Lício de;Maziero, Carlos; GUIMARÃES, Célio. Framework de Kernel para um Sistema de Segurança Imunológico. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Luciana Esteves Neves Hilário

LEITE, Julius;Maziero, Carlos; ALBUQUERQUE, Célio. Qualidade de Serviço em Redes Mesh. 2006. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

Aluno: Felipe Rolim Pellissari

WESTPHALL, Carla Merkle;Maziero, Carlos; WESTPHALL, Carlos Becker; MAZZOLA, Vitório Bruno. RBRP: Protocolo de Reputação para Redes Peer-to-Peer Baseado em Papéis. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Fabrício Bortoluzzi

WESTPHALL, Carla Merkle;Maziero, Carlos; DANTAS, Mário; MAZZOLA, Vitório Bruno. Aplicação da Análise de Causa Raiz a Sistemas de Detecção de Intrusão. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Guilherme Herrmann Destefani

NEVES JR, Flávio;Maziero, Carlos; MÜLLER JR, Bruno; RENAUX, Douglas. Verificação Oportunista de Assinaturas Digitais para Programas e Bibliotecas em Sistemas Operacionais Paginados. 2005. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Giuliana Teixeira Santos

LUNG, Lau CheukFRAGA, Joni da Silva; NACAMURA JR, Luis;Maziero, Carlos. FTWeb: Uma Infra-Estrutura Flexível para Tolerância a Faltas em Arquiteturas Orientadas a Serviços. 2005. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Fábio André Seidel

SANTIN, A. O.; SIQUEIRA, Frank;Maziero, CarlosLUNG, Lau Cheuk. Provendo Comportamento Discricionário ao Modelo BIBA de Integridade Multinível. 2005. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Marcelo Roberto Schuck

CALSAVARA, Alcides; ALMEIDA, Jussara;Maziero, Carlos. Substituição de objetos em cache da Internet baseada em semântica e histórico de acessos. 2005. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Thiago Eugênio Bezerra de Mello

DUARTE JR, Elias Procópio;Maziero, Carlos; HEXSEL, Roberto André. Nariz - um sistema de correlacionamento distribuído de alertas. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Luiz Gustavo Cunha Barbato

MONTES, Antônio;Maziero, Carlos; BECCENERI, José Carlos; GUEDES, Ulisses Thadeu. Monitoração de atividades em máquinas preparadas para serem comprometidas (Honeypots). 2004. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Fernando Cezar de Oliveira Lopes

CUSTÓDIO, Ricardo;Maziero, Carlos; ROLT, Carlos. Denúncia Anônima Segura. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Luciana Rita Guedes Ghisleri

CUSTÓDIO, Ricardo;Maziero, Carlos; ROLT, Carlos. Proposta de um protocolo criptográfico para auditoria de publicidade na Web. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Marcelo Abdalla dos Reis

GEUS, Paulo Lício de;Maziero, Carlos; DAHAB, Ricardo. Forense computacional e sua aplicação em segurança imunológica. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Diego de Assis Monteiro Fernandes

GEUS, Paulo Lício de;Maziero, Carlos; DAHAB, Ricardo. Resposta automática em um sistema de segurança imunológico computacional. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Ricardo Cassiano Nabhen

JAMHOUR, EdgardMaziero, CarlosLUNG, Lau CheukFRAGA, Joni da Silva. RBPIM: um Modelo de Políticas de Segurança Baseado em Papéis. 2003. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Rafael Romualdo Wandresen

KAESTNER, Celso;PENNA, ManoelMaziero, Carlos; NACAMURA JR, Luis. Uma Proposta de um Modelo Computacional Baseado em Eventos para a Gerência de Níveis de Serviços de Telecomunicações. 2003. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Emir Toktar

JAMHOUR, EdgardMaziero, CarlosMONTEZ, Carlos. Controle de Admissão de RSVP usando XACML. 2003. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Andre Robles Ortega

JAMHOUR, EdgardMaziero, Carlos; GASPARY, Luciano. Um Modelo de Informação para Gerenciamento de Filtro de Pacotes Baseado em Políticas. 2003. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Carla Renata Bissaro

BORTOLOZZI, Flávio;Maziero, Carlos; BICHINHO, Gerson Linck; NACAMURA JR, Luis. Metodologia para o desenvolvimento de projetos na Web. 2002. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Anderson Massachi Shirata

NACAMURA JR, Luis;Maziero, CarlosPENNA, Manoel; MERKLE, Luiz. AIP-SMS/WAP: uma arquitetura de integração de protocolos SMS e WAP na gerência de redes. 2002. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Roberto Carlos Dariva

WESTPHALL, Carlos Becker;Maziero, Carlos; MAZZOLA, Vitório Bruno; WESTPHALL, Carla Merkle. Distributed Denial of Service - um estudo de caso para plataformas Windows e Linux. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Guilherme Eliseu Rhoden

WESTPHALL, Carlos Becker;Maziero, Carlos; CUSTÓDIO, Ricardo; WESTPHALL, Carla Merkle. Detecção de ataques em backbones de redes de computadores através da análise de comportamento com SNMP. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Luis Cláudio Rodrigues Gonçalves

WEBER, Taisy;Maziero, Carlos; CARISSIMI, Alexandre; PÔRTO, Ingrid. Injetor de Falhas por Depuração. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Dalton Matsuo Tavares

MOREIRA, Edson;Maziero, Carlos; LIANG, Zhao. Avaliação de Técnicas de Captura para Sistemas Detectores de Intrusão. 2002. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Edson Yanaga

NACAMURA JR, Luis;Maziero, Carlos; BODANESE, Eliane;FRAGA, Joni da Silva. O modelo J2EE-adapted Tina (Jatina): Integrando soluções Tina à Internet. 2002. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Edgar Athayde Meneghetti

TAROUCO, Liane;Maziero, Carlos; CÉSAR NETO, João; WEBER, Raul. Uma proposta de uso da arquitetura Trace como um sistema de detecção de intrusão. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Gilmar Kavalco

SUNYE, Marcos;Maziero, Carlos; GARCIA, Laura. Automatização da Evolução de Esquemas em Ferramentas de Transporte de Dados para Data Warehouse. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Guilheme Rodrigues de Matos Jr

DRUMMOND, Rogério;Maziero, Carlos; ANIDO, Ricardo; RUBIRA, Cecília. Componentes para o Desenvolvimento de Intranets. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Alessandro Augusto

GEUS, Paulo Lício de;Maziero, Carlos; DAHAB, Ricardo; MADEIRA, Emundo. Automatização de Administração e Segurança em Redes Windows NT. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Giorgia de Oliveira Mattos

DUARTE JR, Elias Procópio;Maziero, Carlos; HEXSEL, Roberto André. Um Algoritmo Baseado em Inundação para Diagnóstico de Redes de Topologia Arbitrária. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: João Cadamuro Jr

RENAUX, Douglas;Maziero, Carlos; NACAMURA JR, Luis; CHARÃO, Aurélio. CFPPC: Um Sistema Didático Baseado em Processadores PowerPC. 2001. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: LAURENTINO AUGUSTO DANTAS

CUSTÓDIO, Ricardo; PETERS, Sérgio; ROVER, Aires;Maziero, Carlos. Um protocolo criptográfico para emissão de certidões de nascimento. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Helder Hirofumi Sato

JAMHOUR, EdgardMaziero, CarlosCALSAVARA, Alcides; NACAMURA JR, Luis. Modelo de Informação de Segurança para Sistemas Distribuídos Baseado em Serviços de Diretório. 2000. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Adenilso da Silva Simão

MALDONADO, José;Maziero, Carlos. Proteum-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes. 2000. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Augusto César Pinto Loureiro da Costa

BITTENCOURT, Guilherme;Maziero, Carlos; SÁ, Cláudio; WAZLAWICK, Raul; MOROZOVSKI, Marciano. Expert-Coop: Um Ambiente Para Desenvolvimento de Sistemas Multi-Agentes Cognitivos. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Dámian Rodriguez Sánchez

FARINES, Jean-MarieMaziero, CarlosFRAGA, Joni da Silva; MAZZOLA, Vitório Bruno; NACAMURA JR, Luis. Uma Abordagem para o Tratamento de Mídias Contínuas em Ambientes Distribuídos Heterogêneos. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Nelkis de la Orden Medina

FARINES, Jean-MarieMaziero, CarlosFRAGA, Joni da Silva; SPECIALSKI, Elisabeth; WILLRICH, Roberto. Uma Abordagem para Aplicações Cooperativas sobre Internet. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Danielle Nishida

FARINES, Jean-MarieMaziero, CarlosFRAGA, Joni da Silva; FURTADO, Olinto; WILLRICH, Roberto. Estudo e Implementação do Modelo Reflexivo Tempo Real RTR sobre a Linguagem Java. 1996. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Lau Cheuk Lung

FRAGA, Joni da SilvaMaziero, CarlosFARINES, Jean-MarieLOQUES, Orlando; MACEDO, Raimundo. Implementacao de Tecnicas de Replicacao de Componentes de Software Sobre A Plataforma Aberta Corba. 1996. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Udo Fritzke Jr

FARINES, Jean-MarieMaziero, Carlos; IOCHPE, Cirano;FRAGA, Joni da Silva. Projeto e Implementação de um Suporte para Aplicações Cooperativas do tipo Editor Distribuido. 1995. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Fábio César Schuartz

FONSECA, Mauro; FONSECA, Anelise;Maziero, C. A.; PIGATTO, D.; NACAMURA JR, Luis; NOGUEIRA, M.. Uma Proposta para Detecção Distribuída de Intrusões Utilizando Mineração em Fluxos de Ambientes Big Data. 2023. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Elaine Alves da Rocha

ALBINI, L. C. P.;Maziero, C. A.; SILVA, E.; PEDROSO, C. M.. GSEF4V: Framework Baseado em Grupos de Segurança para Redes Veiculares. 2022. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Angelita Rettore de Araujo Zanella

ALBINI, L. C. P.; SAMPAIO, L. D. H.; SANDMANN, A.;Maziero, C. A.. Detector Híbrido de Anomalias para Agricultura Inteligente. 2022. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Vilmar Abreu Jr

SANTIN, A. O.Maziero, Carlos; OBELHEIRO, R. R.; SIMPLICIO JR, M. A.. Gestão de Identidade e Acesso Multifator para Smart Grid. 2019. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Daniel Dalalana Bertoglio

ZORZO, A.;Maziero, Carlos; BRANCO, K. R. L. J. C.; MARCZAK, S. S.. Tramonto: um framework para gerenciamento de pentests. 2019. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Sediane Carmem Lunardi Hernandes

PELLENZ, Marcelo EduardoCALSAVARA, AlcidesLIMA JR, LuizMaziero, Carlos; SILVA, L. A.. Um modelo de comunicação de eventos para middlewares publish-subscribe por aptidão de assinantes em cidades inteligentes. 2019. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Alex Mulattieri Suarez Orozco

ZORZO, A.;Maziero, Carlos; GRANVILLE, L. Z.; FERRETO, T. C.. Balanceamento entre segurança e desempenho no plano de controle de redes definidas por software. 2018. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Cleverton Juliano Alves Vicentini

SANTIN, A. O.; GRANVILLE, L. Z.; Bona, L.;Maziero, Carlos; FONSECA, Anelise. Provisionamento Dinâmico de Recursos Virtualizados em Big Data Streaming. 2018. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Rogério Correa Turchetti

DUARTE JR, Elias Procópio; GRANVILLE, L. Z.;Maziero, CarlosCALSAVARA, Alcides; RODRIGUES, L. A.. Construindo Sistemas Distribuídos Tolerantes a Falhas em Eficientes em Redes SDN com NFV. 2017. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Gil Eduardo de Andrade

LIMA JR, LuizCALSAVARA, Alcides; EBERSPACHER, H.;Maziero, Carlos; MICHELON, G.. V-SPORT: uma Estratégia de Roteamento de Mensagens Baseada na Previsão sobre a Localização dos Veı́culos para Redes Veiculares Tolerantes a Atrasos e Desconexões. 2017. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Maicon Stihler

SANTIN, A. O.; NEVES, N.;Maziero, Carlos; CARMO, L. F. R. C.; DUARTE JR, Elias Procópio. Decentralized UCONabc with cooperative attribute management for cloud computing. 2016. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Daniel Avila Vecchiato

MARTINS, E.;Maziero, Carlos; BRANCO, K. R. L. J. C.; GEUS, Paulo Lício de; HENRIQUES, Marcos. Benchmarking User-Defined Security Configurations of Mobile Devices. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Carlos Alberto da Silva

GEUS, Paulo Lício de;Maziero, Carlos; Cansian, A. M.; MADEIRA, Emundo; ARANHA, D. F.. Management of cloud computing using security criteria. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Cinara Menegazzo

PESSOA, L. A.; SPINOSA, E.; MATIAS JR, R.; VENDRAMIN, A. C.;Maziero, Carlos; TODT, E.. Método adaptativo para protocolos de roteamento em redes tolerantes a atrasos e desconexões baseado em conhecimento de contexto. 2015. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Eduardo da Silva

PESSOA, L. A.; ARAUJO, R. B.; R. Terada;Maziero, Carlos; ALMEIDA, E. C.. Seman - Uma proposta de middleware seguro para redes ad hoc móveis. 2014. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Guilherme Galante

Bona, L.; SCHULZE, Bruno; BITTENCOURT, L. F.;Maziero, Carlos; Silva, F.. Explorando a elasticidade em nível de programação no desenvolvimento e execução de aplicações científicas. 2014. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Luiz Antonio Rodrigues

DUARTE JR, Elias Procópio; ARANTES, L. B.; DOTTI, F. L.;Maziero, Carlos; WEBER, A.. Uma solução autonômica para a k-exclusão mútua em sistemas distribuídos. 2014. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Arlindo Luís Marcon Jr

SANTIN, A. O.CALSAVARA, AlcidesLIMA JR, LuizMaziero, CarlosLUNG, Lau Cheuk. Avaliação resiliente de autorização UCONabc para computação em nuvem. 2012. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Denise Hideko Goya

R. Terada; P. Barreto; J. de Graff; HERNANDEZ, J. C. L.;Maziero, Carlos. Criptografia de Chave Pública sem Certificado. 2011. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Patrícia Della Méa Plentz

OLIVEIRA, Rômulo;MONTEZ, Carlos; RENAUX, Douglas;Maziero, CarlosFRAGA, Joni da Silva; FRIEDRICH, Luis Fernando. Mecanismos de previsão de perda de deadline para sistemas baseados em threads distribuídas tempo real. 2008. Tese (Doutorado em Programa de Pós-graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: José Eduardo Malta de Sá Brandão

FRAGA, Joni da Silva; GASPARY, Luciano;Maziero, CarlosFARINES, Jean-Marie; RABELO, Ricardo. Composições de IDSs: viabilizando o monitoramento de segurança em ambientes de larga escala. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Luis Carlos Erpen de Bona

DUARTE JR, Elias Procópio; FONSECA, Keiko Verônica Ono; SCHULZE, Bruno; SCHEER, Sérgio;Maziero, Carlos; KUNZLE, Luis Allan. Hyperbone: uma Rede Overlay Baseada em Hipercubo Virtual para Computação Distribuida na Internet. 2006. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Mauro Cesar Bernardes

MOREIRA, Edson;Maziero, Carlos; MONTES, Antônio; FERNANDES, Clóvis; MASIERO, Paulo. Modelagem de governança da segurança da informação com apoio em sistemas de informação. 2005. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Altair Olivo Santin

FRAGA, Joni da Silva; TAROUCO, Liane; GEUS, Paulo Lício de;Maziero, CarlosLUNG, Lau Cheuk; SIQUEIRA, Frank. Teias de Federações: uma abordagem baseada em cadeias de confiança para autenticação, autorização e navegação em sistemas de larga escala. 2004. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Fabrício Sérgio de Paula

Maziero, Carlos; GEUS, Paulo Lício de; DAHAB, Ricardo; GUIMARÃES, Célio; SILVA, Leandro. Uma arquitetura de segurança computacional inspirada no sistema imunológico. 2004. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Marco Aurélio Bonato

GODOY JR, Walter;Maziero, CarlosJAMHOUR, Edgard; FONSECA, Keiko Verônica Ono; NACAMURA JR, Luis. Proposta de um modelo para a administração de informações em arquiteturas de detecção de intrusos. 2004. Tese (Doutorado em Prog Pós Grad Eng Elétrica Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Adenilso da Silva Simão

MALDONADO, José;Maziero, Carlos; RICARTE, Ivan; MASIERO, Paulo; MIYAGI, Paulo. Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas. 2004. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Reynaldo Chile Palomino

MAIA, Luiz;Maziero, Carlos; CARVALHO JR, Luiz; BETTIOL, Arlan; TUBINO, Dálvio. Gerenciamento da Produção: uma Abordagem Baseada em Redes de Petri. 2001. Tese (Doutorado em Engenharia de Produção) - Universidade Federal de Santa Catarina.

Aluno: Carla Merkle Westphall

FRAGA, Joni da SilvaMaziero, CarlosFARINES, Jean-Marie. Um esquema de autorização para a segurança em sistemas distribuídos de larga escala. 2000. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: José Wilson Vieira Flauzino

DUARTE JR, Elias Procópio; VIEIRA, M.; MARTINS, E.;Maziero, C. A.. Avaliação de Robustez de Módulos do Kernel Linux via Netlink. 2024. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Giancarlo Covolo Heck

HEXSEL, Roberto André;Maziero, C. A.; ALBINI, L. C. P.;PELLENZ, Marcelo Eduardo. Otimizacao do Protocolo Wi- SUN FAN para as Smart Grids, Smart Cities e IoT. 2022. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Marlon Cordeiro Domenech

Bona, L.; GREGIO, A. R. A.;Santin, Altair OlivoMaziero, C. A.. On Metadata Privacy in Instant Messaging. 2022. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Vinícius Fülber Garcia

DUARTE JR, Elias Procópio;Maziero, C. A.; PASQUINI, R.. Um Arcabouço Holístico para a Execução de Funções Virtualizadas de Rede: Arquitetura, Gerenciamento e Aplicações. 2021. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Giovanni Venâncio de Souza

DUARTE JR, Elias Procópio;MAZIERO, CARLOS A.; GASPARY, Luciano. Uma Arquitetura de Alta Disponibilidade para Funções Virtualizadas de Rede. 2020. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Elaine Alves da Rocha Pires

ALBINI, L. C. P.;Maziero, Carlos; SILVA, E.. Um modelo de segurança baseado em criptografia para protocolos de roteamento em redes veiculares. 2019. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Vilmar Abreu Jr

SANTIN, A. O.PELLENZ, Marcelo EduardoMaziero, Carlos; OBELHEIRO, R. R.; M. Stihler. Gestão autoprotegida de identidade e acesso para sistemas ciberfísicos. 2018. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Sediane Carmem Lunardi Hernandes

PELLENZ, Marcelo EduardoCALSAVARA, AlcidesLIMA JR, LuizMaziero, Carlos. Um middleware publish-subscribe para cidades inteligentes utilizando roteamento híbrido de eventos. 2017. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Daniel Dalalana Bertoglio

ZORZO, A.;Maziero, Carlos; FERRETO, T. C.. Tramonto - uma Estratégia de Recomendações para Execução de Testes de Penetração. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Alex Mulattieri Suarez Orozco

ZORZO, A.;Maziero, Carlos; FERRETO, T. C.. Comunicação Segura no Plano de Controle de Redes Definidas por Software. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Cleverton Juliano Alves Vicentini

SANTIN, A. O.Maziero, Carlos; FONSECA, Anelise; ALBINI, L. C. P.. Provisionamento transparente de recursos para frameworks de data streaming em nuvem computacional. 2016. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Alex Pinho Magalhães

Maziero, CarlosMONTEZ, Carlos; RECH, L. O.;LUNG, Lau Cheuk. Arquiteturas e protocolos de tempo real para integração de sistemas Web e dispositivos móveis com serviços em nuvem e Internet das coisas. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Gil Eduardo de Andrade

LIMA JR, LuizCALSAVARA, AlcidesSANTIN, A. O.; EBERSPACHER, H.;Maziero, Carlos. Algoritmo distribuído para roteamento de mensagens em DTN. 2015. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: ROGERIO C

DUARTE JR, Elias Procópio; GRANVILLE, L. Z.;Maziero, Carlos; HARA, C. S.. Turchetti. Implementação de serviços de tolerância a falhas em dispositivos virtualizados de rede. 2015. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Cleber Kiel Olivo

SANTIN, A. O.; OLIVEIRA, Luiz Eduardo;Maziero, CarlosLIMA JR, LuizCALSAVARA, Alcides. Detecção De Spam Com Ofuscação De Palavras Através De Técnicas De Match Não Exato De Strings. 2014. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Maicon Stihler

SANTIN, A. O.CALSAVARA, AlcidesFONSECA, MauroLIMA JR, LuizMaziero, Carlos. Modelo de Controle de Uso Distribuído Baseado em UCONabc para Computação em Nuvem. 2013. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Cinara Terezinha Menegazzo

PESSOA, L. A.; SPINOSA, E. J.; MATIAS JR, R.;Maziero, Carlos; POZO, A. T. R.. Serviço de roteamento adaptável a heurísticas regionais em redes tolerantes a atrasos. 2013. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Carlos Alberto da Silva

DAHAB, Ricardo; MADEIRA, Emundo;Maziero, Carlos. Metodologia para Projeto e Gestão da Segurança para Computação na Nuvem. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Guilherme Galante

Bona, L.; SCHULZE, Bruno;Maziero, Carlos; Silva, F.. Fornecendo elasticidade em nível de programação para aplicações científicas. 2012. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Gisane Aparecida Michelon

LIMA JR, LuizCALSAVARA, AlcidesMaziero, Carlos; PESSOA, L. A.; HERNANDEZ, F.. Uma estratégia de replicação de dados em redes ad hoc móveis. 2012. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Arlindo Luís Marcon Jr

SANTIN, A. O.FRAGA, Joni da SilvaMaziero, CarlosLIMA JR, LuizCALSAVARA, Alcides. Gerência de uso para computação em nuvem. 2011. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Diogo Ditzel Kropiwiec

GEUS, Paulo Lício de;Maziero, Carlos; DAHAB, Ricardo. Metodologia para projeto e gerenciamento de políticas de segurança de sistemas operacionais. 2007. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Luis Carlos Erpen de Bona

DUARTE JR, Elias Procópio; FONSECA, Keiko Verônica Ono;Maziero, Carlos; SCHULZE, Bruno. HyperGrid: uma plataforma distribuída e confiável para computação em grade. 2004. Exame de qualificação (Doutorando em Prog Pós Grad Eng Elétrica Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: José Eduardo Malta de Sá Brandão

FRAGA, Joni da SilvaMaziero, Carlos; WESTPHALL, Carlos Becker; BECKER, Leandro; CUSTÓDIO, Ricardo. Congregação de sistemas de auditoria: uma abordagem orientada a serviços para a construção de sistemas de detecção de intrusão de larga escala. 2004. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Rafael Rodrigues Obelheiro

FRAGA, Joni da SilvaLOQUES, OrlandoMaziero, CarlosLUNG, Lau CheukFARINES, Jean-Marie. Tolerância a Intrusões como Abordagem de Segurança em Sistemas Distribuídos. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Alexandre de Almeida Lima

DAHAB, Ricardo;Maziero, Carlos; GEUS, Paulo Lício de. Autenticação em ambientes sem fio. 2003. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Marco Aurélio Bonato

GODOY JR, Walter; FONSECA, Keiko Verônica Ono;Maziero, Carlos. Administração inteligente de segurança em IDS para redes distribuídas. 2003. Exame de qualificação (Doutorando em Prog Pós Grad Eng Elétrica Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Paulo André Sant'Anna Perez

DAHAB, Ricardo;Maziero, Carlos; GEUS, Paulo Lício de. Arquitetura dos Mecanismos de Autenticação e Autorização em Redes Móveis. 2003. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Adenilso da Silva Simão

MASIERO, Paulo; FORTES, Renata; RICARTE, Ivan; SANTANA, Marcos;Maziero, Carlos. Teste e validação de redes de Petri coloridas usando análise de mutantes. 2002. Exame de qualificação (Doutorando em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Altair Olivo Santin

FRAGA, Joni da Silva; MAZZOLA, Vitório Bruno;Maziero, Carlos; OLIVEIRA, Rômulo; SIQUEIRA, Frank; GEUS, Paulo Lício de. Concepção de Políticas de Autorização Baseadas em Redes de Confiança em Sistemas Distribuídos. 2002. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Augusto César Pinto Loureiro da Costa

BITTENCOURT, Guilherme;Maziero, Carlos. Conhecimento social dinâmico: uma estratégia de cooperação para sistemas multiagentes cognitivos. 1999. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Carla Merkle Westphall

FRAGA, Joni da SilvaMaziero, CarlosFARINES, Jean-Marie. Esquemas de autorização para a programação distribuída combinando os modelos de segurança Java/Corba/Web. 1998. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

MEDEIROS, C. M. B.; LEE, O.;MAZIERO, CARLOS A.; CARVALHO, M. H.; HIRATA, N. S. T.. Banca examinadora de concurso público para professor doutor. 2023. Universidade Estadual de Campinas.

LOPES, H.;Maziero, Carlos; VIEIRA NETO, H.. Banca examinadora de concurso público para professor adjunto em Sistemas Digitais. 2016. Universidade Tecnológica Federal do Paraná.

PÔRTO, Ingrid; MARTINS, E.;Maziero, Carlos. Banca examinadora de concurso público para professor adjunto em Computação Segura e Tolerante a Faltas. 2016. Universidade Federal do Rio Grande do Sul.

MONTEZ, Carlos; FERRANDIN, M.;Maziero, Carlos. Banca examinadora de concurso público para professor adjunto em Ciência da Computação. 2015. Universidade Federal de Santa Catarina.

VIGNATTI, A. L.;Maziero, Carlos; MERKLE, Luiz; Reinehr, S.;FONSECA, Mauro. Banca examinadora de concurso público para professor adjunto em Ciência da Computação. 2015. Universidade Federal do Paraná.

D. Weingaertner; CASTILHO, M.;Maziero, Carlos; LUGO, G.; TRINDADE, J. T. P.. Banca examinadora de concurso público para professor adjunto em Ciência da Computação. 2014. Universidade Federal do Paraná.

CASTILHO, M.; D. Weingaertner; ZIVIANI, A.;Maziero, Carlos; LUGO, G.. Banca examinadora de concurso público para professor adjunto em Ciência da Computação. 2014. Universidade Federal do Paraná.

LUGO, G.; KOZIEVITCH, N.;Maziero, Carlos; XAVIER, E. C.; Bona, L.. Banca examinadora de concurso público para professor adjunto em Informática. 2014. Universidade Tecnológica Federal do Paraná.

LOQUES, OrlandoFRAGA, Joni da Silva; Rebello, E. V.; Pereira, C. E.;Maziero, Carlos. Banca examinadora de concurso público para professor adjunto em Ciência da Computação. 2012. Universidade Federal Fluminense.

HEXSEL, Roberto André;Maziero, Carlos; DUARTE JR, Elias Procópio; FONSECA, Keiko Verônica Ono; LUDERS, Ricardo. Banca examinadora de concurso público prof. adjunto em Ciência da Computação. 2005. Universidade Federal do Paraná.

MUSICANTE, Martin;Maziero, Carlos; DUARTE JR, Elias Procópio; FONSECA, Keiko Verônica Ono; GIMENEZ, Itana. Banca examinadora de concurso público prof. adjunto em Ciência da Computação. 2002. Universidade Federal do Paraná.

MELNIKOFF, S. S.; R. Terada; MOREIRA, Edson; FALEIROS, A. C.;Maziero, Carlos. Banca examinadora de livre-docência de Marcos Antonio Simplicio Jr. 2017. Universidade de São Paulo.

COSTA, A. H. R.; CUGNASCA, C. E.;Maziero, Carlos; SONG, S. W.; DAHAB, Ricardo. Banca examinadora de livre-docência de Paulo Sergio Licciardi Messeder Barreto. 2011. Universidade de São Paulo.

GUIMARÃES, Célio;Maziero, Carlos; MOREIRA, Edson;FRAGA, Joni da Silva; HENRIQUES, Marcos. Banca examinadora de livre-docência de Paulo Lício de Geus. 2004. Universidade Estadual de Campinas.

Maziero, Carlos; BICHINHO, Gerson Linck. Verificação in loco do Curso Superior de Formação Específica em Instalações Eletro-Eletrônicas. 2004. Universidade Estácio de Sá.

Maziero, Carlos. Avaliador externo do Programa Institucional de Bolsas de Iniciação Científica da PUCPR. 2016. Pontifícia Universidade Católica do Paraná.

Maziero, Carlos. Avaliador externo do Programa Institucional de Bolsas de Iniciação Científica da PUCPR. 2015. Pontifícia Universidade Católica do Paraná.

Maziero, Carlos. Avaliador externo do Programa Institucional de Bolsas de Iniciação Científica da PUCPR. 2012. Pontifícia Universidade Católica do Paraná.

Maziero, Carlos. Avaliador externo do Programa Institucional de Bolsas de Iniciação Científica da PUCPR. 2011. Pontifícia Universidade Católica do Paraná.

Maziero, Carlos. Banca examinadora de progressão funcional de Mauro Sérgio Pereira da Fonseca. 2000. Pontifícia Universidade Católica do Paraná.

Maziero, Carlos. Banca examinadora de progressão funcional de Emerson Cabrera Paraiso. 2000. Pontifícia Universidade Católica do Paraná.

Maziero, Carlos. Banca examinadora de progressão funcional de Lynnier Beatryz Ruiz. 2000. Pontifícia Universidade Católica do Paraná.

Maziero, Carlos. Banca examinadora de progressão funcional de Viviane Zurro. 1999. Pontifícia Universidade Católica do Paraná.

Maziero, Carlos. Banca examinadora de progressão funcional de Guilherme Bittencourt. 1997. Universidade Federal de Santa Catarina.

Orientou

João Pedro Curvelo

Monitoramento seguro de qualidade de serviço em nuvens computacionais; Início: 2023; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná; (Orientador);

Amanda Benites Viescinski

Técnicas de detecção de anomalias em logs de sistemas distribuídos; Início: 2024; Tese (Doutorado em Informática) - Universidade Federal do Paraná; (Orientador);

Diogo Bortolini

Uso de texturas na detecção de anomalias em aplicações distribuídas; Início: 2022; Tese (Doutorado em Informática) - Universidade Federal do Paraná; (Orientador);

Thayse Marques Solis

Adicionando Segurança, Proveniência e Gerenciamento de Dados Demográficos ao OpenEHR; 2022; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Alberto Maziero;

Amanda Benites Viescinski

Construção de Modelos baseados em n-gramas para Detecção de Anomalias em Sistemas Distribuídos; 2021; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Rodrigo Gomes Lemos

Detecção de Ataques no Android - um Modelo Baseado na Comunicação entre Processos; 2021; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Jacson Renzo Querubin

Um protocolo de autorização para Internet das coisas baseado em atributos e informações de contexto; 2019; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Daniel Rezende

Uma Estratégia de Publicação do Estado de Chaves Públicas em Redes Centradas na Informação; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Alberto Maziero;

Rafael Campra Reis Condé

Proteção de dados de autenticação em um sistema operacional usando enclaves SGX; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Felipe Michels Fontoura

Uma API Criptográfica para Sistemas Embarcados; 2016; Dissertação (Mestrado em Programa de Pós-Graduação em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Stephany Dionysio

Aplicação de escalonadores coexistentes para melhorar o desempenho de rede em máquinas virtuais; 2016; Dissertação (Mestrado em Programa de Pós-Graduação em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Coorientador: Carlos Alberto Maziero;

Fellipe Medeiros Veiga

Estudo da efetividade dos mecanismos de compartilhamento de memória em hipervisores; 2015; Dissertação (Mestrado em Programa de Pós-Graduação em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Leonardo Antônio dos Santos

Avaliação de mecanismos de caching com discos de estado sólido em estruturas de armazenamento secundário; 2015; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Martín Perez

Conditional Resource Management for Mobile Devices; 2014; Dissertação (Mestrado em Programa de Pós-Graduação em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Fernando José Muchalski

Alocação de Máquinas Virtuais em Ambientes de Computação em Nuvem Considerando o Compartilhamento de Memória; 2014; Dissertação (Mestrado em Programa de Pós-Graduação em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Diogo Roberto Olsen

Um Gerente de Contextos para Sistemas Operacionais de Propósito Geral; 2012; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Alberto Maziero;

Priscila Vriesman Araujo

Classificação automática de processos de sistemas operacionais; 2011; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Douglas Alan dos Santos

Avaliação do comportamento de sistemas operacionais em situação de thrashing; 2009; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Sérgio Raymundo Loest

Um Sistema de Backup Cooperativo Tolerante a Intrusões; 2009; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Edson Ossamu Kageyama

Um sistema de correio eletrônico baseado no paradigma peer-to-peer; 2008; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Marcelo Cheminn Madruga

Uso de arquivos transparentes na construção de um sistema de arquivos distribuído tolerante a faltas; 2008; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Inez Freire Raguenet

Um Modelo de Composição de Detectores de Intrusão Heterogêneos Baseado em Conjuntos Difusos; 2007; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Alberto Maziero;

Rafael Coninck Teigão

Controle de Uso de Recursos em Sistemas Operacionais usando o Modelo UCONabc; 2007; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Alberto Maziero;

Márcio Starke

Controle dinâmico de recursos em sistemas operacionais; 2005; 100 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Alberto Maziero;

Leonardo Bispo de Oliveira

TrustMail: um Modelo de Confiança entre Servidores de E-Mail; 2005; 95 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Marcos Aurélio Pchek Laureano

Uma abordagem para a proteção de detectores de intrusão baseada em máquinas virtuais; 2004; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Marcello Milanez

Uso de cadeias de autorização SPKI na segurança de redes sem fio IEEE 802; 11; 2003; 120 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Daniel Wandarti

Proposta de um framework para gerência de clusters; 2003; 110 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

André Mendes

Utilização de Suporte Distribuído na Gerência de Configuração de Software - Análise de um Processo Evolutivo; 2003; 105 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Mauro Borchardt

Uma Arquitetura para a Autenticação Dinâmica de Arquivos; 2002; 90 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Alberto Maziero;

Marcello Veronese

Ferramenta de Suporte à Navegação em Portais Corporativos Baseada no Comportamento do Usuário; 2002; 80 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Cristina Verçosa de Souza

Uso da Reflexão Computacional em Aplicações da Plataforma J2EE; 2001; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Bruno Ramos de Carvalho

Evaluating CORBA as a middleware for Parallel Cluster Computing; 2000; 0 f; Dissertação (Mestrado em Master Of Science In Computer Science) - École Des Mines de Nantes, ; Orientador: Carlos Alberto Maziero;

Fernando Vardânega

Um mecanismo gerenciador de rollback em simulações distribuidas otimistas na arquitetura HLA; 1999; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná, ; Orientador: Carlos Alberto Maziero;

Richard Ribeiro

Proposta de Um Suporte Para Simulaçoes Orientadas A Objetos Distribuidas Em Uma Plataforma Corba; 1997; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Alberto Maziero;

Lau Cheuk Lung

Implementação de Técnicas de Replicação de Componentes de Software sobre a Plataforma Aberta CORBA; 1996; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Carlos Alberto Maziero;

Tiago Heinrich

A Categorical Strategy for Identifying Anomalies in WebAssembly Applications using WASI Calls; 2023; Tese (Doutorado em Informática) - Universidade Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Alexandre Veloso de Matos

Uma Arquitetura para a Gerência da Migração de Máquinas Virtuais em Ambientes de Computação em Nuvem; 2020; Tese (Doutorado em Informática) - Universidade Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Newton Carlos Will

Modelos de Gerenciamento de Enclaves para Execução Segura de Componentes de Software; 2020; Tese (Doutorado em Informática) - Universidade Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Rodolfo Barriviera

Gestão de informações médicas em Unidades Básicas de Saúde: análise de um caso real e proposta de um modelo de controle de uso de informações médicas sensível ao contexto; 2017; Tese (Doutorado em Informática) - Universidade Federal do Paraná, ; Orientador: Carlos Alberto Maziero;

Alessandro Kraemer

Proposta de uma Área de Convergência Nuvem-HPC para a Redução do Número de Violações de Tempo de Resposta em Centrais de Dados; 2017; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Alberto Maziero;

Elisa Mannes

Controle de acesso baseado em criptografia para a distribuição segura de conteúdo multimídia em Redes Centradas em Informação; 2016; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Alberto Maziero;

Thiago Enrico Christoforo

Análise forense; 2006; 65 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Redes e Segurança de Sistemas) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Patrick Martinhuk

Sistema de controle de hardware automático (auditoria e inventário); 2005; 50 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Redes e Segurança de Sistemas) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Alexsandro Aparecido Lima

Controle de spam baseado em SPF; 2005; 60 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Redes e Segurança de Sistemas) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Marcos Paulo Kahali

Portal de gerência dos laboratórios acadêmicos da PUCPR; 2005; 50 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Redes e Segurança de Sistemas) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Inez Freire Raguenet

ISPs: uma solução de baixo custo; 2004; 50 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Redes e Sistemas Distribuídos) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Edson Kageyama

Infra-estrutura de e-mail; 2004; 57 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Redes e Sistemas Distribuídos) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Elvia Yuriko Ogawa

Redes sem fio; 2004; 61 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Redes e Sistemas Distribuídos) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Fabiano Fantini Vitale

Auditoria de redes; 2004; 67 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Redes e Sistemas Distribuídos) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Waldemar Barbosa de Lima Filho

Redes de computadores com ênfase em segurança; 2004; 48 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Redes e Sistemas Distribuídos) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Gabriel Ruschel Castanhel

Detecção de Anomalias: estudo de Técnicas de Identificação de Ataques em um Ambiente de Contêiner; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Carlos Alberto Maziero;

Arianne de Paula Bortolan

Detecção de ransomware em sistemas Linux; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Carlos Alberto Maziero;

Katheryne Louise Graf

Análise comparativa de Softwares para Detecção de Rootkits em ambiente Linux, sob visão a do usuário; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Carlos Alberto Maziero;

Thayse Marques Solis

Acesso de área de trabalho remota via aplicação Web protegido por criptografia; 2014; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Carlos Alberto Maziero;

Sandra Maria de Souza Bertoli

Guia de Segurança para Dispositivos Móveis: Hardware, Software e Comportamento; 2013; Trabalho de Conclusão de Curso; (Graduação em Sistemas Para Internet) - Universidade Tecnológica Federal do Paraná; Orientador: Carlos Alberto Maziero;

Eugênio Burg Filho

Centro de Controle e Informação para Pecuária; 2011; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Victor Villela Serta

Kvnix - Um Sistema Operacional para IBM PC; 2009; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Diogo Roberto Olsen

Infraestrutura de núcleo para informações sobre grupos e usuários; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Lucas Galete

GraphTalk; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Conrado Gouvêa

Ferramentas modulares para análise de redes de Petri; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

João Norberto de Souza Jr

SiOuCs - Um Sistema Operacional para Micro-controladores; 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Klaus Fuchs

PIS - Phone Integration System; 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Rafael Coeninck Teigão

Construção de um sistema operacional didático; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Eduardo Simioni

Um sistema operacional didático aberto; 2001; 60 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Andréia Farias

Sistema Operacional Distribuído Conectiva Mosix; 2001; 60 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Jochen Mielke de Lima

Um sistema de supervisão multi-interfaces de redes ethernet; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Alexandre da Veiga

Um framework para simulação distribuida na arquitetura HLA; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Mauro Borchardt

ASPeN - Um Ambiente para a Análise, Simulação e Edição de Redes de Petri; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Marcello Persicotti

RRaSS - Rede Rápida de Sinalização e Sincronismo; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Guilherme Hayashi

Gerência de Redes usando java e VRML; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Hélio Castro

Um Ambiente para Trabalho Cooperativo Usando Softwares Livres; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Juliano Rodrigues Michelatto

Representação de Workflows usando Realidade Virtual; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Frederico Rabello de Moraes

Desenvolvimento de um Sistema de Tele-supervisão para Centrais Telefônicas de Pequeno Porte; 1997; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina; Orientador: Carlos Alberto Maziero;

[Nome removido após solicitação do usuário]

Implantação de Serviços Bancários Tolerantes a Faltas usando CORBA; 1996; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Santa Catarina; Orientador: Carlos Alberto Maziero;

Luis Augusto Eberhardt Franco

Análise de desempenho usando redes de Petri; 1989; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Santa Catarina; Orientador: Carlos Alberto Maziero;

Maiko Min Ian Lie

Otimização de Desempenho de um Simulador a Eventos Discretos; 2014; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Alberto Maziero;

Gean Francesco Derosso Chu

Construção de um executivo multi-tarefas para uma plataforma embarcada de baixo custo; 2011; Iniciação Científica; (Graduando em Engenharia de Computação) - Pontifícia Universidade Católica do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Alberto Maziero;

Gilberto José Verona Filho

Construção de um interpretador de Redes de Petri para uma plataforma embarcada de baixo custo; 2011; Iniciação Científica; (Graduando em Engenharia de Computação) - Pontifícia Universidade Católica do Paraná, PUCPR - Programa PIBIC; Orientador: Carlos Alberto Maziero;

Jordana Davet

Caracterização automática do comportamento de processos e usuários em um sistema operacional de uso compartilhado; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Paraná, PUCPR - Programa PIBIC; Orientador: Carlos Alberto Maziero;

Diogo Roberto Olsen

Uma infraestrutura de núcleo para informações sobre usuários e grupos; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Alberto Maziero;

Davi Einstein Melges Arnaut

Arquitetura de um servidor de e-mail distribuído tolerante a intrusões; 2004; Iniciação Científica; (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Alberto Maziero;

Rodrigo Suhr

Técnicas de contenção de spam em um servidor de e-mail distribuído; 2004; Iniciação Científica; (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Alberto Maziero;

Alexandre da Veiga

Um Framework para Simulação Distribuída usando HLA; 2000; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Alberto Maziero;

Mauro Borchardt

Implantação de Serviços Internet; 1999; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Carlos Alberto Maziero;

Fabiano Bachmann

Desenvolvimento de aplicações distribuídas tolerantes a faltas em CORBA; 1996; 0 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Federal de Santa Catarina; Orientador: Carlos Alberto Maziero;

[Nome removido após solicitação do usuário]

Desenvolvimento de aplicações tolerantes a faltas em uma plataforma CORBA; 1996; 0 f; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal de Santa Catarina; Orientador: Carlos Alberto Maziero;

Sérgio Hermesmeyer Jr

; Implantação de Serviços Internet e Intranet; 1996; 0 f; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina; Orientador: Carlos Alberto Maziero;

Sérgio Hermesmeyer Jr

; Versão gráfica do Analisador de Redes de Petri ARP; 1995; 0 f; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina; Orientador: Carlos Alberto Maziero;

André Martins

Analisador de redes de Petri em Unix; 1994; 0 f; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal de Santa Catarina; Orientador: Carlos Alberto Maziero;

Fernanda Simões Costa

Uma linguagem para descrição de redes de Petri; 1990; 0 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Federal de Santa Catarina; Orientador: Carlos Alberto Maziero;

Produções bibliográficas

  • HEINRICH, TIAGO ; WILL, NEWTON CARLOS ; OBELHEIRO, RAFAEL ; Maziero, Carlos . A Method for Detecting Anomalies in WebAssembly Using Categorical Data. SN Computer Science , v. 7, p. 68-70, 2026.

  • WILL, NEWTON C. ; MAZIERO, CARLOS A. . Intel Software Guard Extensions Applications: A Survey. ACM COMPUTING SURVEYS , v. 55, p. 1-38, 2023.

  • VIEGAS, EDUARDO ; SANTIN, Altair ; BACHTOLD, JULIANA ; SEGALIN, DARLAN ; STIHLER, MAICON ; MARCON, ARLINDO ; Maziero, Carlos . Enhancing service maintainability by monitoring and auditing SLA in cloud computing. Cluster Computing-The Journal of Networks Software Tools and Applications , v. 1, p. 1-16, 2020.

  • MANNES, ELISA ; Maziero, Carlos . Naming Content on the Network Layer. ACM COMPUTING SURVEYS , v. 52, p. 1-28, 2019.

  • KRAEMER, A. ; Maziero, Carlos ; RICHARD, O. ; TRYSTRAM, D. . Reducing the number of response time service level objective violations by a cloud-HPC convergence scheduler. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 29, p. e4352, 2017.

  • Maziero, Carlos ; dos Santos, Douglas ; SANTIN, Altair . Evaluation of desktop operating systems under thrashing conditions. Journal of The Brazilian Computer Society (Online) , v. 19, p. 29-42, 2013.

  • Teigão, Rafael ; Maziero, Carlos ; SANTIN, Altair . Applying a usage control model in an operating system kernel. Journal of Network and Computer Applications , v. 34, p. 1342-1352, 2011.

  • OLIVEIRA, Leonardo ; Maziero, C. A. . A Trust Model for a Group of E-mail Servers. CLEI ELECTRONIC JOURNAL , v. 11, p. 1-11, 2008.

  • SANTIN, Altair ; COSTA, Regivaldo ; Maziero, Carlos . A Three-Ballot-Based Secure Electronic Voting System. IEEE Security & Privacy , v. 6, p. 14-21, 2008.

  • LAUREANO, Marcos ; Maziero, Carlos ; JAMHOUR, Edgard . Protecting Host-Based Intrusion Detectors through Virtual Machines. Computer Networks (1999) , v. 51, p. 1275-1283, 2007.

  • JAMHOUR, Edgard ; STOROZ, Simone ; Maziero, Carlos . Global mobile IPv6 addressing using transition mechanisms. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO) , São Paulo SP, v. 8, n.3, p. 44-57, 2003.

  • VARDÂNEGA, Fernando ; Maziero, Carlos . A Generic Rollback Manager for Optimistic HLA Simulation. Society for Modeling and Simulation International. Transactions , San Diego - California, v. 18, n.2, p. 56-61, 2001.

  • INGELS, Philippe ; Maziero, Carlos ; RAYNAL, Michel . Un Noyau Reparti Pour Les Applications Fondees Sur La Progression D'Un Temps Virtuel. Réseaux et Informatique Répartie , França, v. 3, n.2, p. 145-168, 1993.

  • MAZIERO, CARLOS A. . Sistemas Operacionais: Conceitos e Mecanismos. 1. ed. Curitiba PR: UFPR, 2019. v. 1. 456p .

  • WANGHAM, Michelle (Org.) ; FRAGA, Joni da Silva (Org.) ; Maziero, C. A. (Org.) ; R. Terada (Org.) . Anais do XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. 15. ed. Porto Alegre RS: Sociedade Brasileira de Computação, 2015. v. 1. 675p .

  • Maziero, C. A. ; SIQUEIRA, Frank (Org.) ; FRAGA, Joni da Silva (Org.) . Livro-texto de Minicursos do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuidos - SBRC. 1. ed. Porto Alegre RS: Sociedade Brasileira de Computação, 2014. v. 1. 298p .

  • SANTOS, A. L. (Org.) ; SANTIN, A. O. (Org.) ; Maziero, C. A. (Org.) ; NOGUEIRA, M. (Org.) ; DAHAB, Ricardo (Org.) . Anais do XII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. 12. ed. Porto Alegre RS: Sociedade Brasileira de Computação, 2012. v. 1. 654p .

  • SANTOS, A. L. (Org.) ; SANTIN, A. O. (Org.) ; Maziero, C. A. (Org.) ; GONCALVES, P. S. (Org.) . Livro-texto de Minicursos do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg). 1. ed. Porto Alegre RS: Sociedade Brasileira de Computação, 2012. v. 1. 195p .

  • Maziero, Carlos ; GASPARY, Luciano (Org.) ; WEBER, Raul (Org.) . Livro-texto de minicursos do VIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg). 1. ed. Porto Alegre RS: Sociedade Brasileira de Computação, 2008. v. 1. 200p .

  • FRAGA, Joni da Silva (Org.) ; Maziero, Carlos (Org.) ; FONSECA, Keiko Verônica Ono (Org.) ; DUARTE JR, Elias Procópio (Org.) ; FONSECA, Mauro (Org.) . Anais do XXIV Simpósio Brasileiro de Redes de Computadores. 1. ed. Porto Alegre: Sociedade Brasileira de Computação, 2006. v. 2. 1450p .

  • Maziero, Carlos ; SILVA, João Gabriel (Org.) ; ANDRADE, Aline (Org.) ; ASSIS, Flávio (Org.) . Dependable Computing - LNCS 3747. 1. ed. Heidelberg, Germany: Springer, 2005. v. 1. 267p .

  • Maziero, Carlos ; LUNG, Lau Cheuk (Org.) . Anais do WSeg - Workshop de Segurança em Sistemas Computacionais. 1. ed. Natal RN: Sociedade Brasileira de Computação, 2003. v. 1. 120p .

  • Maziero, Carlos . Anais do WSeg - Workshop de Segurança em Sistemas Computacionais. Búzios RJ: Sociedade Brasileira de Computação, 2002. v. 1. 157p .

  • Maziero, Carlos . Anais do WSeg - Workshop de Segurança em Sistemas Computacionais. 1. ed. Florianópolis SC: Sociedade Brasileira de Computação, 2001. v. 1. 115p .

  • WILL, NEWTON ; Maziero, C. . Efficient Management Models for SGX Enclaves. In: G. Lenzini; P. Mori; S. Furnell. (Org.). Communications in Computer and Information Science. 1ed.Cham, Switzerland: Springer Nature, 2025, v. 2459, p. 195-220.

  • HEINRICH, T. ; REICHERT, B. M. ; WILL, NEWTON ; OBELHEIRO, RAFAEL ; Maziero, C. . WebAssembly: Uma Introdução. In: Ana Paula Couto da Silva; Antônio Jorge Gomes Abelém. (Org.). Minicursos do XLII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 1ed.Porto Alegre RS: SBC, 2024, v. 1, p. 228-276.

  • Lanoë, David ; HURFIN, Michel ; Totel, Eric ; Maziero, Carlos . An Efficient and Scalable Intrusion Detection System on Logs of Distributed Applications. In: Dhillon G.; Karlsson F.; Hedström K.; Zúquete. (Org.). IFIP Advances in Information and Communication Technology. 1ed.New York, USA: Springer International Publishing, 2019, v. 562, p. 49-63.

  • WILL, N. ; CONDE, R. ; Maziero, C. A. . Mecanismos de Segurança Baseados em Hardware - Uma Introdução à Arquitetura Intel SGX. In: Raul Ceretta Nunes. (Org.). Livro-texto de minicursos do SBSeg 2017. 17ed.Porto Alegre RS: Sociedade Brasileira de Computação, 2017, v. 1, p. 51-100.

  • MARCON JR, Arlindo ; LAUREANO, Marcos ; SANTIN, A. O. ; Maziero, Carlos . Aspectos de Segurança e Privacidade em ambientes de Computação em Nuvem. In: Luciano Porto Barreto; André de Moura Santos; Rossana Andrade. (Org.). Livro-texto de minicursos do SBSeg 2010. 1ed.Porto Alegre RS: Sociedade Brasileira de Computação, 2010, v. 1, p. 53-102.

  • LAUREANO, Marcos ; Maziero, Carlos . Virtualização: Conceitos e Aplicações em Segurança. In: C. Maziero; L. Gaspary; R. Weber. (Org.). Livro-texto de minicursos do SBSeg 2008. 1ed.Porto Alegre RS: Sociedade Brasileira de Computação, 2008, v. 1, p. 139-187.

  • RAGUENET, Inez Freire ; Maziero, C. A. . A Fuzzy Model for the Composition of Intrusion Detectors. In: Sushil Jajodia; Pierangela Samarati; Stelvio Cimato. (Org.). Proceedings of The Ifip Tc 11 23rd International Information Security Conference. 1ed.Boston, MA: Springer, 2008, v. 278, p. 237-251.

  • RAYNAL, Michel ; Maziero, Carlos . Discrete Event Simulation On Distributed Memory Parallel Computers. In: DIMOV, I.; TONEV, O.. (Org.). Advances in Parallel Algorithms. Amsterdam - Netherlands: IOS Press, 1994, v. 1, p. 176-183.

  • CURVELO, J. P. ; Maziero, C. A. . Monitoramento Seguro de Métricas de Nı́vel de Serviço em Nuvem. In: XXV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2025, Foz do Iguaçu PR. Anais do SBSeg 2025. Porto Alegre RS: Sociedade Brasileira de Computação, 2025. v. 1. p. 659-674.

  • VIESCINSKI, AMANDA ; HEINRICH, TIAGO ; FULBER-GARCIA, V. ; Maziero, C. A. . How Risky Is It? A Closer Look at Game Anti-Cheat Software. In: 30th IEEE Symposium on Computers and Communications (IEEE ISCC), 2025, Bologna Italy. Proceedings of the 30th IEEE ISCC. Los Alamitos CA USA: IEEE Computer Society, 2025. v. 1. p. 1-6.

  • HEINRICH, TIAGO ; WILL, NEWTON ; OBELHEIRO, RAFAEL ; Maziero, Carlos . Anywhere on Earth: A Look at Regional Characteristics of DRDoS Attacks. In: 10th International Conference on Information Systems Security and Privacy, 2024, Rome. Proceedings of the 10th International Conference on Information Systems Security and Privacy. Setúbal, Portugal: SciTePress, 2024. p. 21-29.

  • HEINRICH, TIAGO ; WILL, NEWTON ; OBELHEIRO, RAFAEL ; Maziero, Carlos . A Categorical Data Approach for Anomaly Detection in WebAssembly Applications. In: 10th International Conference on Information Systems Security and Privacy, 2024, Rome. Proceedings of the 10th International Conference on Information Systems Security and Privacy. Setúbal, Portugal: SciTePress, 2024. p. 275-284.

  • WILL, NEWTON ; Maziero, Carlos . Enclave Management Models for Safe Execution of Software Components. In: 10th International Conference on Information Systems Security and Privacy, 2024, Rome. Proceedings of the 10th International Conference on Information Systems Security and Privacy. Setúbal, Portugal: SciTePress, 2024. p. 474-485.

  • FRASAO, A. ; HEINRICH, T. ; FULBER-GARCIA, V. ; WILL, NEWTON ; OBELHEIRO, RAFAEL ; Maziero, C. . I See Syscalls by the Seashore: An Anomaly-based IDS for Containers Leveraging Sysdig Data. In: 29th IEEE Symposium on Computers and Communications (ISCC), 2024, Paris, France. Proceedings of ISCC 2024. Washington DC, EUA: IEEE Computer Society, 2024. p. 1-8.

  • FRASAO, A. ; HEINRICH, TIAGO ; FULBER-GARCIA, V. ; WILL, N. ; OBELHEIRO, RAFAEL ; Maziero, C. . Utilizando Estratégias de Monitoramento Leve em Ambientes Conteinerizados para Detecção de Anomalias via HIDS. In: 24º O Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2024, São José dos Campos SP. Anais do SBSEG 2024. Porto Alegre RS: Sociedade Brasileira de Computação, 2024. v. 1. p. 1-15.

  • COMARELLA, V. M. ; HEINRICH, TIAGO ; FULBER-GARCIA, V. ; WILL, N. ; OBELHEIRO, RAFAEL ; Maziero, C. . O Impacto de Software Anti-cheat na Privacidade do Usuário. In: 24º O Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2024, São José dos Campos SP. Anais do SBSEG 2024. Porto Alegre RS: Sociedade Brasileira de Computação, 2024. v. 1. p. 1-15.

  • LEMOS, RODRIGO G. ; HEINRICH, TIAGO ; WILL, NEWTON C. ; OBELHEIRO, RAFAEL R. ; MAZIERO, CARLOS A. . Inspecting Binder Transactions to Detect Anomalies in Android. In: 2023 IEEE International Systems Conference (SysCon), 2023, Vancouver. 2023 IEEE International Systems Conference (SysCon). Washington DC USA: IEEE Computer Society, 2023. p. 1-8.

  • HELPA, C. ; HEINRICH, TIAGO ; BOTACIN, M. ; WILL, NEWTON ; OBELHEIRO, RAFAEL R. ; MAZIERO, CARLOS A. . Uma Estratégia Dinâmica para a Detecção de Anomalias em Binários WebAssembly. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2023, Juiz de Fora MG. Anais do XXIII SBSEG. Porto Alegre RS: Sociedade Brasileira de Computação, 2023. v. 1. p. 1-13.

  • HEINRICH, TIAGO ; WILL, NEWTON ; OBELHEIRO, RAFAEL R. ; MAZIERO, CARLOS A. . Uso de Chamadas WASI para a Identificação de Ameaças em Aplicações WebAssembly. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2023, Juiz de Fora MG. Anais do XXIII SBSEG. Porto Alegre RS: Sociedade Brasileira de Computação, 2023. v. 1. p. 1-14.

  • LEMOS, RODRIGO ; HEINRICH, TIAGO ; MAZIERO, CARLOS A. ; WILL, NEWTON C. . Is It Safe? Identifying Malicious Apps Through the Use of Metadata and Inter-Process Communication. In: 2022 IEEE International Systems Conference (SysCon), 2022, Montreal. 2022 IEEE International Systems Conference (SysCon). Los Alamitos CA USA: IEEE Society, 2022. v. 1. p. 1-6.

  • HEINRICH, T. ; WILL, NEWTON C. ; OBELHEIRO, R. R. ; Maziero, C. A. . Um Estudo de Correlação de Ataques DRDoS com Fatores Externos Visando Dados de Honeypots. In: XXII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2022, Santa Maria RS. XXII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Porto Alegre RS: Sociedade Brasileira de Computação, 2022. p. 358-371.

  • HEINRICH, T. ; OBELHEIRO, R. R. ; Maziero, C. A. . New Kids on the DRDoS Block: Characterizing Multiprotocol and Carpet Bombing Attacks. In: Passive and Active Measurement Conference (PAM 2021), 2021, Cottbus-Senftenberg, Germany. Passive and Active Measurement Conference (PAM 2021). Cottbus-Senftenberg, Germany: Brandenburg University of Technology, 2021. v. 1. p. 1-15.

  • WILL, NEWTON C. ; HEINRICH, T. ; VIESCINSKI, A. ; Maziero, C. A. . Trusted Inter-Process Communication Using Hardware Enclaves. In: IEEE Intl Systems Conference, 2021, Evento virtual. IEEE Intl Systems Conference (SYSCON 2021). Los Alamitos, CA: IEEE Computer Society, 2021. v. 1. p. 1-7.

  • LEMOS, RODRIGO ; HEINRICH, TIAGO ; Maziero, Carlos . Utilizando Metadados de Aplicações e Comunicação entre Processos para Identificar Ameaças no Android. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2021, Brasil. Anais do XXI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2021). Porto Alegre RS: Sociedade Brasileira de Computação - SBC, 2021. v. 1. p. 71-85.

  • CASTANHEL, G. R. ; HEINRICH, T. ; CESCHIN, F. ; Maziero, C. A. . Taking a Peek: An Evaluation of Anomaly Detection Using System Calls for Containers. In: IEEE Symposium on Computers and Communications (ISCC 2021), 2021, Athens, Greece. IEEE Symposium on Computers and Communications (ISCC 2021). Los Alamitos, CA: IEEE Computer Society, 2021. v. 1. p. 1-8.

  • WILL, N. ; Maziero, C. . Using a Shared SGX Enclave in the UNIX PAM Authentication Service. In: IEEE International Systems Conference, 2020, Montreal Canadá. Proceedings of the 14th Annual IEEE International Systems Conference. New York NY USA: IEEE Computer Society, 2020. v. 1. p. 1-7.

  • MATOS, A. V. ; Maziero, C. A. . An Architecture for the Management of Virtual Machine Migrations. In: IEEE International Systems Conference, 2020, Montreal Canadá. Proceedings of the 14th Annual IEEE International Systems Conference. New York NY USA: IEEE Computer Society, 2020. v. 1. p. 1-8.

  • VIESCINSKI, A. ; HEINRICH, T. ; WILL, NEWTON C. ; Maziero, C. A. . Construção de modelos baseados em N-gramas para detecção de anomalias em aplicações distribuídas. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2020, Petrópolis RJ. Anais do SBSEG 2020. Porto Alegre RS: Sociedade Brasileira de Computação, 2020. v. 1. p. 1-14.

  • WILL, NEWTON C. ; HEINRICH, T. ; VIESCINSKI, A. ; Maziero, C. A. . A Trusted Message Bus Built on Top of D-Bus. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2020, Petrópolis RJ. Anais do SBSEG 2020. Porto Alegre RS: Sociedade Brasileira de Computação, 2020. v. 1. p. 1-14.

  • CASTANHEL, G. R. ; HEINRICH, T. ; CESCHIN, F. ; Maziero, C. A. . Detecção de Anomalias: Um Estudo Voltado na Identificação de Ataques no Ambiente de Contêiner. In: Workshop de Trabalhos de Iniciação Científica e de Graduação do SBSEG, 2020, Petrópolis RJ. Anais do SBSEG 2020. Porto Alegre RS: Sociedade Brasileira de Computação, 2020. v. 1. p. 1-14.

  • MATOS, A. V. ; Maziero, C. A. . Uma arquitetura para a gerência de migração de Máquinas Virtuais. In: Workshop em Clouds e Aplicações - Simpósio Brasileiro de Redes de Computadores (WCGA/SBRC), 2020, Rio de Janeiro RJ. Anais do WCGA/SBRC. Porto Alegre RS: Sociedade Brasileira de Computação, 2020. v. 1. p. 1-14.

  • CASTANHEL, G. R. ; HEINRICH, TIAGO ; CESCHIN, F. ; MAZIERO, CARLOS A. . Sliding Window: The Impact of Trace Size in Anomaly Detection System for Containers Through Machine Learning. In: Workshop Regional de Segurança da Informação e de Sistemas Computacionais (WRSeg), 2020, Porto Alegre RS. Workshop Regional de Segurança da Informação e de Sistemas Computacionais (WRSeg). Porto Alegre RS: Sociedade Brasileira de Computação, 2020. v. 1. p. 141-146.

  • REZENDE, DANIEL ; Maziero, Carlos ; MANNES, ELISA . A distributed online certificate status protocol for named data networks. In: the 33rd Annual ACM Symposium, 2018, Pau. Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18, 2018. v. 1. p. 2102-2109.

  • CONDE, RAFAEL C. R. ; MAZIERO, CARLOS A. ; WILL, NEWTON C. . Using Intel SGX to Protect Authentication Credentials in an Untrusted Operating System. In: 2018 IEEE Symposium on Computers and Communications (ISCC), 2018, Natal. 2018 IEEE Symposium on Computers and Communications (ISCC). Los Alamitos CA, USA: IEEE Computer Society, 2018. v. 1. p. 00158-00163.

  • REZENDE, D. ; Maziero, C. A. ; MANNES, E. . Distribuindo e Consultando o Estado de Chaves Públicas em Redes Centradas na Informação. In: Workshop de Redes P2P, Dinâmicas, Sociais e Orientadas a Conteúdo (WP2P2+ SBRC), 2017, Belém PA. Anais do XIII WP2P+ SBRC. Porto Alegre RS: Sociedade Brasileira de Computação, 2017. v. 1. p. 33-46.

  • BARRIVIERA, RODOLFO ; Maziero, Carlos . A model for context-sensitive usage control in healthcare information systems. In: 2017 Federated Conference on Computer Science and Information Systems, 2017, Praga - Rep. Tcheca. Varsovia, Polônia: Polish Information Processing Society, 2017. v. 1. p. 199-205.

  • BARRIVIERA, RODOLFO ; Maziero, C. A. ; TRELHA, C. . Analysis of Medical Records Management in Brazilian Basic Healthcare Units: A Qualitative Approach. In: 2nd Intl Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing (HEALTHINFO), 2017, Atenas, Grécia. Proceedings of the HEALTHINFO Conference. Wilmington DE, USA: Intl Academy, Research and Industry Association (IARIA), 2017. v. 1. p. 46-51.

  • MANNES, E. ; Maziero, C. ; LASSANCE, L. C. ; BORGES, FABIO . Assessing the Impact of Cryptographic Access Control Solutions on Multimedia Delivery in Information-Centric Networks. In: 2016 IEEE/IFIP Network Operations and Management Symposium (NOMS 2016), 2016, Istambul. 2016 IEEE/IFIP Network Operations and Management Symposium (NOMS 2016). New York USA: IEEE Communications Society, 2016. v. 1. p. 427-435.

  • KRAEMER, A. ; Maziero, C. A. ; RICHARD, O. ; TRYSTRAM, D. . Reducing the Number of Response Time SLO Violations by a Cloud-HPC Convergence Scheduler. In: 2nd Intl Conference on Cloud Computing Technologies and Applications - CloudTech'16, 2016, Marrakesh, Marrocos. 2nd Intl Conference on Cloud Computing Technologies and Applications ? CloudTech'16. IEEE Computer Society, 2016. v. 1. p. 1-8.

  • DIONYSIO, S. ; NACAMURA JR, Luis ; Maziero, Carlos . Improving Network I/O Performance in Virtual Machines through Workload Profile Clustering. In: VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016, João Pessoa PB. Anais do VI SBESC. Porto Alegre RS: Sociedade Brasileira de Computação, 2016. v. 1. p. 1-8.

  • FONTOURA, F. M. ; Maziero, C. A. ; WEHRMEISTER, M. A. . A Cryptographic API for Embedded Applications. In: VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016, João Pessoa PB. Anais do VI SBESC. Porto Alegre RS: Sociedade Brasileira de Computação, 2016. v. 1. p. 1-6.

  • MANNES, E. ; Maziero, C. A. . Controle de acesso baseado em criptografia para a distribuição segura de conteúdo multimídia em Redes Centradas em Informação. In: CTDSeg - IV Concurso de Teses e Dissertações em Segurança, 2016, Niterói RJ. Anais do XVI SBSeg - Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Porto Alegre RS: Sociedade Brasileira de Computação, 2016. v. 1. p. 439-446.

  • SEGALIN, D. ; SANTIN, A. O. ; MARINOWSKI, J. ; SEGALIN, L. ; Maziero, C. A. . An Approach to Deal with Processing Surges in Cloud Computing. In: 39th Annual IEEE International Computers, Software & Applications Conference (COMPSAC), 2015, Taichung, Taiwan. Proceedings of the COMPSAC 2015. Los Alamitos CA USA: IEEE Computer Society, 2015. p. 1-8.

  • MANNES, ELISA ; Maziero, Carlos ; LASSANCE, LUIZ ; BORGES, FABIO . Optimized access control enforcement over encrypted content in information-centric networks. In: 2015 IEEE Symposium on Computers and Communication (ISCC), 2015, Larnaca. 2015 IEEE Symposium on Computers and Communication (ISCC). v. 1. p. 924-6.

  • VEIGA, F. M. ; Maziero, C. A. . Avaliação da Efetividade dos Mecanismos de Compartilhamento de Memória em Hipervisores. In: V Brazilian Symposium on Computing Systems Engineering, 2015, Foz do Iguaçú PR. Anais do SBESC 2015. Porto Alegre RS: SBC - Sociedade Brasileira de Computação, 2015. v. 1. p. 1-14.

  • SANTOS, L. A. ; Maziero, C. A. ; Bona, L. . Avaliação de Caches em Dispositivos de Armazenamento Secundário com SSDs. In: V Brazilian Symposium on Computing Systems Engineering, 2015, Foz do Iguaçú PR. Anais do SBESC 2015. Porto Alegre RS: SBC - Sociedade Brasileira de Computação, 2015. v. 1. p. 1-14.

  • MUCHALSKI, F. ; Maziero, C. A. . Alocação de Máquinas Virtuais em Ambientes de Computação em Nuvem Considerando o Compartilhamento de Memória. In: XII Workshop de Computação em Clouds e Aplicações - WCGA/SBRC, 2014, Florianópolis SC. Anais do WCGA SBRC 2014. Porto Alegre RS: Sociedade Brasileira de Computação, 2014. v. 1. p. 81-92.

  • MANNES, E. ; Maziero, C. ; LASSANCE, L. C. ; BORGES, F. . Controle de acesso baseado em reencriptação por proxy em Redes Centradas em Informação. In: XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais - SBSeg 2014, 2014, Belo Horizonte MG. Anais do XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Porto Alegre RS: Sociedade Brasileira de Computação, 2014. v. 1. p. 2-15.

  • ANDRADE, G. E. ; LIMA JR, Luiz ; CALSAVARA, Alcides ; Maziero, C. A. . Routing Protocol Based on the Position, Velocity, and Direction of the Nodes. In: 9th Intl Symposium on Frontiers of Information Systems an Network Applications (FINA), 2013, Barcelona, Spain. Proceedings of the 9th Intl Symposium on Frontiers of Information Systems an Network Applications. Los Alamitos CA, USA: IEEE Computer Society, 2013. v. 1. p. 1-6.

  • OLSEN, Diogo ; Maziero, C. A. . Um Gerente de Contextos para Sistemas Operacionais de Uso Geral. In: Simpósio Brasileiro em Engenharia de Sistemas Computacionais (SBESC), 2012, Natal RN. Anais do SBESC 2012. Porto Alegre RS: Sociedade Brasileira de Computação, 2012. v. 1. p. 1-4.

  • VRIESMAN, P. ; NIEVOLA, J. ; Maziero, C. A. . Classificação Automática de Processos em um Sistema Operacional de Uso Geral. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2011, Florianópolis SC. Anais do I Simpósio Brasileiro de Engenharia de Sistemas Computacionais. Porto Alegre RS: Sociedade Brasileira de Computação, 2011. v. 1. p. 1-12.

  • VITHOFT, M. ; SANTIN, A. O. ; Maziero, Carlos ; RIBEIRO, H. . Um Serviço de Gerenciamento Seguro de Conteúdos P2P. In: XXXVI Conferencia Latinoamericana de Informática, 2010, Assuncion, Paraguai. Anais da XXXVI Conferencia Latinoamericana de Informática. Santiago, Chile: CLEI, 2010. v. 1. p. 1-14.

  • Lazzaroni, M. ; Piuri, V. ; Maziero, Carlos . Computer security aspects in industrial instrumentation and measurements. In: IEEE Instrumentation and Measurement Technology Conference (I2MTC), 2010, Austin TX, USA. Proceeddings IEEE Instrumentation and Measurement Technology Conference (I2MTC), 2010. v. 1. p. 1216-1221.

  • da Silva, Edemilson ; Santin, Altair Olivo ; JAMHOUR, Edgard ; Maziero, Carlos ; TOKTAR, Emir . Applying quorum role in network management. In: 2009 IFIP/IEEE International Symposium on Integrated Network Management (IM), 2009, New York. 2009 IFIP/IEEE International Symposium on Integrated Network Management. v. 1. p. 591-597.

  • Madruga, Marcelo ; Loest, Sergio ; Maziero, Carlos . Using transparent files in a fault tolerant distributed file system. In: 2009 International Symposium on Autonomous Decentralized Systems (ISADS), 2009, Athens. 2009 International Symposium on Autonomous Decentralized Systems. p. 109-114.

  • LOEST, Sérgio ; MADRUGA, Marcelo Cheminn ; Maziero, Carlos ; LUNG, Lau Cheuk . BackupIT: An Intrusion-Tolerant Cooperative Backup System. In: 8th IEEE/ACIS Intl Conference on Computer and Information Science (ICIS 2009), 2009, Shanghai, China. Proceedings of the 8th IEEE/ACIS Intl Conference on Computer and Information Science (ICIS 2009). Los Alamitos CA, USA: IEEE Computer Society, 2009. v. 1. p. 724-729.

  • SANTOS, Douglas ; Maziero, Carlos . Avaliação do comportamento de sistemas operacionais de mercado em situação de thrashing. In: VI Workshop de Sistemas Operacionais da SBC, 2009, Bento Gonçalves RS. Anais do XXIX Congresso da Sociedade Brasileira de Computação. Porto Alegre RS: Sociedade Brasileira de Computação, 2009. v. 1. p. 2343-2354.

  • MADRUGA, Marcelo Cheminn ; LOEST, Sérgio ; Maziero, Carlos ; SANTIN, A. O. . Um Sistema de Arquivos Distribuído Peer-to-Peer Tolerante a Faltas usando Arquivos Transparentes. In: Simpósio Brasileiro de Redes de Computadores, 2009, Recife PE. Anais do XXVII SBRC. Porto Alegre RS: Sociedade Brasileira de Computação, 2009. v. 1. p. 365-378.

  • KAGEYAMA, Edson ; Maziero, Carlos ; SANTIN, A. O. . A Pull-Based E-mail Architecture. In: ACM Symposium on Applied Computing, 2008, Fortaleza CE. 23rd Annual ACM Symposium on Applied Computing, 2008. p. 468-472.

  • KAGEYAMA, Edson ; Maziero, Carlos ; Santin, Altair Olivo . An Experimental Peer-to-Peer E-mail System. In: 2008 IEEE 11th International Conference on Computational Science and Engineering (CSE), 2008, Sao Paulo. 2008 11th IEEE International Conference on Computational Science and Engineering.

  • OLIVEIRA, Leonardo ; Maziero, Carlos . A Trust Model Applied to E-mail Servers. In: 2008 IEEE 11th International Conference on Computational Science and Engineering (CSE), 2008, Sao Paulo. 2008 11th IEEE International Conference on Computational Science and Engineering.

  • OLSEN, Diogo ; Maziero, Carlos . Um serviço de núcleo para informações sobre usuários. In: Workshop de Sistemas Operacionais da SBC, 2008, Belém PA. Anais do WSO 2008. Porto Alegre RS: Sociedade Brasileira de Computação, 2008. p. 209-215.

  • UCHÔA, André Degraf ; PELLENZ, Marcelo Eduardo ; SANTIN, Altair ; Maziero, Carlos . A Three-Pass Protocol for Cryptography Based on Padding for Wireless Networks. In: IEEE CCNC Consumer Communications and Networking Conference - Wireless Networking Track, 2007, Las Vegas USA. Proceedings of the CCNC 2007. Los Alamitos CA USA: IEEE Computer Society, 2007. v. 1. p. 287-291.

  • Teigao, R. ; Maziero, C. ; Santin, A. . A Grammar for Specifying Usage Control Policies. In: 2007 IEEE International Conference on Communications, 2007, Glasgow. 2007 IEEE International Conference on Communications. v. 1. p. 1379-1384.

  • NABHEN, Ricardo ; JAMHOUR, Edgard ; PENNA, Manoel ; FONSECA, Mauro ; Maziero, Carlos ; PUJOLLE, Guy . Avaliando Estratégias de Controle de Admissão para implementação de Garantias de QoS de Fluxos Individuais em Redes DiffServ usando Métodos de Otimização. In: Simpósio Brasileiro de Redes de Computadores, 2007, Belém PA. Anais do XXV SBRC. Porto Alegre RS: Sociedade Brasileira de Computação, 2007. v. 1. p. 811-824.

  • TEIGÃO, Rafael Coeninck ; Maziero, Carlos ; SANTIN, A. O. . Implementação de políticas UCON em um núcleo de sistema operacional. In: Simpósio Brasileiro de Segurança da Informação e Sistemas, 2007, Rio de Janeiro RJ. Anais do SBSeg 2007. Porto Alegre RS: Sociedade Brasileira de Computação, 2007. v. 1. p. 235-248.

  • SILVA, Edemilson ; SANTIN, A. O. ; JAMHOUR, Edgard ; Maziero, Carlos ; TOKTAR, Emir . Extensões ao Modelo RBAC de Restrições para suporta Obrigações do UCONabc. In: Simpósio Brasileiro de Segurança da Informação e Sistemas, 2007, Rio de Janeiro RJ. Anais do SBSeg 2007. Porto Alegre RS: Sociedade Brasileira de Computação, 2007. v. 1. p. 249-261.

  • OLIVEIRA, Leonardo ; Maziero, Carlos . Um modelo de confiança entre servidores de e-mail. In: XXXIII Conferência Latinoamericana de Informática, 2007, San José - Costa Rica. Anais do CLEI 2007. San José - Costa Rica: CLEI - Centro Latinoamericano de Estudios en Informatica, 2007. v. 1. p. 93-104.

  • RAGUENET, Inez Freire ; Maziero, Carlos . Um Modelo de Composição de Detectores de Intrusão Heterogêneos Baseado em Conjuntos Difusos. In: VI Simpósio Brasileiro de Segurança da Informação e Sistemas, 2006, Santos SP. Anais do VI SBSeg. Porto Alegre RS: Sociedade Brasileira de Computação, 2006. p. 1-14.

  • TEIGÃO, Rafael Coeninck ; MORIMOTO, Julio ; Maziero, Carlos . BananaKernel: Um Sistema Operacional para Ensino. In: XIV Workshop sobre Educação em Computação, 2006, Campo Grande MS. Anais do WEI 2006. Porto Alegre RS: Sociedade Brasileira de Computação, 2006. p. 61-70.

  • NABHEN, Ricardo ; Maziero, Carlos . Experiências no uso de máquinas virtuais para o ensino de Redes de Computadores. In: XIV Workshop sobre Educação em Computação, 2006, Campo Grande MS. Anais do WEI 2006. Porto Alegre RS: Sociedade Brasileira de Computação, 2006. p. 118-127.

  • NABHEN, Ricardo ; Maziero, Carlos . Some Experiences on Using Virtual Machines for Teaching Computer Networks. In: 19th IFIP World Computer Congress - TC3, 2006, Santiago - Chile. Education for the 21st Century: Impact of ICT and Digital Resources, 2006. v. 210. p. 83-92.

  • OLIVEIRA, Leonardo ; ARNAUT, Davi ; Maziero, Carlos . Um servidor de e-mail distribuído, flexível, escalável e tolerante a intrusões. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2005, Florianópolis SC. Anais do SBSeg 2005. Porto Alegre RS: Sociedade Brasileira de Computação, 2005. v. 1. p. 86-98.

  • KROPIWIEC, Cassio ; JAMHOUR, Edgard ; Maziero, Carlos . A WSDL Security Extension for IPsec. In: 9th IEEE Symposium on Computers and Communications, 2004, Alexandria. Proceedings of the 9th IEEE Symposium on Computers and Communications. Los Alamitos CA EUA: IEEE Computer Society, 2004. p. 393-398.

  • TOKTAR, Emir ; JAMHOUR, Edgard ; Maziero, Carlos . RSVP Policy Control using XACML. In: 5th IEEE Intl Workshop on Policies for Distributed Systems and Networks, 2004, Yorktown Hghts, New York, USA. Proceedings 5th IEEE Intl Workshop on Policies for Distributed Systems and Networks. LOs Alamitos CA USA: IEEE Computer Society, 2004. v. 1. p. 87-96.

  • TOKTAR, Emir ; JAMHOUR, Edgard ; Maziero, Carlos . A XML policy-based approach for RSVP. In: ICT'04 - 11th International Conference on Telecommunications, 2004, Fortaleza CE. Lecture Notes in computer Science - Proceedings ICT'04. Heidelberg, Alemanha: Springer Verlag, 2004. v. 1. p. 1204-1209.

  • MILANEZ, Marcello ; Maziero, Carlos ; JAMHOUR, Edgard . Segurança em redes IEEE 802.11 utilizando cadeias SPKI. In: IV WSeg - Workshop em Segurança de Sistemas Computacionais, 2004, Gramado RS. Anais do IV WSeg. Porto Alegre RS: SBC - Sociedade Brasileira de Computação, 2004. v. 1. p. 139-150.

  • CARRIÃO, Darlan ; SANTIN, Altair ; Maziero, Carlos ; SANTIN, A. O. . Integrando o modelo de segurança SPKI/SDSI ao ambiente de gerência WBEM. In: IV WSeg - Workshop em Segurança de Sistemas Computacionais, 2004, Gramado RS. Anais do IV WSeg. Porto Alegre RS: SBC - Sociedade Brasileira de Computação, 2004. v. 1. p. 25-36.

  • LAUREANO, Marcos ; Maziero, Carlos ; JAMHOUR, Edgard . Proteção de detectores de intrusão através de máquinas virtuais. In: IV WSeg - Workshop em Segurança de Sistemas Computacionais, 2004, Gramado RS. Anais do IV WSeg. Porto Alegre RS: SBC - Sociedade Brasileira de Computação, 2004. v. 1. p. 63-74.

  • NABHEN, Ricardo ; JAMHOUR, Edgard ; Maziero, Carlos . RBPIM: Enforcing RBAC policies in distributed heterogeneous systems. In: IX WGRS - Workshop de Gerência e Operação de Redes e Serviços, 2004, Gramado RS. Anais do IX WGRS. Porto Alegre RS: SBC - Sociedade Brasileira de Computação, 2004. v. 1. p. 79-90.

  • LAUREANO, Marcos ; Maziero, Carlos ; JAMHOUR, Edgard . Intrusion detection in virtual machine environments. In: 30th EUROMICRO Conference, 2004, Rennes. Proceedings of the 30th EUROMICRO Conference. Los Alamitos - California: IEEE Computer Society, 2004. v. 1. p. 520-525.

  • KROPIWIEC, Cassio ; JAMHOUR, Edgard ; Maziero, Carlos . A framework for protecting Web Services with IPSec. In: 30th EUROMICRO Conference, 2004, Rennes. Proceedings of the 30th EUROMICRO Conference. Los Alamitos, California: IEEE Computer Society, 2004. v. 1. p. 290-297.

  • STARKE, Márcio ; Maziero, Carlos ; JAMHOUR, Edgard . Controle Dinâmico de Recursos em Sistemas Operacionais. In: I Workshop de Sistemas Operacionais, 2004, Salvador, Bahia. Anais do I Workshop de Sistemas Operacionais. Porto Alegre, RS: Sociedade Brasileira de Computação, 2004. v. 1. p. 1-10.

  • SANTIN, A. O. ; FRAGA, Joni da Silva ; Maziero, Carlos . Extending the SDSI/SPKI Model Through Federation Webs. In: 7th IFIP TC6 TC11 CMS Conference on Communications and Multimedia Security, 2003, Torino, Italy. Lecture Notes in Computer Science. Heidelberg, Germany: Springer Verlag, 2003. v. 2828. p. 132-145.

  • BORCHARDT, Mauro ; Maziero, Carlos ; JAMHOUR, Edgard . An architecture for on-the-fly file integrity checking. In: 1st LADC Latin American Symposium on Dependable Computing, 2003, São Paulo, Brasil. Lecture Notes in Computer Science. Heidelberg, Alemanha: Springer Verlag, 2003. v. 2847. p. 117-126.

  • NABHEN, Ricardo ; JAMHOUR, Edgard ; Maziero, Carlos . RBPIM: A PCIM-Based Framework for RBAC. In: 28th IEEE LCN Conference on Local Computer Networks, 2003, Bonn/Königswinter, Germany. Proceedings IEEE Conference on Local Computer Networks. Los Alamitos, California: IEEE Computer Society Press, 2003. v. 1. p. 52-61.

  • NABHEN, Ricardo ; JAMHOUR, Edgard ; Maziero, Carlos . A Policy Based Framework for Access Control. In: 5th ICICS International Conference on Information and Communications Security, 2003, Huhehaote City, China. Lecture Notes in Computer Science. Heidelberg, Germany: Springer Verlag, 2003. v. 2836. p. 47-59.

  • NABHEN, Ricardo ; JAMHOUR, Edgard ; Maziero, Carlos . A Policy-Based Framework for RBAC. In: 14th IFIP/IEEE DSOM Workshop on Distributed Systems: Operations and Management, 2003, Heidelberg, Germany. Lecture Notes in Computer Science. Heidelberg, Germany: Springer Verlag, 2003. v. 2867. p. 181-193.

  • LAUREANO, Marcos ; Maziero, Carlos ; JAMHOUR, Edgard . Detecção de intrusão em máquinas virtuais. In: V SSI Simpósio de Segurança em Informática, 2003, São José dos Campos SP. Anais do V Simpósio de Segurança em Informática, 2003. v. 1. p. 1-7.

  • Maziero, Carlos . Reflexões sobre o ensino prático de sistemas operacionais. In: X Workshop Sobre Educação em Computação, 2002, Florianópolis SC. Anais do X Workshop Sobre Educação em Computação da SBC, 2002. v. 1. p. 1-12.

  • Maziero, Carlos ; BORCHARDT, Mauro . Verificação da integridade de arquivos no kernel do sistema operacional. In: Workshop em Segurança de Sistemas Computacionais, 2001, Florianópolis SC. Anais do Workshop em Segurança de Sistemas Computacionais. Florianópolis SC: Sociedade Brasileira de Computação, 2001. v. 1. p. 31-36.

  • SOUZA, Cristina ; Maziero, Carlos . Intercessão em Tempo de Implantação - uma Abordagem Reflexiva para a Plataforma J2EE?. In: XV Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro RJ. Anais do XV Simpósio Brasileiro de Engenharia de Software, 2001. v. 1. p. 286-301.

  • BORCHARDT, Mauro ; Maziero, Carlos . Uma arquitetura para a autenticação dinâmica de arquivos. In: III Simpósio de Segurança em Informática, 2001, São José dos Campos SP. Anais do Simpósio de Segurança da Informação 2001, 2001. v. 1. p. 101-108.

  • Maziero, Carlos ; SOUZA, Cristina . Habilitando Reflexão Computacional através dos Mecanismos de Montagem e Implantação da Plataforma J2EE. In: Workshop de Tendências em Objetos Distribuídos - OD2001, 2001, São Paulo SP. Anais do WTOD 2001, 2001. p. 1-12.

  • Maziero, Carlos ; VARDÂNEGA, Fernando . A rollback manager for optimistic distributed HLA simulations. In: XVIII Simpósio Brasileiro de Redes de Computadores, 2000, Belo Horizonte MG. Anais do XVIII Simpósio Brasileiro de Redes de Computadores. Belo Horizonte MG: Sociedade Brasileira de Computação, 2000. v. I. p. 183-193.

  • Maziero, Carlos ; VARDÂNEGA, Fernando . A generic rollback manager for optimistic HLA simulations. In: 4th IEEE International Workshop on Distributed Simulation and Real-Time Applications, 2000, San Francisco. Proceedings of the 4th Intl Workshop on Distributed Simulation and Real-Time Applications. Los Alamitos/CA - USA: IEEE Computer Society, 2000. p. 79-88.

  • Maziero, Carlos ; SOUZA, Cristina . Uma abordagem reflexiva para replicação de componentes servidores da plataforma Java para corporações. In: II Workshop de Testes e Tolerância a Falhas, 2000, Curitiba PR. Anais do II WTF, 2000. v. 1. p. 106-111.

  • Maziero, Carlos ; VARDÂNEGA, Fernando . Reflective management of optimistic federates in HLA. In: 11th European Simulation Symposium and Exhibition - ESS'99, 1999, Erlangen. Proocedings of the 11th European Simulation Symposium and Exhibition. San Diego CA: Society for Computer Simulation International, 1999. p. 561-565.

  • Maziero, Carlos ; VARDÂNEGA, Fernando . Simplifying optimistic distributed simulations in the High Level Architecture. In: XI International Conference on Parallel and Distributed Computing and Systems, 1999, Cambridge/MIT. Proocedings of the XI International Conference on Parallel and Distributed Computing and Systems, 1999. v. 1. p. 929-933.

  • Maziero, Carlos ; FRAGA, Joni da Silva ; LUNG, Lau Cheuk . MetaFT - A reflective approach to implement replication techniques in CORBA. In: XIX IEEE International Conference of the Chilean Computer Science Society, 1999, Talca. Proocedings of the XIX IEEE International Conference of the Chilean Computer Science Society. Los Alamitos CA: IEEE Computer Society Publications, 1999. p. 25-34.

  • Maziero, Carlos ; VARDÂNEGA, Fernando . Using computational reflection in optimistic distributed simulations. In: XIX IEEE International Conference of the Chilean Computer Science Society, 1999, Talca. Proceedings of the XIX IEEE International Conference of the Chilean Computer Science Society. Los Alamitos CA: IEEE Computer Society, 1999. p. 1-8.

  • RIBEIRO, Ribeiro ; Maziero, Carlos . Supporting Distributed Object-Oriented Simulations In An Open Platform. In: 10th European Simulation Symposium and Exhibition, 1998, Nottingham UK. Proceedings of the 10th European Simulation Symposium and Exhibition. San Diego CA: Society for Computer Simulation International, 1998. p. 175-183.

  • RIBEIRO, Ribeiro ; Maziero, Carlos . Um Suporte Para Simulações Orientadas A Objetos Distribuídas Em Uma Plataforma Aberta. In: XVI Simposio Brasileiro de Redes de Computadores, 1998, Rio de Janeiro RJ. Anais do XVI Simposio Brasileiro de Redes de Computadores. Rio de Janeiro RJ: Univ Federal Fluminense, 1998. p. 445-458.

  • LUNG, Lau Cheuk ; FRAGA, Joni da Silva ; Maziero, Carlos . Uma Abordagem Reflexiva Usando Suporte de Grupo Para Implementar Técnicas de Replicação Em Ambientes Heterogêneos. In: VII Simposio de Computadores Tolerantes a Faltas, 1997, Campina Grande PB. Anais do VII Simpósio de Computadores Tolerantes a Faltas, 1997. v. 1. p. 279-293.

  • FRAGA, Joni da Silva ; Maziero, Carlos ; LUNG, Lau Cheuk ; LOQUES, Orlando . Implementing Replicated Services In Open Systems Using A Reflective Approach. In: 3rd IEEE International Symposium on Autonomous Decentralized Systems, 1997, Berlin. Proceedings of the 3rd IEEE International Symposium on Autonomous Decentralized Systems. Berlin - Germany, 1997. v. 1. p. 273-280.

  • FRAGA, Joni da Silva ; Maziero, Carlos ; LUNG, Lau Cheuk ; LOQUES, Orlando . Implementação de Serviços Replicados Em Um Ambiente Aberto Usando Uma Abordagem Reflexiva. In: XXIII Seminário Integrado de Software e Hardware, 1996. Anais do XXIII Seminário Integrado de Software e Hardware. Recife PE. v. 1. p. 261-272.

  • FRAGA, Joni da Silva ; Maziero, Carlos ; LUNG, Lau Cheuk ; LOQUES, Orlando . Implementação de Serviços Replicados Em Uma Plataforma Corba Usando Uma Abordagem Reflexiva. In: II Workshop do Projeto Protem/CC ASAP, 1996. Anais do II Workshop do Projeto ASAP. Fortaleza CE. v. 1.

  • Maziero, Carlos . Um Núcleo de Sistema Distribuído Para A Simulação A Eventos Discretos. In: 13 Simpósio Brasileiro de Redes de Computadores, 1995. Anais do 13 Simpósio Brasileiro de Redes de Computadores. Belo Horizonte MG. v. 1. p. 411-430.

  • LUNG, Lau Cheuk ; FRAGA, Joni da Silva ; Maziero, Carlos . Suporte a Grupos de Objetos Em Uma Plataforma Corba. In: I Workshop do Projeto Protem/CC ASAP, 1995. Anais do I Workshop do Projeto ASAP. Florianopolis SC. v. 1.

  • Maziero, Carlos ; RAYNAL, Michel . Discrete Event Simulation On Distributed Memory Parallel Computers. In: WPA92 Workshop on Parallel Algorithms, 1992, Sofia. Proceedings of the WPA92 Workshop on Parallel Algorithms. Sofia - Bulgaria, 1992. v. 1.

  • INGELS, Philippe ; Maziero, Carlos ; RAYNAL, Michel . A Distributed Kernel For Virtual Time Driven Applications. In: 4th IEEE International Conference on Computing and Information, 1992, Toronto. Proceedings of the 4th IEEE International Conference on Computing and Information. Toronto - Canada, 1992. v. 1. p. 430-433.

  • CANTÚ, Evandro ; GARNOUSSET, Eric ; Maziero, Carlos ; FARINES, Jean-Marie . ARP: Uma Ferramenta Para o Desenvolvimento de Software em Aplicações Distribuídas. In: I Seminário Franco-Brasileiro em Sistemas Informáticos Distribuidos, 1989, Florianópolis SC. Anais do I Seminário Franco-Brasileiro em Sistemas Informáticos Distribuidos. Florianopolis SC, 1989. v. 1. p. 73-79.

  • Maziero, Carlos ; FARINES, Jean-Marie ; O Ambiente Arp de Análise e Simulação de Sistemas Modelados Por Redes de Petri. In: III Simposio Brasileiro de Engenharia de Software, 1989. Anais do III Simposio Brasileiro de Engenharia de Software. Recife PE. v. 1.

  • Maziero, Carlos ; FARINES, Jean-Marie . Ambiente de Concepção de Software Para Sistemas Distribuídos. In: II Simposio Brasileiro de Engenharia de Software, 1988, Canela RS. Anais do II Simpósio Brasileiro de Engenharia de Software. Canela RS, 1988. v. 1. p. 150-157.

  • Maziero, Carlos . Analisador/Simulador de Redes de Petri. In: V Concurso de Trabalhos de Iniciacao Cientifica, 1987, Salvador BA. Anais do VII Congresso da SBC. Salvador BA, 1987. v. 1. p. 477-486.

  • BORTOLINI, D. ; OBELHEIRO, RAFAEL ; Maziero, C. A. . Detecção Eficiente de Anomalias em Hosts usando Transformer com Categorização de Chamadas de Sistema. In: XXV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2025, Foz do Iguaçu PR. Anais do SBSeg 2025. Porto Alegre RS: Sociedade Brasileira de Computação, 2025. v. 1. p. 1042-1049.

  • HELPA, CALEBE ; HEINRICH, TIAGO ; BOTACIN, MARCUS ; WILL, NEWTON ; OBELHEIRO, RAFAEL ; Maziero, Carlos . The Use of the DWARF Debugging Format for the Identification of Potentially Unwanted Applications (PUAs) in WebAssembly Binaries. In: 21st International Conference on Security and Cryptography, 2024, Dijon. Proceedings of the 21st International Conference on Security and Cryptography. Setúbal, Portugal: SCITEPRESS, 2024. v. 1. p. 442-449.

  • VIESCINSKI, AMANDA ; HEINRICH, TIAGO ; WILL, NEWTON ; Maziero, Carlos . Behavior Modeling of a Distributed Application for Anomaly Detection. In: 19th International Conference on Security and Cryptography, 2022, Lisbon. Proceedings of the 19th International Conference on Security and Cryptography. Lisbon Portugal: SCITEPRESS - Science and Technology Publications, 2022. p. 333-340.

  • LAUREANO, Marcos ; Maziero, Carlos ; JAMHOUR, Edgard . Detectando Intrusões na Máquina Virtual User-Mode Linux. In: V Workshop sobre Software Livre - WSL2004, 2004, Porto Alegre RS. Anais do V Workshop sobre Software Livre. Porto Alegre RS: Sociedade Brasileira de Computação, 2004. v. 1. p. 59-62.

  • HEINRICH, TIAGO ; MAZIERO, CARLOS A. ; WILL, NEWTON C. ; OBELHEIRO, RAFAEL R. . How DRDoS attacks vary across the globe?. In: IMC '22: ACM Internet Measurement Conference, 2022, Nice France. Proceedings of the 22nd ACM Internet Measurement Conference. New York: ACM, 2022. p. 760-761.

  • KROPIWIEC, Cassio ; JAMHOUR, Edgard ; Maziero, Carlos . A WSDL extension for protecting Web Services with IPSec. In: ICT'04 - 11th International Conference on Telecommunications, 2004, Fortaleza CE. Proceedings of the ICT'04. Heidelberg, Alemanha: Springer Verlag, 2004. v. 1. p. 1382-1382.

  • Maziero, Carlos ; BORCHARDT, Mauro ; BARONI, Aline ; BURNETT, Robert . ASPeN - um Ambiente para Edição, Análise e Simulação de Redes de Petri. In: Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis SC. Anais do XIII Simpósio Brasileiro de Engenharia de Software, 1999.

  • Maziero, Carlos . Conceitos Aplicados de Sistemas Operacionais. Rio de Janeiro RJ: Editora Campus SA, 2001. (Tradução/Livro).

Outras produções

Maziero, Carlos ; JAMHOUR, Edgard ; CALSAVARA, Alcides . Polloshop Virtual. 2000.

Maziero, Carlos ; JAMHOUR, Edgard ; CALSAVARA, Alcides ; SCALABRIN, Edson . Sistema de Informações Estratégicas. 1999.

Maziero, Carlos ; BORCHARDT, Mauro ; LAROCCA, Joel . Drivers para Impressoras Fiscais. 1998.

Maziero, Carlos . Implantação da Internet na ETFSC-SJ. 1995.

Maziero, Carlos . Simpatica - uma biblioteca de simulação a eventos discretos em C. 2007.

Maziero, Carlos . Blockmail - um filtro de anexos de e-mail. 2002.

Maziero, Carlos . ARP - Analisador de Redes de Petri. 1990.

COSTA, Regivaldo ; SANTIN, A. O. ; Maziero, Carlos . Sistema Seguro de Votação Eletrônica Multi-Cédulas. 2008.

Maziero, Carlos ; WANGHAM, Michelle ; CARAPINHA, J. ; CALZAROSSA, M. C. ; TSAKALI, M. ; OLIVEIRA, C. . Membro do comitê de avaliação de projetos de pesquisa no âmbito dos projetos Europa-Brasil H2020. 2019.

Maziero, Carlos ; WANGHAM, Michelle ; CARAPINHA, J. ; CALZAROSSA, M. C. ; TSAKALI, M. ; MAROTTA, M. . Membro do comitê de avaliação de projetos de pesquisa no âmbito dos projetos Europa-Brasil H2020. 2018.

Maziero, C. A. . Membro do Comitê de Auxílio Técnico em Tecnologia da Informação e Comunicação da Secretaria de Desenvolvimento Tecnológico e de Inovação do Ministério de Ciência, Tecnologia e Inovação (Portaria 11/2015 SDTI/MCTI). 2015.

Maziero, C. A. . Membro do Comitê de Auxílio Técnico em Tecnologia da Informação e Comunicação da Secretaria de Desenvolvimento Tecnológico e de Inovação do Ministério de Ciência, Tecnologia e Inovação (Portaria 25/2014 SDTI/MCTI). 2014.

Maziero, C. A. . Membro do Comitê de avaliação CNPq RHAE Empresas - Edital MCTI/SETEC/CNPq 54/2013. 2014.

Maziero, C. A. . Membro do Comitê de avaliação CNPq RHAE Empresas - Edital MCTI/SETEC/CNPq 54/2013. 2013.

Maziero, C. A. . Membro do Comitê de avaliação CNPq RHAE Empresas - Edital MCTI/SETEC/CNPq 17/2012. 2012.

Maziero, Carlos . Representante do Brasil no IFIP TC-11 (Security and Protection in Information Systems). 2006.

Maziero, Carlos ; DAHAB, Ricardo . Coordenação da Comissão Especial em Segurança da Informação e de Sistemas Computacionais da Sociedade Brasileira de Computação. 2004.

Maziero, Carlos . Coordenação do Fórum de Coordenadores de Pós-Graduação Stricto Sensu da Sociedade Brasileira de Computação. 2002.

Maziero, Carlos ; RAYNAL, Michel ; INGELS, Philippe . Évaluation des performances d'un noyau de simulation répartie. 1992.

Maziero, Carlos ; RAYNAL, Michel ; INGELS, Philippe . Un noyau de système réparti pour les applications gerées par un temps virtuel. 1992.

Maziero, Carlos ; R. Terada ; WANGHAM, Michelle ; FRAGA, Joni da Silva . Anais do XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. 2015. (Editoração/Anais).

Maziero, Carlos ; LIMA JR, Luiz . Programação UNIX Avançada. 2004. (Curso de curta duração ministrado/Extensão).

Maziero, Carlos . Distributed Objects Technologies. 2001. (Curso de curta duração ministrado/Outra).

Maziero, Carlos . Sobre as práticas de laboratório no ensino de sistemas operacionais. 2001. (Relatório de pesquisa).

Maziero, Carlos . Distributed Objects Technologies. 2000. (Curso de curta duração ministrado/Outra).

Maziero, Carlos . Distributed Objects Technologies. 1999. (Curso de curta duração ministrado/Outra).

Maziero, Carlos . Gerência de Redes e Sistemas. 1999. (Curso de curta duração ministrado/Extensão).

Maziero, Carlos . Consultoria Ad Hoc para a Fundação Araucária, para a análise de projetos de pesquisa. 2000 (Consultoria Ad Hoc) .

Maziero, Carlos . Consultoria Ad Hoc para o programa RHAE/CNPq, para a análise de projetos de pesquisa. 2000 (Consultoria Ad Hoc) .

Maziero, Carlos . Consultoria Ad Hoc para o programa RHAE/CNPq, para a análise de projetos de pesquisa. 1999 (Consultoria Ad Hoc) .

Projetos de pesquisa

  • 2023 - Atual

    Segurança e gestão de recursos em sistemas de computação, Descrição: Estudo de mecanismos de hardware e técnicas de software para a segurança e gestão de recursos em sistemas computacionais, com ênfase no controle de acesso, controle de uso e detecção de anomalias e intrusões em servidores, máquinas virtuais e ambientes de nuvem computacional.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Carlos Alberto Maziero - Coordenador / Michel Hurfin - Integrante / Newton Will - Integrante / Amanda Viescinski - Integrante / HEINRICH, TIAGO - Integrante / OBELHEIRO, RAFAEL R. - Integrante / Rodrigo Gomes Lemos - Integrante / Diogo Bortolini - Integrante / João Pedro Curvelo - Integrante., Número de produções C, T & A: 42 / Número de orientações: 3

  • 2016 - 2019

    Secure Big Data Processing in Untrusted Clouds (SecureCloud), Descrição: The H2020 European/Brazilian SecureCloud project addresses the confidentiality, integrity and availability of applications executed in the cloud. Data at rest or in transit on the network is already nowadays protected by encryption. The main problem that we face is how to ensure the confidentiality of data while being processed. Our approach is based on upcoming hardware extensions of commodity CPUs like Intel's Secure Guard Extensions (SGX). By the help of these hardware extensions, we reduce the trusted computing base dramatically by excluding from it the millions of lines of source code of the cloud stack, operating systems and hypervisor. This permits us to ensure the confidentiality of computations even if the computers are under a different administrative control (like a cloud provider) or there is no physical security of the computers. Moreover, we ensure the confidentiality even if attackers would take control of the cloud stack, the hypervisor or the operating systems. As long as the hardware extensions of the CPU can be trusted, we can ensure the confidentiality of the computations. SecureCloud focuses on ensuring the confidential and dependable processing of Big Data. To keep the trusted computing base small, we use the concept of microservices: only the application logic that processes data (e.g., operators) is protected while all functionality that, e.g., shuffles and stores encrypted data is outside the trusted computing base. By monitoring the microservices, we can restart services that run on compromised hosts. We will evaluate and demonstrate our approach in the context of smart grids. In this use case context, we need to run across a physically distributed computing infrastructure with no or little physical security and partly untrusted administrators. We need to process large volumes of data and this big data processing would benefit by partial offloading into the cloud. In SecureCloud, we will show how to do this in a secure fashion even if clouds are untrusted.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (5) / Mestrado profissional: (2) / Doutorado: (3) . , Integrantes: Carlos Alberto Maziero - Integrante / Keiko Verônica Ono Fonseca - Integrante / Kristof Fetzer - Integrante / Stefan Köpsell - Integrante / Rodrigo Jardim Riella - Coordenador / Andrey Elísio Monteiro Brito - Integrante / Peter Pietzuch - Integrante / Pascal Felber - Integrante / Daniel Enrique Lucani Roetter - Integrante / Ferdinando Campanile - Integrante / Leonid Lev - Integrante / Maurilio Pereira Coutinho - Integrante / Luiz Fernando Rust da Costa Carmo - Integrante., Número de produções C, T & A: 11

  • 2013 - 2016

    Aplicação de técnicas de confinamento e virtualização na execução segura de aplicações Internet, Descrição: Os recentes avanços das tecnologias associadas à Internet mudaram nossa forma de usá-la, tornando os usuários participantes ativos no processo de construção do conteúdo, no que costuma ser chamado de ?Web 2.0?. Essa evolução na forma de uso, aliada à explosão no número de usuários e de serviços, motivou uma restruturação na forma como os servidos da Internet são providos. Do lado do servidor, vê-se a estruturação dos provedores em nuvens computacionais, infraestruturas onde a alocação de recursos se faz de forma dinâmica, em função da demanda. Do lado do cliente, o navegador Web é visto como suporte de execução de aplicações cada vez mais interativas e sofisticadas. O objetivo deste projeto de pesquisa é investigar os diferentes modelos de execução de aplicações pelo navegador Web, bem como as possibilidades de integração das mesmas ao sistema local (desktop do usuário), sob a ótica do acesso das aplicações remotas aos recursos locais e das questões de segurança decorrentes. O uso de técnicas de confinamento como sandboxes e hipervisores será avaliado, com vistas à definição de uma arquitetura segura para a execução de aplicações Web ricas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: / Mestrado profissional: (2) . , Integrantes: Carlos Alberto Maziero - Coordenador., Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2012 - 2014

    Gerenciamento de Políticas de Uso, Identidades e Auditoria para Computação em Nuvem, Descrição: Visando a implantação de uma arquitetura distribuída de gerência de políticas automatizada e identidades federadas, lança-se mão de credenciais para transportar informações de autenticação e atributos de autorização entre os domínios de consumidores e provedores de serviços. Unindo-se as credenciais a uma infraestrutura de controle de acesso baseada no modelo de préconfiguração se diminui o acoplamento existente entre as entidades que avaliam e aplicam as políticas de segurança no sistema distribuído. A arquitetura proposta permitirá ao consumidor monitorar as violações em direitos/cotas de uso que aconteçam no ambiente do provedor. Violações também serão monitoradas via um sistema de auditoria/detecção de intrusão. Com a utilização da Arquitetura Orientada a Serviço e da Computação em Nuvem (Cloud Computing) tem-se o ambiente propício para o desenvolvimento de uma proposta que forneça segurança, flexibilidade, escalabilidade e baixo acoplamento funcional. Este projeto tem um orçamento de R$ 43.600,00 (Edital Universal CNPq/MCT). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (2) . , Integrantes: Carlos Alberto Maziero - Integrante / Joni da Silva Fraga - Integrante / Arlindo Luis Marcon Jr - Integrante / Paulo Manoel Mafra - Integrante / Maicon Stihler - Integrante / Vinicius Moll - Integrante / Juliana Bachtold - Integrante / Thiago M. Rosa - Integrante / Santin, Altair Olivo - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2010 - 2013

    Associação de estratégias de compartimentalização a modelos de controle de acesso em sistemas operacionais multi-usuários, Descrição: Tradicionalmente, o acesso aos recursos em um sistema operacional é regulado por mecanismos de controle de acesso, que implementam alguma política de acesso discricionária, obrigatória ou híbrida. Os modelos de controle de acesso mais sofisticados são flexíveis e escaláveis, mas a construção e validação de políticas mais complexas pode ser uma tarefa árdua. Além disso, erros na definição da política ou na construção dos mecanismos que a implementam podem permitir acessos indevidos. Recentemente, técnicas de compartimentalização de recursos, como as máquinas virtuais e os núcleos de segurança, têm sido usadas para restringir o domínio de execução de programas considerados inseguros, como navegadores e serviços de rede. Essas técnicas definem modelos de confinamento de fácil compreensão e administração, mas rígidos e pouco escaláveis. O objetivo deste projeto de pesquisa é investigar as possibilidades de associação destas duas estratégias ortogonais de restrição de acesso a recursos na construção de modelos de segurança simples, flexíveis e escaláveis, que possam ser aplicados a sistemas operacionais de propósito geral.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carlos Alberto Maziero - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2009 - 2011

    Gestão autonômica de recursos em sistemas operacionais multi-usuários, Descrição: Este projeto propõe o desenvolvimento de um gerente autonômico de recursos para ambientes multi-usuário de propósito geral. O objetivo do gerenciador proposto é monitorar continuamente o consumo de recursos pelos usuários de um sistema computacional, fazendo os ajustes adequados para oferecer um tempo de resposta aceitável para as aplicações interativas (editores, planilhas, navegadores), mesmo em condições de carga computacional mais severa. O gerente a ser desenvolvido emprega conceitos de computação autonômica, como os laços de controle dos sistemas ultra-estáveis, de técnicas de classificação automática para a correta classificação dos processos do sistema operacional, além das técnicas convencionais de controle de recursos em sistemas operacionais de propósito geral.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Carlos Alberto Maziero - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2008 - 2008

    CAPES Pró-Equipamentos, Descrição: Recursos para a aquisição de um computador de médio porte para a execução em larga escala de ambientes de máquinas virtuais e a execução de simulações de modelos de redes de computadores de grande porte. Edital CAPES Pró-Equipamentos 01/2007, valor R$ 25.000,00.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (6) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Carlos Alberto Maziero - Coordenador / Edgard Jamhour - Integrante / Alcides Calsavara - Integrante / Manoel Camillo Penna - Integrante / Luiz Augusto de Paula Lima Jr - Integrante / Marcelo Eduardo Pellenz - Integrante / Mauro Fonseca - Integrante / Altair Olivo Santin - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 3

  • 2007 - 2009

    Segurança P2P baseada em SDSI/SPKI, Descrição: Os mecanismos clássicos baseados em servidor, quando adaptados as redes P2P, carecem da confiança numa terceira parte confiável, a TTP (Trust Third Party). Neste caso, baseiam a segurança em esquemas de reputação e certificados auto-assinados. Os esquemas de reputação são subjetivos e os certificados auto-assinados não garantem segurança em nível de aplicação, apenas protegem mensagens sendo transmitidas. Os mecanismos de controle de acesso usam ACL nos destino, característica de aplicações baseadas em servidor. Este trabalho propõem o uso de uma abordagem mais flexível, segura e adequada ao ambiente P2P, o SDSI/SPKI (Simple Distributed Security Infrastructure / Simple Public Key Infrastructure). Na proposta é mostrado que o uso de chaves para identificar peer, permite criar um mecanismo de reputação confiável, baseado em caminho de confiança dentro de uma teia de federações SDSI/SPKI. Este esquema dá credibilidade aos certificados SDSI/SPKI, mesmo num ambiente auto gerenciado (self-managed) como é o P2P. Além disto, é proposto o uso de assinatura digital para dar autenticidade aos conteúdos P2P. Os certificados de autorização criam cadeias de autorização que são verificadas no destino sem necessidade de ACL, criação de accounts e estabelecimento de relações de confiança com as TTP. Assim, um cliente P2P pode verificar a autenticidade de um conteúdo P2P após o mesmo ter sido alterado através da cadeia de certificados SDSI/SPKI. É proposto também um caso de uso onde os mecanismos/modelos proposto são implementados numa aplicação real de e-mail P2P implementada num middleware P2P para avaliar a proposta (Edital CT-Info CNPq/MCT, processo 550962/2007-7, valor R$49.525,28). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Carlos Alberto Maziero - Integrante / Alcides Calsavara - Integrante / Luiz Augusto de Paula Lima Jr - Integrante / Marcelo Henrique Vithoft - Integrante / Heverson Ribeiro - Integrante / Emerson Ribeiro de Mello - Integrante / Neander Larsen Brisola - Integrante / Sergi Takahashi - Integrante / Cleber Kiel Olivo - Integrante / Altair Olivo Santin - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2007 - 2008

    Uma Abordagem Inteligente para a Detecção de Intrusão, Descrição: A proposta visa utilizar as técnicas mais recentemente publicadas de inteligência artificial (aprendizagem de máquina, com algoritmos que aprendem rapidamente) para construir um modelo de comportamento anômalo mais eficiente (baseado em dados reais capturados uma honeynet). Serão coletados na honeypot também dados de intrusão em redes wireless usando equipamentos reais destinados a constituir um ambiente de ataque com as características específicas de redes sem fio. Como base no modelo será construído um protótipo para avaliar a proposta.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Carlos Alberto Maziero - Integrante / Lau Cheuk Lung - Integrante / Luiz Eduardo Soares Oliveira - Integrante / Regivaldo Gomes da Costa - Integrante / Arlindo Luis Marcon Jr - Integrante / Altair Olivo Santin - Coordenador., Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2006 - 2008

    Tolerância a Intrusões em Sistemas Distribuídos, Descrição: O projeto TISD reúne duas equipes com cerca de 20 anos de pesquisa e competências fortes, mas complementares em tolerância a faltas e segurança de sistemas informáticos distribuídos. Os principais objetivos do projeto são: fazer intercâmbio entre professores e pesquisadores das duas equipes, dando a conhecer em cada uma o trabalho realizado na outra e fomentando trabalho conjunto; formação avançada de pesquisadores através da co-orientação de candidatos de doutoramento e da troca de experiências dos professores universitários envolvidos; estabelecer colaboração entre as duas equipes, produzindo artigos científicos conjuntos; reunir as competências complementares das duas equipes para abordar de forma inovadora alguns problemas de tolerância a faltas e intrusões em sistemas distribuídos de larga escala. Recursos aprovados: oito passagens internacionais, dois doutorado sandwich e R$ 5.000,00. Coordenador no lado português: Prof. Paulo Veríssimo (Universidade de Lisboa). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Carlos Alberto Maziero - Integrante / Lau Cheuk Lung - Integrante / Joni da Silva Fraga - Coordenador / Marcos Aurélio Pchek Laureano - Integrante / Paulo Veríssimo - Integrante / Miguel Correia - Integrante / Nuno Ferreira Neves - Integrante / Alysson Neves Bessani - Integrante / Fábio Favarim - Integrante / Giuliana Teixeira Santos - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 2005 - 2006

    Aplicações em TV Digital, Descrição: Projeto de pesquisa aplicada e de desenvolvimento científico com inovação tecnológica no âmbito do Sistema Brasileiro de Televisão Digital intitulado "Serviços, Aplicações e Conteúdo para TV Digital Terrestre". O objetivo do projeto, conforme especificado na RFP Nº 07/2004 (Carta Convite MC/MCT/FUNTTEL/FINEP Nº 01/2004), é o desenvolvimento de aplicações inovadoras para TV digital terrestre. O projeto engloba a concepção de aplicações interativas, sistema de armazenamento, busca e recuperação de conteúdo multimídia, especificação de controle remoto e protótipos de aplicações interativas. Proponente: BRISA - SOCIEDADE PARA O DESENVOLVIMENTO DA TECNOLOGIA DA INFORMAÇÃO. Instituições Colaboradoras: LACTEC, UFPR, UnB, PUCPR, TVA.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Carlos Alberto Maziero - Integrante / Henrique Cesar de Conti - Coordenador / Marcelo Eduardo Pellenz - Integrante / Alexandre Barbosa - Integrante / Fernando Inácio de Faria - Integrante / Jacques Facon - Integrante / João Yutaka Kitahara - Integrante / Jorge Henrique Cabral Fernandes - Integrante / Luciana Santana Leão - Integrante / Luciano Silva - Integrante / Marco Alberto Wang - Integrante / Newton Machado - Integrante / Olga Regina Pereira Bellon - Integrante / Paulo Francisco de Vilhena Toledo - Integrante / Paulo Roberto de Lira Gondim - Integrante / Rafael Timóteo de Souza Jr - Integrante / Sérgio Loureiro Mautoni - Integrante / Voldi Costa Zambenedetti - Integrante., Financiador(es): Ministério da Ciência, Tecnologia e Inovações - Auxílio financeiro.

  • 2003 - 2005

    Projeto CNPq ACME, Descrição: Projeto aprovado no edital CT-Info/CNPq 01/2003, em dez/2003, processo 401581/2003-9, com orçamento de R$ 31.774,20. O objetivo deste projeto é definir e implementar um ambiente de processamento de e-mail flexível, robusto e eficiente, que possa ser facilmente integrado a servidores SMTP convencionais do ambiente UNIX, como Postfix, Qmail, Sendmail e Exim. Esse ambiente de processamento de e-mail deve permitir a criação de scripts para a filtragem, classificação e manipulação de e-mails, provendo as seguintes funcionalidades: tratar os e-mails nos fluxos de entrada e de saída do servidor, podendo aplicar tratamentos distintos a remetentes e destinatários distintos; efetuar testes sobre o cabeçalho, corpo ou arquivos anexos de um e-mail, independente da codificação do mesmo (Uuencode, Quoted-Printable, Base64, etc); os testes devem compreender ao menos comparações literais, numéricas e expressões regulares; gerar novos e-mails com conteúdo parametrizável (para construir respostas automáticas e estratégias de confirmação de envio); "congelar" e-mails na fila de transporte (por exemplo, para aguardar o retorno de pedidos de confirmação); construir white-lists e black-lists, de forma automática ou semi-automática; inserir, remover, substituir ou alterar conteúdo dos anexos de um e-mail; submeter dados (cabeçalho, corpo, anexos ou partes dos mesmos) a filtros externos, para identificação de spam ou vírus ou outros propósitos; prover armazenamento persistente para dados referentes a atividades como gerência de mensagens em trânsito, contagem de spam, geração de estatísticas, etc; gerar logs com conteúdo e destino configuráveis; permitir a cifragem e/ou assinatura usando uma chave corporativa e/ou individual, de forma transparente para o usuário e o cliente de e-mail.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Carlos Alberto Maziero - Coordenador / Edgard Jamhour - Integrante / Wallace Augustus Macedo - Integrante / Altair Olivo Santin - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Pontifícia Universidade Católica do Paraná - Outra., Número de produções C, T & A: 4

  • 2000 - 2001

    Projeto CNPq Planosul, Descrição: Tecnologia da Informação na Operação de Sistemas Viários Urbanos, Projeto Plano Sul de Pesquisa e Pós-Graduação - PSPPG/CNPq.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Carlos Alberto Maziero - Integrante / Jean Marie Farines - Integrante / Celso Kaestner - Integrante / Werner Kraus Jr - Coordenador / José Eduardo Ribeiro Cury - Integrante / Lirio Legnani - Integrante / Carlos Alberto Medeiros - Integrante / Helena Beatriz Bettella Cybis - Integrante / Lenise Grando Goldner - Integrante / Luis Antônio Lindau - Integrante / Paulo Henrique L Fernandes - Integrante / Luiz Alberto Koehler - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 1996 - 1997

    Cooperação LCMI/IRISA, Descrição: Projeto de cooperação entre pesquisadores do LCMI/UFSC e do grupo ADP/IRISA, na frança, para pesquisas na construção de sistemas distribuídos tolerantes a falhas usando tecnologias orientadas a objetos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Carlos Alberto Maziero - Integrante / Michel Raynal - Integrante / Jean Marie Farines - Coordenador / Michel Hurfin - Integrante / Noel Plouzeau - Integrante / Joni da Silva Fraga - Integrante., Financiador(es): Comité Français D'évaluation de La Coopération Universitaire Avec Le Brésil - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 1

  • 1994 - 1996

    Projeto CNPq ASAP, Descrição: Projeto de pesquisa no programa Protem/CC, envolvendo pesquisadores da Unicamp, UFSC, UFC e UFF, de ago/94 a jul/96. O objetivo do projeto é desenvolver um middleware orientado a objetos provendo serviços de replicação, tolerância a falhas, tempo real e segurança para a contrução de aplicações distribuídas robustas e escaláveis.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Carlos Alberto Maziero - Integrante / Orlando Loques - Integrante / Jean Marie Farines - Integrante / Rogério Drummond - Coordenador / Joni da Silva Fraga - Integrante / Julius Leite - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 7

Prêmios

2024

Patrono de turma formatura Ciência da Computação e Informática Biomética UFPR 2023/2, Universidade Federal do Paraná.

2023

Nome de turma formatura Ciência da Computação e Informática Biomética UFPR 2022/2, Universidade Federal do Paraná.

2023

Nome de turma formatura Ciência da Computação e Informática Biomética UFPR 2023/1, Universidade Federal do Paraná.

2022

Paraninfo formatura turmas Ciência da Computação e Informática Biomética UFPR 2022/1, Universidade Federal do Paraná.

2021

Paraninfo formatura turmas Ciência da Computação e Informática Biomética UFPR 2021/2, Universidade Federal do Paraná.

2021

Best Paper Award, Passive and Active Measurement Conference (PAM'21, Qualis A3), Passive and Active Measurement Conference.

2020

Paraninfo formatura turmas Ciência da Computação e Informática Biomética UFPR 2020, Universidade Federal do Paraná.

2012

Patrono dos formandos de Engenharia de Computação 2011/2, Pontifícia Universidade Católica do Paraná (PUCPR).

2011

Professor homenageado dos formandos de Engenharia de Computação 2010/2, Pontifícia Universidade Católica do Paraná, Pontificia Universidade Católica do Paraná.

2010

Patrono dos formandos de Engenharia de Computação 2010/1, Pontifícia Universidade Católica do Paraná.

2008

Professor homenageado dos formandos de Engenharia de Computação 2008/1, Pontifícia Universidade Católica do Paraná.

2008

Patrono dos formandos de Engenharia de Computação 2008/2, Pontifícia Universidade Católica do Paraná.

2007

Patrono dos formandos em Engenharia de Computação 2007/1, Pontifícia Universidade Católica do Paraná.

2007

Menção honrosa pelo artigo "Implementação de políticas UCON em um núcleo de sistema operacional", apresentado no Simpósio Brasileiro de Segurança da Informação e Sistemas (SBSeg)., Sociedade Brasileira de Computação.

2006

Professor homenageado dos formandos de Bacharelado em Ciência da Computação, Pontifícia Universidade Católica do Paraná.

2005

Professor homenageado dos formandos de Bacharelado em Ciência da Computação, Pontifícia Universidade Católica do Paraná.

2000

Professor homenageado dos formandos de Bacharelado em Ciência da Computação, Pontifícia Universidade Católica do Paraná.

1998

Professor homenageado dos formandos de Engenharia de Controle e Automação, Universidade Federal de Santa Catarina.

1994

Menção Honrosa à Tese de Doutorado (Mention "Très Honorable"), IRISA - Université de Rennes 1, França.

1988

Medalha do Mérito Estudantil - Melhor Aluno do Curso de Engenharia Elétrica, Universidade Federal de Santa Catarina.

1987

CTIC - Concurso Trabalhos de Iniciação Científica (entre os 6 finalistas), Sociedade Brasileira de Computação.

1985

Mérito Estudantil - 2 colocado geral no concurso Vestibular (12.500 candidatos), Universidade Federal de Santa Catarina.

1983

Mérito estudantil - 7 colocado geral no concurso Vestibular (10.000 candidatos), Universidade Federal de Santa Catarina.

Histórico profissional

Endereço profissional

  • Universidade Federal do Paraná, Departamento de Informática. , Centro Politécnico, Jardim das Américas, 81531980 - Curitiba, PR - Brasil - Caixa-postal: 19081, Telefone: (41) 33613031, URL da Homepage:

Experiência profissional

2015 - Atual

Universidade Federal do Paraná

Vínculo: Servidor Público, Enquadramento Funcional: Professor associado, Carga horária: 40, Regime: Dedicação exclusiva.

2012 - 2015

Universidade Federal do Paraná

Vínculo: Colaborador, Enquadramento Funcional: Orientador de pós-graduação stricto sensu, Carga horária: 8

Outras informações:
Orientador credenciado junto ao PPGInf - Programa de Pós-Graduação em Informática.

Atividades

  • 08/2015

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Algoritmos e Estruturas de Dados I, Introdução à Segurança Computacional, Oficina de Computação, Sistemas Operacionais, Programação 1, Programação 2

  • 07/2015

    Pesquisa e desenvolvimento, Departamento de Informática.Linhas de pesquisa

  • 01/2021 - 01/2025

    Direção e administração, Departamento de Informática.Cargo ou função, Coordenador de curso de graduação.

  • 08/2016 - 12/2017

    Outras atividades técnico-científicas , Departamento de Informática, Departamento de Informática.Atividade realizada, Tutor do Grupo PET Computação (Programa de Educação Tutorial - MEC).

2011 - 2015

Universidade Tecnológica Federal do Paraná

Vínculo: , Enquadramento Funcional: Adjunto 1, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 12/2011 - 12/2016

    Pesquisa e desenvolvimento, Campus Curitiba, Programa de Pós-Graduação em Computação Aplicada.Linhas de pesquisa

  • 11/2012 - 07/2015

    Ensino, Bacharelado em Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Segurança e Auditoria de Sistemas

  • 03/2012 - 07/2015

    Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, Sistemas Operacionais

  • 02/2013 - 09/2014

    Direção e administração, Campus Curitiba, Programa de Pós-Graduação em Computação Aplicada.Cargo ou função, Coordenador adjunto do Programa de Pós-Graduação em Computação Aplicada.

  • 07/2012 - 06/2013

    Conselhos, Comissões e Consultoria, Campus Curitiba, Diretoria de Planejamento e Administração.Cargo ou função, Membro da Comissão de Política de Segurança da Informação da UTFPR.

  • 03/2012 - 11/2012

    Ensino, Bacharelado em Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Administração, Gerência e Segurança de Redes de Computadores

  • 03/2012 - 06/2012

    Ensino, Programa de Pós-Graduação em Computação Aplicada, Nível: Pós-GraduaçãoDisciplinas ministradas, Sistemas Operacionais Tempo-Real

  • 08/2011 - 12/2011

    Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, Segurança e Auditoria de Sistemas

  • 08/2011 - 12/2011

    Ensino, Tecnologia em Desenv de Sistemas Distribuidos, Nível: GraduaçãoDisciplinas ministradas, Gerência e Configuração de Serviços Internet, Sistemas Operacionais Distribuidos

2007 - 2008

Universite de Rennes I

Vínculo: Professor Visitante, Enquadramento Funcional: Professeur 2eme classe 5eme échelon, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Professor pesquisador convidado pela Université de Rennes I (França) durante 3 meses, atuando em ensino e pesquisa no IRISA/INRIA - Institut de Recherche en Informatique et Systèmes Aléatoires.

Atividades

  • 12/2007 - 02/2008

    Ensino, Master in Security of Information Systems, Nível: Pós-GraduaçãoDisciplinas ministradas, Virtual Execution Environments

1998 - 2001

Ecole des Mines de Nantes

Vínculo: Professor Visitante, Enquadramento Funcional: Professor visitante, Carga horária: 20

Atividades

  • 01/2001 - 01/2001

    Ensino, European Masters in OO Software Engineering, Nível: Pós-GraduaçãoDisciplinas ministradas, Distributed Object Systems

  • 01/2000 - 01/2000

    Ensino, European Masters in OO Software Engineering, Nível: Pós-GraduaçãoDisciplinas ministradas, Distributed Object Systems

  • 01/1999 - 01/1999

    Ensino, European Masters in OO Software Engineering, Nível: Pós-GraduaçãoDisciplinas ministradas, Distributed Object Systems

2002 - 2011

Pontifícia Universidade Católica do Paraná

Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

1999 - 2002

Pontifícia Universidade Católica do Paraná

Vínculo: Celetista, Enquadramento Funcional: Professor adjunto III, Carga horária: 40, Regime: Dedicação exclusiva.

1998 - 1999

Pontifícia Universidade Católica do Paraná

Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 02/1998 - 07/2011

    Pesquisa e desenvolvimento, Centro de Ciências Exatas e de Tecnologia, Programa de Pós-Graduação em Informática Aplicada.Linhas de pesquisa

  • 02/1998 - 07/2011

    Ensino, Informática, Nível: Pós-GraduaçãoDisciplinas ministradas, Algorítmos Distribuídos, Fundamentos de Sistemas Operacionais, Objetos Distribuidos, Programação Paralela, Sistemas Distribuídos, Sistemas Operacionais Distribuidos

  • 02/1998 - 07/2011

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Projeto Final, Sistemas Operacionais

  • 02/2002 - 12/2008

    Direção e administração, Centro de Ciências Exatas e de Tecnologia, Programa de Pós-Graduação em Informática Aplicada.Cargo ou função, Líder de grupo de pesquisa (Sistemas Distribuídos).

  • 03/2000 - 06/2006

    Direção e administração, Centro de Ciências Exatas e de Tecnologia, Programa de Pós-Graduação em Informática Aplicada.Cargo ou função, Coordenador de curso de especialização.

  • 03/2000 - 12/2004

    Ensino, Especialização Em Desenv Em Ambiente Web, Nível: EspecializaçãoDisciplinas ministradas, Linguagens de Scripting para Unix, Serviços Internet em Unix

  • 01/2001 - 10/2003

    Direção e administração, Centro de Ciências Exatas e de Tecnologia, Programa de Pós-Graduação em Informática Aplicada.Cargo ou função, Coordenador de Programa.

  • 02/1998 - 10/2003

    Serviços técnicos especializados , Centro de Ciências Exatas e de Tecnologia, Programa de Pós-Graduação em Informática Aplicada.Serviço realizado, Definição, implantação e gerência da rede informática do programa.

  • 08/1998 - 12/2002

    Ensino, Especialização Em Redes e Sistemas Distribuídos, Nível: EspecializaçãoDisciplinas ministradas, Gerência de Redes e Sistemas, Sistemas Operacionais de Rede

  • 03/2000 - 02/2002

    Ensino, Especialização em Tecnologias p Sist de Informação, Nível: EspecializaçãoDisciplinas ministradas, Tecnologias Cliente-servidor, Sistemas Operacionais de Redes, Gerência de Redes e Sistemas

  • 03/1999 - 12/2000

    Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, Orientação de projeto final, Sistemas Operacionais

  • 03/1999 - 03/2000

    Direção e administração, Pró Reitoria de Planejamento e Desenvolvimento, Direção de Tecnologias de Informação.Cargo ou função, Diretor de Unidade.

  • 01/1999 - 04/1999

    Direção e administração, Centro de Ciências Exatas e de Tecnologia, Curso de Engenharia de Computação.Cargo ou função, Coordenador de curso de graduação.

1996 - 1998

Universidade Federal de Santa Catarina

Vínculo: Servidor Público, Enquadramento Funcional: Professor adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.

1994 - 1996

Universidade Federal de Santa Catarina

Vínculo: Bolsista recém-doutor, Enquadramento Funcional: pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 04/1996 - 01/1998

    Ensino, Engenharia Elétrica, Nível: Pós-GraduaçãoDisciplinas ministradas, Introdução à Internet, Introdução ao UNIX, Objetos distribuidos

  • 03/1995 - 01/1998

    Ensino, Engenharia de Controle e Automação, Nível: GraduaçãoDisciplinas ministradas, Sistemas Digitais, Aspectos de segurança de sistemas, Circuitos Elétricos, Introdução à Informática, Estruturas de Dados e Algoritmos em Pascal

  • 01/1995 - 01/1998

    Serviços técnicos especializados , Centro Tecnológico, Departamento de Engenharia Elétrica.Serviço realizado, Gerência da rede Informática do LCMI/EEL.

  • 08/1994 - 01/1998

    Pesquisa e desenvolvimento, Centro Tecnológico, Departamento de Engenharia Elétrica.Linhas de pesquisa

  • 07/1996 - 12/1996

    Direção e administração, Pró Reitoria de Administração, Secretaria Especial de Informática.Cargo ou função, Membro de comissão temporária.

Propriedade Intelectual

Patentes (1)

Tipo Título Data depósito
INVENTOR Sistema seguro de votação eletrônica multi-cédulas 27/06/2008