Symbolic Software's Avatar

Symbolic Software

@symbolic.software.bsky.social

Software security and applied cryptography audits. Research software for applied cryptographers. Also, puzzle games. https://symbolic.software

33 Followers  |  2 Following  |  3 Posts  |  Joined: 21.11.2024
Posts Following

Posts by Symbolic Software (@symbolic.software.bsky.social)


Join us on April 29 at Ledger HQ!

17.04.2025 15:37 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Real World Cryptography Paris (RWC Paris) Meetups RWC Paris aims to bring together enthusiasts, professionals, and academics to discuss the latest advancements in cryptography. Learn, share, and network with experts in the field.

Full schedule for Real World Cryptography Paris Meetup 3 is now live!

πŸš€ Check out the full lineup at cryptography.paris

Expect exciting talks on programmable cryptography, post-quantum security, super-fast verification, and moreβ€”plus refreshments and time to connect!

11.02.2025 08:56 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Real World Cryptography Paris Meetup 3 Β· Luma Welcome to the Real World Cryptography Paris (RWC Paris) Meetups! Our goal is to bring together enthusiasts, professionals, and academics to discuss the latest…

Only 2 weeks left to register for Real World Cryptography Paris!

πŸ“… Feb 18, 2025
πŸ“ Ledger HQ, Paris
πŸ”‘ Talks, networking & deep dives into ZKPs, real-world cryptography & more!
Proudly partnering with Ledger, HylΓ©, @symbolic.software & others. Don’t miss out!

πŸš€ Register now: lu.ma/f0ohzz4y

04.02.2025 15:23 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 1
Preview
2PC-MPC in Rust: Audit Report Our initial audit of the Rust implementation of dWallet Labs' 2PC-MPC protocol.

Thanks for joining us on Bluesky, everyone, and stay tuned for upcoming company news and updates.

For now, why not take a look at one of our recent public applied cryptography audit reports? symbolic.software/blog/2024-06...

21.11.2024 09:38 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0