Document Actions
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.
| What | |
|---|---|
| When | 
                        
                        
                            2015-11-04 13:30
                            2015-11-04 15:00
                            2015-11-04  from 13:30 to 15:00  | 
                
| Contact Name | Paula Rodrigues | 
| Contact Email | haslab.comunicacao@gmail.com | 
| Add event to calendar | 
                        
                             | 
                
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, Auditório A2, 1st Floor
