Verifpal and Piccolo

これはSymbolic・Softwareです。

私たちは、応用暗号ソフトを作っています。
(また、日本で一番人気のオセロソフトをmacOSで作っています。)

セキュリティ監査、暗号監査のサービスは停止しています。

シンボリック・ソフトウェアは2017年に設立され、それ以来、300以上の暗号およびソフトウェア監査に参加してきました。

私たちは、Mozilla ThunderbirdにおけるPGP暗号化の重大な脆弱性の発見に貢献しました。また、RememBearのようなパスワードマネージャーのために また、RememBearのようなパスワードマネージャの、より安全なデバイスペアリングプロトコルの設計を支援しました。また、MetaMaskのような重要な暗号通貨技術の監査と安全性の確保にも取り組みました。

最近では、Linux Foundationと協力して、ヨーロッパで最も重要なCOVID-19連絡先追跡アプリのいくつかを監査しました

2021年現在、予約済みの仕事や計画中のプロジェクトが余っているため、セキュリティ・暗号監査サービスの新規顧客の受け入れを停止しています。

BlogTwitterSource

© 2017-2021 Symbolic Software • 🇬🇧 EnglishリーガルEmail