![]() |
![]() |
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 listsVirtual Harmonic Analysis Seminar PIPS - Postgraduate Informal Physics Seminars Seminars on Advanced MaterialsOther talksUltrafast Spectroscopy and Microscopy as probes of Energy Materials TBA Quantum Sensing in Space Life : it’s out there, but what and why ? TBA TBA |