Acções do Documento
11th HASLab InfoBlender
INESC TEC's High Assurance Software Laboratory (HASLab) is organising the 11th Edition of the InfoBlender, which will feature Prof. Pooya Farshim, Queen's University Belfast, UK. The professor will be discussing Random Oracles and Obfuscation.
O quê | |
---|---|
Quando |
2015-11-04 13:30
2015-11-04 15:00
2015-11-04 de 13:30 até 15:00 |
Onde | Universidade do Minho |
Nome do Contacto | Paula Rodrigues |
Email do Contacto | haslab.comunicacao@gmail.com |
Adicionar evento ao calendário |
vCal iCal |
Abstract. The talk will be about a new security model
for hash functions, known as Universal computational Extractors
(UCEs), which captures many random oracle (RO) like properties of
hash functions. UCEs give rise to standard model instantiations of many
simple and efficient RO-model schemes. I will then show how the
existence of indistinguishability obfuscators (iO)
can be used to rule out the existence of a strong form of UCEs and
go on to present a weakening of UCEs which doesn’t fall suffer from
iO attacks. In the second part, I will be talking about applying the iO attack directly to RO-model transforms, and
hence show their uninstantiability in the standard model. This talk
is based on joint works with Christina Brzuska (MS Research) and Arno Mittelbach (TU Darmstadt) at CRYPTO 2013 and
TCC 2014.
Keywords. Hash Functions, Random Oracles, Obfuscation, Provable Security.
A short bio. Pooya Farshim is a
lecturer in Computer Science at Queen’s University Belfast,
UK. Previously, he spent some time as postdoc at TU
Darmstadt (Germany), Royal Holloway, University of London (UK), and University of Minho (Portugal). He
completed his Ph.D at the Department of Computer Science,
University of Bristol (UK). His research interests lie in
the area of provable security and in particular those of basic symmetric
primitives, such as blockciphers, and advanced asymmetric
schemes, such as functional encryption schemes. Pooya has a
high record of top tier publications in his field. He served as PC member
in several conferences and workshops in his area of research
and he organised a summer school on Black-Box Impossibility
Results in Cryptography. He also teaches, and used to teach, courses
in security and cryptography at University of Minho and
Queen’s University Belfast.
If you have any question please
contact: haslab.comunicacao@gmail.com
Remembering the last seminar
series: http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/Seminar
Coffee session: at 1:30PM-2PM, Lounge, 4th Floor
Talks session: at 2PM-3PM, AuditoÌrio A2, 1st Floor