![]() |
![]() |
University of Birmingham > Talks@bham > Computer Security Seminars > A Semantic Analysis of Secure Mulitparty Computation
A Semantic Analysis of Secure Mulitparty ComputationAdd to your list(s) Download to your calendar using vCal
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. |
Other listsWhat's on in Physics? Cold atoms Type the title of a new list hereOther talksThe science of the large scale heliosphere and the missions that made it possible Colloquium: TBA Seminar: TBA Colloquium: TBA TBC Quantum technologies funding by EPSRC for academic-led research |