Skip to content

GitLab

Commit 25e545a9 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

Remove problematic.vp

parent e79571fc
Pipeline #914 passed with stages
in 3 minutes
Hide whitespace changes
Inline Side-by-side
examples/problematic.vp deleted 100644 → 0
View file @ e79571fc
attacker[passive]
principal Server[
generates x
generates y
gx = G^x
gy = G^y
gxy = gx^y
gyx = gy^x
]
queries[
equivalence? gxy, gyx
]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment