1 dataset found

Tags: cryptographic-protocol-analysis

Filter Results

  • Elements Of Epistemic Crypto Logic

    The talk presents an extension of DEL (dynamic epistemic logic) intended for model checking of cryptographic protocols. Key elements are a feasible epistemic...
You can also access this registry using the API (see API Docs).