2020 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Wed Jan 1 20:21:08 UTC 2020
Ending: Thu Dec 31 14:24:36 UTC 2020
Messages: 255

• [Verifpal] Verifpal 0.8.0 + News   Nadim Kobeissi
• [Verifpal] Verifpal at FOSDEM   Nadim Kobeissi
• [Verifpal] Authenticating keys with a hash sent over a second channel   Alexander Krotov
• [Verifpal] Authenticating keys with a hash sent over a second channel   Alexander Krotov
• [Verifpal] An attempt to implement https://countermitm.readthedocs.io/en/latest/new.html#setup-contact-protocol   Alexander Krotov
• [Verifpal] Authenticating keys with a hash sent over a second channel   Alexander Krotov
• [Verifpal] An attempt to implement https://countermitm.readthedocs.io/en/latest/new.html#setup-contact-protocol   Nadim Kobeissi
• [Verifpal] Authenticating keys with a hash sent over a second channel   Nadim Kobeissi
• [Verifpal] An attempt to implement https://countermitm.readthedocs.io/en/latest/new.html#setup-contact-protocol   Alexander Krotov
• [Verifpal] An attempt to implement https://countermitm.readthedocs.io/en/latest/new.html#setup-contact-protocol   Nadim Kobeissi
• [Verifpal] An attempt to implement https://countermitm.readthedocs.io/en/latest/new.html#setup-contact-protocol   Alexander
• [Verifpal] New Primitive: PKE_ENC/PKE_DEC   Nadim Kobeissi
• [Verifpal] New Primitive: SHAMIR_SPLIT/SHAMIR_JOIN   Nadim Kobeissi
• [Verifpal] Verifpal 0.9.0 (Concurrency/Multithreading!)   Nadim Kobeissi
• [Verifpal] Verifpal 2020 Plans   Nadim Kobeissi
• [Verifpal] Verifpal 2020 Plans   Max(☭)
• [Verifpal] Verifpal 2020 Plans   Nadim Kobeissi
• [Verifpal] New Feature: Modeling Passwords and Password Hashing   Nadim Kobeissi
• [Verifpal] FOSDEM 2020 in Brussels this Weekend   Nadim Kobeissi
• [Verifpal] List of Projects Using Verifpal   Nadim Kobeissi
• [Verifpal] New Feature: Phases   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.9.18   Symbolic Software Drone
• [Verifpal] Video: Getting Started with Verifpal   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.9.19   Symbolic Software Drone
• [Verifpal] FOSDEM 2020 in Brussels this Weekend   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.9.20   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.9.21   Symbolic Software Drone
• [Verifpal] Scoop Package Manager Support (Windows)   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.10.0   Symbolic Software Drone
• [Verifpal] New feature: Queries as preconditions   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.10.1   Symbolic Software Drone
• [Verifpal] A few comments and questions   Tom Hacohen
• [Verifpal] I found a case where a broken protocol is not failing verification   Tom Hacohen
• [Verifpal] I found a case where a broken protocol is not failing verification   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.10.2   Symbolic Software Drone
• [Verifpal] I found a case where a broken protocol is not failing verification   Tom Hacohen
• [Verifpal] I found a case where a broken protocol is not failing verification   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.10.3   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.10.4   Symbolic Software Drone
• [Verifpal] Feature request: ring signatures   Sebastian Reynaldo Verschoor
• [Verifpal] Feature request: ring signatures   Nadim Kobeissi
• [Verifpal] A few comments and questions   Nadim Kobeissi
• [Verifpal] Feature request: ring signatures   Sebastian R. Verschoor
• [Verifpal] A few comments and questions   Tom Hacohen
• [Verifpal] Feature request: ring signatures   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.10.5   Symbolic Software Drone
• [Verifpal] Feature request: ring signatures   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.10.6   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.10.7   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.10.8   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.11.0   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.11.1   Symbolic Software Drone
• [Verifpal] Feature request: ring signatures   Sebastian Verschoor
• [Verifpal] Feature request: ring signatures   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.11.2   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.11.3   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.11.4   Symbolic Software Drone
• [Verifpal] Feature request: ring signatures   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.11.5   Symbolic Software Drone
• [Verifpal] Incrementing a constant   Friedrich Wiemer
• [Verifpal] Incrementing a constant   Nadim Kobeissi
• [Verifpal] Incrementing a constant   Nadim Kobeissi
• [Verifpal] Incrementing a constant   Friedrich Wiemer
• [Verifpal] Verifpal now available via Snap Store   Nadim Kobeissi
• [Verifpal] Concatenate values   Friedrich Wiemer
• [Verifpal] Error message when no queries specified   Friedrich Wiemer
• [Verifpal] Error message when no queries specified   Nadim Kobeissi
• [Verifpal] Concatenate values   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.11.6   Symbolic Software Drone
• [Verifpal] Concatenate values   Friedrich Wiemer
• [Verifpal] Concatenate values   Nadim Kobeissi
• [Verifpal] Concatenate values   Friedrich Wiemer
• [Verifpal] Error message when no queries specified   Friedrich Wiemer
• [Verifpal] Concatenate values   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.11.7   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.11.8   Symbolic Software Drone
• [Verifpal] Concatenate values   Friedrich Wiemer
• [Verifpal] Error message (for mispelled keyword)   Friedrich Wiemer
• [Verifpal] Runtime for analysis?   Friedrich Wiemer
• [Verifpal] Snap permissions   Friedrich Wiemer
• [Verifpal] Snap permissions   Friedrich Wiemer
• [Verifpal] Snap permissions   Nadim Kobeissi
• [Verifpal] Snap permissions   Nadim Kobeissi
• [Verifpal] Runtime for analysis?   Nadim Kobeissi
• [Verifpal] Snap permissions   Friedrich Wiemer
• [Verifpal] Snap permissions   Nadim Kobeissi
• [Verifpal] Runtime for analysis?   Friedrich Wiemer
• [Verifpal] Runtime for analysis?   Nadim Kobeissi
• [Verifpal] Verifpal Stickers   Nadim Kobeissi
• [Verifpal] SCM and Pipeline Changes   Nadim Kobeissi
• [Verifpal] Needham-Schroeder protocol   Friedrich Wiemer
• [Verifpal] Needham-Schroeder protocol   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.11.10   Symbolic Software Drone
• [Verifpal] Needham-Schroeder protocol   Friedrich Wiemer
• [Verifpal] Error message 'rule PrincipalName' if functionality not supported   Pittsburgh penguins Tv
• [Verifpal] Schnorr's protocol, zk   Pittsburgh penguins Tv
• [Verifpal] Error message 'rule PrincipalName' if functionality not supported   Nadim Kobeissi
• [Verifpal] Schnorr's protocol, zk   Nadim Kobeissi
• [Verifpal] Fwd: Schnorr's protocol, zk   Pittsburgh penguins Tv
• [Verifpal] How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol   Nadim Kobeissi
• [Verifpal] Eurocrypt 2020 Event Delayed   Nadim Kobeissi
• [Verifpal] Discord Channel   Nadim Kobeissi
• [Verifpal] Eurocrypt 2020 Event Delayed   Friedrich Wiemer
• [Verifpal] Threats scenarios modelled, information in the tool help output   Pittsburgh penguins Tv
• [Verifpal] Threats scenarios modelled, information in the tool help output   Nadim Kobeissi
• [Verifpal] Threats scenarios modelled, information in the tool help output   Pittsburgh penguins Tv
• [Verifpal] Threats scenarios modelled, information in the tool help output   Nadim Kobeissi
• [Verifpal] Towards Freshness Queries, Unlinkability Queries, Automated Model Translation and Formalized Semantics in Verifpal   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.12.0   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.12.0   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.12.0   Symbolic Software Drone
• [Verifpal] Flatpak package   rugk
• [Verifpal] Flatpak package   Nadim Kobeissi
• [Verifpal] Flatpak package   rugk
• [Verifpal] Flatpak package   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.13.0   Symbolic Software Drone
• [Verifpal] Verifpal for Visual Studio Code   Nadim Kobeissi
• [Verifpal] Verifpal for Visual Studio Code   Nadim Kobeissi
• [Verifpal] generating sequence diagrams?   Marko Schütz-Schmuck
• [Verifpal] generating sequence diagrams?   Nadim Kobeissi
• [Verifpal] generating sequence diagrams?   Marko Schuetz-Schmuck
• [Verifpal] generating sequence diagrams?   Nadim Kobeissi
• [Verifpal] generating sequence diagrams?   Marko Schuetz-Schmuck
• [Verifpal] [ANNOUNCE] Verifpal v0.13.1   Symbolic Software Drone
• [Verifpal] generating sequence diagrams?   Nadim Kobeissi
• [Verifpal] generating sequence diagrams?   Marko Schuetz-Schmuck
• [Verifpal] generating sequence diagrams?   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.13.2   Symbolic Software Drone
• [Verifpal] generating sequence diagrams?   Nadim Kobeissi
• [Verifpal] blind signing?   Marko Schuetz-Schmuck
• [Verifpal] blind signing?   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.13.3   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.13.3   Nadim Kobeissi
• [Verifpal] Major Revision to Verifpal Paper   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.13.4   Symbolic Software Drone
• [Verifpal] Needham-Schroeder protocol   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal v0.13.5   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal v0.13.6   Symbolic Software Drone
• [Verifpal] New Code Signing PGP Key and Code Signing Policy Update   Nadim Kobeissi
• [Verifpal] New Code Signing PGP Key and Code Signing Policy Update   Nadim Kobeissi
• [Verifpal] New Code Signing PGP Key and Code Signing Policy Update   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.13.7   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.13.7   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.14.0   Symbolic Software Drone
• [Verifpal] ProVerif translation & split   Friedrich Wiemer
• [Verifpal] ProVerif translation & split   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.14.1   Symbolic Software Drone
• [Verifpal] Handling of constant messages in protocols   Renaud Lifchitz
• [Verifpal] Random query results?   Renaud Lifchitz
• [Verifpal] Random query results?   Nadim Kobeissi
• [Verifpal] Handling of constant messages in protocols   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.14.2   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.14.6   Symbolic Software Drone
• [Verifpal] Announcing VerifHub   Nadim Kobeissi
• [Verifpal] Announcing VerifHub   Nadim Kobeissi
• [Verifpal] Announcing VerifHub   Nadim Kobeissi
• [Verifpal] Announcing VerifHub   Friedrich Wiemer
• [Verifpal] Announcing VerifHub   Nadim Kobeissi
• [Verifpal] Announcing VerifHub   Friedrich Wiemer
• [Verifpal] Announcing VerifHub   Nadim Kobeissi
• [Verifpal] gxyz   Pittsburgh penguins Tv
• [Verifpal] [ANNOUNCE] Verifpal 0.14.8   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.14.9   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.15.0   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.15.1   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.15.2   Symbolic Software Drone
• [Verifpal] gxyz   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.15.3   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.15.5   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.15.6   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.17.0   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.17.1   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.17.2   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.17.4   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.17.5   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.17.6   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.17.7   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.17.8   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.18.0   Symbolic Software Drone
• [Verifpal] Simple challenge/response with freshness   Eric Simpson
• [Verifpal] [PATCH 0/1] Allow Linux snap xdg-open permissions for verihub submission   Eric Simpson
• [Verifpal] [PATCH 1/1] Allow xdg-open permission in snapcraft.yaml   Eric Simpson
• [Verifpal] Simple challenge/response with freshness   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.19.0   Symbolic Software Drone
• [Verifpal] Authentication after sending a new private key   Eric Simpson
• [Verifpal] Authentication after sending a new private key   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.19.1   Symbolic Software Drone
• [Verifpal] One Year of Verifpal: Understanding Verifpal’s Relationship With Cryptographic Protocol Security   Nadim Kobeissi
• [Verifpal] Personal post on Verifpal's first year   Nadim Kobeissi
• [Verifpal] Personal post on Verifpal's first year   Loup Vaillant-David
• [Verifpal] Defining Behavior When Primitive Returns Less Outputs Than Expected   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.19.2   Symbolic Software Drone
• [Verifpal] Defining Behavior When Primitive Returns Less Outputs Than Expected   Tom Roeder
• [Verifpal] Defining Behavior When Primitive Returns Less Outputs Than Expected   Nadim Kobeissi
• [Verifpal] Verifpal at ACM CCSW 2020   Nadim Kobeissi
• [Verifpal] Verifpal at ACM CCSW 2020   ilmu
• [Verifpal] Defining Behavior When Primitive Returns Less Outputs Than Expected   Nadim Kobeissi
• [Verifpal] Key Encapsulation Mechanism Primitive   Friedrich Wiemer
• [Verifpal] Key Encapsulation Mechanism Primitive   Nadim Kobeissi
• [Verifpal] Defining Behavior When Primitive Returns Less Outputs Than Expected   Tom Roeder
• [Verifpal] Defining Behavior When Primitive Returns Less Outputs Than Expected   Nadim Kobeissi
• [Verifpal] Defining Behavior When Primitive Returns Less Outputs Than Expected   Tom Roeder
• [Verifpal] Defining Behavior When Primitive Returns Less Outputs Than Expected   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.19.3   Symbolic Software Drone
• [Verifpal] Queries on undefined messages crash verifpal   Friedrich Wiemer
• [Verifpal] Crash when sending an already known value within concat and checking it with assert   Friedrich Wiemer
• [Verifpal] Feature: convert attack traces to protocol diagrams   Friedrich Wiemer
• [Verifpal] Queries on undefined messages crash verifpal   Nadim Kobeissi
• [Verifpal] Crash when sending an already known value within concat and checking it with assert   Nadim Kobeissi
• [Verifpal] Feature: convert attack traces to protocol diagrams   Nadim Kobeissi
• [Verifpal] Crash when sending an already known value within concat and checking it with assert   Friedrich Wiemer
• [Verifpal] Crash when sending an already known value within concat and checking it with assert   Friedrich Wiemer
• [Verifpal] Crash when sending an already known value within concat and checking it with assert   Friedrich Wiemer
• [Verifpal] How to model certificates and general message structures   Friedrich Wiemer
• [Verifpal] How to model certificates and general message structures   Nadim Kobeissi
• [Verifpal] CONCAT function   Mike
• [Verifpal] Nonce reuse in Verifpal models   Loup Vaillant-David
• [Verifpal] Nonce reuse in Verifpal models   Mike
• [Verifpal] Nonce reuse in Verifpal models   Nadim Kobeissi
• [Verifpal] CONCAT function   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.19.4   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.19.4   Nadim Kobeissi
• [Verifpal] Verifpal for Nova   Nadim Kobeissi
• [Verifpal] SPLIT and output up to 5   Mike
• [Verifpal] SPLIT and output up to 5   Nadim Kobeissi
• [Verifpal] Apparent state explosion on seemingly simple model   Loup Vaillant-David
• [Verifpal] Apparent state explosion on seemingly simple model   Nadim Kobeissi
• [Verifpal] Apparent state explosion on seemingly simple model   Nadim Kobeissi
• [Verifpal] Apparent state explosion on seemingly simple model   Loup Vaillant-David
• [Verifpal] G vs. nil   Mike
• [Verifpal] G vs. nil   Nadim Kobeissi
• [Verifpal] Authentication Fails on AEAD   Angèle Bossuat
• [Verifpal] Authentication Fails on AEAD   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.19.5   Symbolic Software Drone
• [Verifpal] parse comments   Mike
• [Verifpal] PKE_ENC is broken   Mike
• [Verifpal] PKE_ENC is broken   Angèle Bossuat
• [Verifpal] PKE_ENC is broken   Mike
• [Verifpal] parse comments   Nadim Kobeissi
• [Verifpal] PKE_ENC is broken   Nadim Kobeissi
• [Verifpal] PKE_ENC is broken   Mike
• [Verifpal] signverif on wrong key   Mike
• [Verifpal] signverif on wrong key   Nadim Kobeissi
• [Verifpal] Verifpal 0.20.0 will contain list of contributors and testers   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.20.0   Symbolic Software Drone
• [Verifpal] Verifpal at INDOCRYT 2020 and RWC 2021   Nadim Kobeissi
• [Verifpal] Verifpal 0.20.0 will contain list of contributors and testers   Friedrich Wiemer
• [Verifpal] precondition, 3.2.6   Mike
• [Verifpal] panic: runtime error   Mike
• [Verifpal] precondition, 3.2.6   Nadim Kobeissi
• [Verifpal] panic: runtime error   Nadim Kobeissi
• [Verifpal] password constant   Mike
• [Verifpal] password constant   Nadim Kobeissi
• [Verifpal] [ANNOUNCE] Verifpal 0.20.1   Symbolic Software Drone
• [Verifpal] [ANNOUNCE] Verifpal 0.21.0   Symbolic Software Drone

Last message date: Thu Dec 31 14:24:36 UTC 2020
Archived on: Thu Dec 31 14:24:39 UTC 2020

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...