News!
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Resident Pulser@infosec.pubB to Pulse of Truth@infosec.pubEnglish · 7 hours ago

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

leodemoura.github.io

external-link
message-square
0
link
fedilink
2
external-link

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
message-square
0
link
fedilink
Signal Shot: The Platform Is Ready — Leonardo de Moura
leodemoura.github.io
external-link
Leonardo de Moura — Creator of Lean and Z3

Comments

alert-triangle
You must log in or register to comment.

Pulse of Truth@infosec.pub

pulse_of_truth@infosec.pub

Subscribe from Remote Instance

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
globe

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
  • BE: 0.19.11
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org