Search results

1of2tx.svg does not have transparent background

Status: Open.

#243 In decrypto-org/TrustIsRisk;

· OrfeasLitos opened on Jul 31, 2017

Remove reference to turns in algorithmic proofs

Status: Open.

#234 In decrypto-org/TrustIsRisk;

· OrfeasLitos opened on May 22, 2017

Add more related work

Status: Open.

#156 In decrypto-org/TrustIsRisk;

· OrfeasLitos opened on Jan 13, 2017

verify that there is no loss of generality in maxFlow monotonicity proof

review wanted

Status: Open.

#155 In decrypto-org/TrustIsRisk;

· OrfeasLitos opened on Dec 16, 2016

Add maxFlow() continuity proof

review wanted

Status: Open.

#152 In decrypto-org/TrustIsRisk;

· OrfeasLitos opened on Nov 25, 2016

Work on the algorithmic part

review wanted

Status: Open.

#151 In decrypto-org/TrustIsRisk;

· OrfeasLitos opened on Nov 25, 2016

Rephrase induction using minimal element

enhancement

Status: Open.

#123 In decrypto-org/TrustIsRisk;

· dionyziz opened on Oct 28, 2016

Rewrite Lemma 2 proof

enhancement

Status: Open.

#121 In decrypto-org/TrustIsRisk;

· dionyziz opened on Oct 28, 2016

Clean up Loss = Damage proof

enhancement

Status: Open.

#119 In decrypto-org/TrustIsRisk;

· dionyziz opened on Oct 28, 2016