A Semantic Analysis of Secure Mulitparty Computation

Add to your list(s) Download to your calendar using vCal

• Dan Ghica, University of Birmingham
• Thursday 19 June 2014, 11:00-12:00
• Room 245, School of Computer Science.

If you have a question about this talk, please contact Matthijs Melissen.

This talk has been canceled/deleted

I am going to show some preliminary work and ideas about a C-like programming language with semantic support for secure multiparty computation. The semantic model will be used to verify some simple example programs. I would be very happy to get comments from securitists on this work (jointly with Nikos Tzevelekos, QMUL ).

This talk is part of the Computer Security Seminars series.

This talk is included in these lists:

This talk is not included in any other list

Note that ex-directory lists are not shown.