WEWoRC

Invited talks at WEWoRC 2009

Paulo Barreto: Post-quantum cryptosystems based on coding theory: overview and recent developments
Abstract:
Quantum computers can potentially break most if not all conventional cryptosystems actually deployed in practice, like RSA and (EC)DSA, and quantum cryptosystems, when available, tend to be expensive and have limited applicability. Post-quantum cryptosystems are purely classical, yet quantum-resistant, alternatives to both, and have been the focus of intense recent research. In this talk we will review the class of cryptosystems based on coding theory, address the technological challenges involved in their instantiation, and discuss why they are getting competitive for practical deployment.

Slides of talk: Baretto.pdf, Baretto.zip

Krzysztof Pietrzak: Provable security for physical cryptography
Abstract:
Cryptographic security definitions usually consider an attack model where the adversary has only black-box access to the cryptosystem under attack. That is, the adversary can exploit the input/output behaviour of the system, but does not get any information about the inner working of the cryptodevice. Unfortunately, this often does not capture attacks occurring in practice, where an adversary can exploit side-channel information leaking from the cryptodevice or attack the cryptosystem by means of malware like viruses or Trojans.
Traditionally, securing cryptosystems against such physical attacks has been in the realm of security research and engineering. In this talk I will review some recent theoretical results on intrusion-resilient and leakage-resilient cryptography which show that provable security can be achieved even in the context of physical attacks. Those results differ from traditional countermeasures in that they protect against any recourse bounded adversaries and not only particular attacks, for example only bounding the amount of information (and not its type) that is leaked by a side-channel.

Slides of talk: Pietrzak.pdf