Diffusion afp-devel 7c33f283cfef

MPC update ETP and perfect sec rename
7c33f283cfef
Actions

Tags

None

Subscribers

None

Description

MPC update ETP and perfect sec rename

Details

Provenance

Authored on

Parents

rAFP8c3387faaeed: Fixed CAVA-Impl to accomodate for generalized Gabow_GBG

Branches

Unknown

Tags

Unknown

Event Timeline

davetbutler committed rAFP7c33f283cfef: MPC update ETP and perfect sec rename.Dec 5 2019, 12:31 PM

Changes (10)

Path

Size

thys/

Multi_Party_Computation/

Malicious_Defs.thy

Malicious_OT.thy

Noar_Pinkas_OT.thy

Secure_Multiplication.thy

Semi_Honest_Def.thy

rAFP7c33f283cfef

thys/Multi_Party_Computation/ETP.thy

Loading...

thys/Multi_Party_Computation/ETP_OT.thy

Loading...

thys/Multi_Party_Computation/ETP_RSA_OT.thy

Loading...

thys/Multi_Party_Computation/GMW.thy

Loading...

thys/Multi_Party_Computation/Malicious_Defs.thy

Loading...

thys/Multi_Party_Computation/Malicious_OT.thy

Loading...

thys/Multi_Party_Computation/Noar_Pinkas_OT.thy

Loading...

thys/Multi_Party_Computation/OT14.thy

Loading...

thys/Multi_Party_Computation/Secure_Multiplication.thy

Loading...

thys/Multi_Party_Computation/Semi_Honest_Def.thy

Loading...