[crypto] [Serge.Fehr at cwi.nl: [risc-list] RISC at CWI (Apr 15): Micciancio]

[R. Hirschfeld]

------- Start of forwarded message -------
Date: Wed, 09 Apr 2014 10:20:11 +0200
From: Serge Fehr <Serge.Fehr at cwi.nl>
Subject: [risc-list] RISC at CWI (Apr 15): Micciancio

Dear Colleagues,

it is a great pleasure to announce a RISC talk by

                 *Professor Daniele Micciancio (University of 
California, San Diego)*

entitled
                           *An Equational Approach To Secure Computation*


Abstract and speaker bio are given below - see also 
http://www.cwi.nl/crypto/risc.html.The seminar will take place on

                            *Tuesday April 15, 2014, at 1600h in Room 
L016 at CWI*


See you then and there!

Best regards,
Ronald Cramer and Serge Fehr


------------------------------------------------
Daniele Micciancio (University of California, San Diego)

An Equational Approach To Secure Computation

Abstract: We present a framework for the description and analysis of 
secure computation protocols that is at the same time mathematically 
rigorous and notationally lightweight and concise. The distinguishing 
feature of the framework is that it allows to specify (and analyze) 
protocols in a manner that is largely independent of time, greatly 
simplifying the study of cryptographic protocols. At the notational 
level, protocols are described by systems of mathematical equations 
(over domains), and can be studied through simple algebraic 
manipulations like substitutions and variable elimination. The use of 
the framework is exemplified by applying it to the study of a classic 
oblivious transfer length extension protocol. The talk is based in part 
on joint work with Stefano Tessaro, presented at ITCS 2013.

Bio: Daniele Micciancio got his PhD from MIT in 1998 and joined the UCSD 
CSE faculty in 1999. He is the recipient of several awards, including an 
NSF CAREER award, Sloan Fellowship and Hellman Fellowship. He is most 
known for his research on the complexity of lattice problems and on 
lattice-based cryptography, but he has done influential work on various 
aspects of cryptography.
---------------------------------------------




_______________________________________________
risc-list mailing list
risc-list at cwi.nl
https://lists.cwi.nl/mailman/listinfo/risc-list
------- End of forwarded message -------