2020 Archives by date
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
This archive was generated by
Pipermail 0.09 (Mailman edition).