Preservation of epistemic properties in security protocol implementations.

Ron van der Meyden, Thomas Wilke

Browse the full TARK paper archive.