Blog
Blog
概要
メッセンジャーサービス LINE の暗号化通信プロトコルを ProVerif を用いてモデル化し，安全性を検証したという論文 [1] を読んだことをきっかけに，そこで扱われていなかった E2EEP-1:N (グループメッセージプロトコル) の...
こんにちは、エンジニアの米澤です。
2018年8月、Transport Layer Security (TLS) プロトコルの最新版である
TLS 1.3 が RFC 8446
として発行されました。
TLS はインターネット上でセキュアな通信路を...
はじめに
こんにちは。エンジニアの池上です。今回はZcashのプールサーバを建ててマイニングする手順を公開します。
プールサーバとは？
仮想通貨におけるプールサーバというのは、個人が結集して計算能力を貢献し合うことでマイニングを成功させ、全体で...
こんにちは、アーキテクトの永田です。
2018年7月14日(土)から9日間、カナダのモントリオールにて第102回IETFミーティングが開催されました。
IETF(Internet Engineering Task Force)(※1)では様々なイン...
レピダムの研究員 阿部です。
今回は、2018/07/06-07に開催された、
オープンソースカンファレンス 2018 Hokkaidoへレピダムとして出展、ならびにセミナーで発表した内容をお伝えします。
オープンソースカンファレンス（OSC）と...