Verified Security Protocol Modeling and Implementation with AnBx

    Research output: ThesisDoctoral Thesis

    Fingerprint

    Dive into the research topics of 'Verified Security Protocol Modeling and Implementation with AnBx'. Together they form a unique fingerprint.

    Engineering & Materials Science