Primeira palestra Lolita/2017

[Elaine Pimentel]

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

-------------------------------------------------------- 

[Joao Marcos]

Mais ainda: Mário Sérgio foi orientando de mestrado de alguém que conhecemos muito... e que trabalha com Lógica no DMAT / UFRN.

Imperdível palestra!!  Seja bem-vindo a Natal, Mário Sérgio!

Joao Marcos 

--
Você recebeu essa mensagem porque está inscrito 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+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWToFQkPKEhQHGiPyXeXtBgNEG7gF%2BdoB2PLeexO3A9Mw%40mail.gmail.com.