Composec: Secure Composition of Distributed Systems

    Project Details

    StatusFinished
    Effective start/end date01/10/201512/12/2018

    Research Output

    • 1 Ph.D. thesis

    Typing and Compositionality for Stateful Security Protocols

    Hess, A. V., 2019, DTU Compute. 179 p. (DTU Compute PHD-2018, Vol. 495).

    Research output: Book/ReportPh.D. thesis

    Open Access
    File