HomeIsabelle/Phabricator
Diffusion afp-devel 680fb435498b

new entry Constructive_Cryptography_CM
680fb435498b
Actions

Description

new entry Constructive_Cryptography_CM

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP83eb79b52c4d: corrected metadata (use acute's in names of J. Divasón and René T.)
Branches
Unknown
Tags
Unknown

Changes (23)

PathSize

rAFP680fb435498b

View Options

thys/Constructive_Cryptography_CM/Asymptotic_Security.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/Concrete_Security.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/Construction_Utility.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/Constructions/DH_OTP.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/Constructions/Diffie_Hellman_CC.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/Constructions/One_Time_Pad.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/Fold_Spmf.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/Fused_Resource.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/Goodies.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/More_CC.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/Observe_Failure.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/ROOT

Loading...
View Options

thys/Constructive_Cryptography_CM/Specifications/Channel.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/Specifications/Key.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/State_Isomorphism.thy

Loading...
View Options

thys/Constructive_Cryptography_CM/document/root.bib

Loading...
View Options

thys/Constructive_Cryptography_CM/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...