Universal Composability is Secure Compilation

POPL 2020

Universal Composability is Secure Compilation

Sep 17, 2020
|
27 views
Details
Presenter: Marco Patrignani Presented at PriSC'20, colocated with POPL 2020.

Comments
loading...