Prezados colegas do Lolita,
É com muito prazer que convido vocês para o nosso primeiro encontro do ano.
Mário Sérgio é professor do DCC/UFMG, fez mestrado em lógica e doutorado em
Teoria da Informação.
Estão todos convidados!!!
Dia: 16/02/2017
Hora: 17h
Local: Anfiteatro A/CCET
Título:
Quando criptografia não garante segurança: quantificando o vazamento de
informação em sistemas computacionais
Resumo:
Ao longo de décadas, diversas técnicas foram desenvolvidas para proteger a
privacidade de usuários e a confidencialidade de informações. Controle de
acesso, por exemplo, tenta assegurar que apenas usuários autorizados possam
utilizar um sistema, enquanto criptografia permite que mensagens sejam
trocadas entre partes sem que possam ser compreendidas por terceiros.
Entretanto, estas técnicas não lidam com a possibilidade de informação
sigilosa vazar através de interações autorizadas.
Idealmente, o comportamento observável de um programa durante sua execução
não deveria revelar nenhuma informação sobre os dados considerados
secretos. Típicos elementos secretos, ou segredos, são os dados de um
usuário, sua localização, a autoria de uma requisição ao sistema, etc. Os
mais óbvios elementos observáveis de um sistema em execução são suas saídas
padrão, como mensagens impressas na tela. Entretanto, há muitos outros
observáveis possivelmente negligenciados em um sistema: o tempo que o
programa leva para executar, o quanto o processador dissipa em energia,
quais regiões de memória cache são mais utilizadas, etc. O campo de fluxo
de informação quantitativo ("quantitative information flow", ou QIF, no
original em inglês) se preocupa com a mensuração da informação sobre os
segredos que vaza para o usuários não-autorizados através dos observáveis
produzidos pelo sistema.
Nesta palestra vamos: (i) rever a evolução histórica do fluxo de informação
quantitativo; (ii) apresentar suas bases teóricas e aplicações; e (iii)
discutir problemas em aberto e desafios para pesquisa. Especialmente, vamos
discutir as conexoões entre QIF e a privacidade dentro do controle de
divulgação estatística, utilizando a técnica de "differential privacy".
--
Elaine.
-------------------------------------------------
Elaine Pimentel - DMAT/UFRN
Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN
Phone: +55 84 3215-3820
http://sites.google.com/site/elainepimentel/
Lattes: http://lattes.cnpq.br/3298246411086415
--------------------------------------------------------
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWToFQkPKEhQHGiPyXeXtBgNEG7gF%2BdoB2PLeexO3A9Mw%40mail.gmail.com.
