Search results

AKA-Protocol-unlinkability

Status: Open.

#84 In DeepSec-prover/deepsec;

· huahuaLover opened on Dec 10, 2024

Deepsec UI crashes on initialisation

Status: Open.

#82 In DeepSec-prover/deepsec;

· rkunnema opened on Feb 2, 2022

non deterministic bug with distribution

bug

Status: Open.

#81 In DeepSec-prover/deepsec;

· irakoton opened on Oct 5, 2020

internal error with private constants + rewrite rules

bug

Status: Open.

#80 In DeepSec-prover/deepsec;

· irakoton opened on Sep 5, 2020

Removal of pure names

bug

Status: Open.

#78 In DeepSec-prover/deepsec;

· VincentCheval opened on Jul 23, 2020

Problem with if-then-else in determinate when the then branch is not accessible

bug

Status: Open.

#77 In DeepSec-prover/deepsec;

· VincentCheval opened on Jul 23, 2020

internal error with private function in determinate processes

bug

Status: Open.

#75 In DeepSec-prover/deepsec;

· irakoton opened on Jul 11, 2020

internal error with multiple rewrite rules

bug

Status: Open.

#74 In DeepSec-prover/deepsec;

· irakoton opened on Jul 11, 2020

internal error [display_ui.ml >> get_name_id]

bug

Status: Open.

#72 In DeepSec-prover/deepsec;

· steve-kremer opened on May 26, 2020

Intruiging performances of equivalence by session

potential bug

Status: Open.

#68 In DeepSec-prover/deepsec;

· irakoton opened on May 6, 2020

Pure names on public channels with session and generic

enhancement

Status: Open.

#56 In DeepSec-prover/deepsec;

· VincentCheval opened on Jan 23, 2020

Detection of physical cores at runtime

enhancement

Status: Open.

#55 In DeepSec-prover/deepsec;

· VincentCheval opened on Jan 21, 2020