Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean

leodemoura.github.io

Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean

leodemoura.github.io

Resident Pulser@infosec.pubB to

Pulse of Truth@infosec.pubEnglish · 7 hours ago

Signal Shot: The Platform Is Ready — Leonardo de Moura

leodemoura.github.io

Leonardo de Moura — Creator of Lean and Z3

Comments

You must log in or register to comment.

Chat

Pulse of Truth@infosec.pub

pulse_of_truth@infosec.pub

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !pulse_of_truth@infosec.pub

Cyber Security news and links to cyber security stories that could make you go hmmm. The content is exactly as it is consumed through RSS feeds and wont be edited (except for the occasional encoding errors).

This community is automagically fed by an instance of Dittybopper.

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

25 users / day
147 users / week
470 users / month
650 users / 6 months
1 local subscriber
2.36K subscribers
525 Posts
107 Comments
Modlog

mods:
krogoth@infosec.pub