Showing 1 - 2 results of 2 for search 'Cremers, Cas', query time: 0.01s Refine Results
  1. 1
    Operational Semantics and Verification of Security Protocols
    by Cremers, Cas, Mauw, Sjouke
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings /
    Published 2018
    Other Authors: “…Cremers, Cas…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search