publicações selecionadas EIN TESTERZEUGUNGSVERFAHREN FUER DIGITALE SCHALTUNGEN AUF DER VERHALTENSEBENE PROCESSADOR PIPELINE COM ARQUITETURA BIT-SLICE
theses/dissertations advising Rafaella: um esquema de criptografia de chave pública baseado em um novo paradigma matemático Um verificador seguro de integridade de arquivos Uma Semântica Axiomática para DSL - uma Linguagem para Descrição de Hardware Ferramenta de injeção de falhas para avaliação de segurança Um Estudo Sobre O Comportamento de Sistemas Digitais Um Estudo Sobre Metodos Para Minimizacao Booleana e Atribuicao de Estados No Desenvolvimento de Sistemas Digitais Um Sistema Seguro Para Votações Digitais Um monitor de transações de serviços internet Autenticação de Usuários Através da Utilização de Sistemas Biométricos. Técnicas de Detecção de Sniffers Rafaella : um esquema para um novo paradigma de criptografia de chave pública Analise da Performance do Algoritmo D Um Algoritmo de Criptografia de Chave Pública Semanticamente Seguro Baseado em Curvas Elípticas. Tornando o DOS mais seguro Desenvolvimento e análise de desempenho de um 'packet/session filter' Gerencia de Processos Em Sistemas Distribuidos Tolerantes A Falhas Projeto e Desenvolvimento de um Packet/Session Filter Analisador de Tentativas de Invasão em Sistemas Operacionais UNIX. Diagnóstico de Falhas em SIstemas Distribuídos Kripto: Projeto e Implementação de um sistema Criptográfixo Gerenciamento e distribuição de chaves criptográfica via Internet: Protocolo de Autenticação em Redes Abertas (PARA) Aspectos de Segurança no Protocolo IP Ferramentas para Segurança na Internet Metodologia para Detecção de Incoerências entre Regras em Filtros de Pacotes Uma Axiomatizacao Para Dsl: Uma Linguagem Para Descricao de Sistemas Digitais Segurança am Ambiente Corporativo Criptografia e Watermark para proteção de Direitos Autorais de Hiperdocumentos na Internet
