O Outro Lado BSidesSP ed 6/Escalonador seguro para sistemas embarcados

Escalonador seguro para sistemas embarcados

Horário: 14:00 as 14:50

Duração: 40 minutos (mais 10 minutos para perguntas e respostas)

Local: Sala de Palestras

Nível: Intermediário

Resumo

A segurança e a confiabilidade em sistemas embarcados são áreas criticas e de recente desenvolvimento.

Além das complicações naturais da área de segurança, os sistemas embarcados também têm restrições quanto a capacidade de processamento e de armazenamento. Será apresentada uma técnica para tornar estes sistemas mais confiáveis.

A técnica é baseada na detecção(CRC) e correção(Hamming) de erros e será aplicada nas regiões de stack e na troca de contexto de um sistema operacional. Entre os possíveis erros de memória, a técnica também ajuda na defesa contra ataques explorando falhas de buffer overflow, return oriented program ou string format.

Palestrante

Rodrigo Maximiano Antunes de Almeida

Formado em Engenharia de Controle e Automação pela UNIFEI. Tem experiência profissional em sistemas embarcados desenvolvendo projetos nas áreas de linha branca e eletromédicos. É professor na UNIFEI ensinando programação embarcada, eletrônica, microcontroladores e sistemas operacionais. Pesquisa na área de software embarcado e microkernels. Palestrante na ESC Brazil 2011 sobre desenvolvimento de microkernel, apresentou workshop sobre "embedded systems" na 19 DEFCON e na 4a BSidesSP.