On the Road to Defining Public Verifiability (with Enclaves)

  • Tagung:

    On the Road to Defining Public Verifiability (with Enclaves)

  • Tagungsort:

    252 / BBB

  • Datum:

    2025-11-25

  • Referent:

    Christian Martin

  • Zeit:

    15:45 

  • Often in cryptographic protocols, it is natural to expect parties to be able to verify that a result was correctly computed. In some cases, even parties that never participated in the session can have a legitimate interest in verifying the result. While it is easy to informally express this property that we call "public verifiability", there are (unsurprisingly) many challenges when attempting to rigorously define it. In this talk, I will present our current state of progress at defining public verifiability in the context of our ongoing research on a UC model for attested execution.