Banca de DEFESA: JOÃO PEDRO PEREIRA MAGALHÃES

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : JOÃO PEDRO PEREIRA MAGALHÃES
DATA : 24/02/2026
HORA: 09:30
LOCAL: https://meet.google.com/rox-nvxt-fvs
TÍTULO:

Detecção de Trojans de Hardware em Circuitos Combinacionais NCL Através do Método de Transições Probabilísticas

PALAVRAS-CHAVES:

circuitos digitais

transição probabilística

null convention logic

trojans de hardware

PÁGINAS: 108
RESUMO:

O interesse em circuitos digitais Quasi Delay Insensitive, em especial os circuitos Null Convention Logic, parte da não necessidade de um sinal de clock global para o controle das partes do circuito. Isso resulta em circuitos mais rápidos, energeticamente eficientes e mais robustos. Com o aumento na demanda desse tipo de circuito na indústria, modificações indesejadas advindas de pessoas mal-intencionadas são um fator de preocupação, haja vista que o processo de produção em larga escala desses circuitos é dividido entre diversas empresas e colaboradores, o que dificulta o conhecimento de todo o seu processo produtivo. Tendo em vista esse contexto, este trabalho tem como objetivo o estudo e a análise do método de Transições Probabilísticas aplicado a circuitos Null Convention Logic combinacionais. O programa recebe as informações sobre as interconexões do circuito original e do modificado e compara, a partir dos valores de cada elemento lógico, se houve ou não modificações entre os circuitos utilizando os casos de valores de entrada válidos (“0” e “10”). A partir das discussões contidas neste trabalho, têm-se os seguintes resultados: a descrição e o teste completo de todos os circuitos utilizados para teste, a disponibilização (de maneira completa e funcional) do programa para análise via Transição Probabilística e para a montagem automática dos arquivos de entrada deste e a resposta da avaliação dos circuitos frente ao método avaliado.

MEMBROS DA BANCA:
Presidente - 395119 - TALES CLEBER PIMENTA
Interno - 3150657 - GABRIEL ANTONIO FANELLI DE SOUZA
Externo à Instituição - RODRIGO APARECIDO DA SILVA BRAGA - UFLA