Blog

2018.10.26

LINE のグループメッセージプロトコルの ProVerif によるモデル化と検証

概要

メッセンジャーサービス LINE の暗号化通信プロトコルを ProVerif を用いてモデル化し,安全性を検証したという論文 [1] を読んだことをきっかけに,そこで扱われていなかった E2EEP-1:N (グループメッセージプロトコル) の...

MORE
2018.10.01

祝RFC!Transport Layer Security (TLS) 1.3 発行の軌跡 ~熟成された4年間の安全性解析~

こんにちは、エンジニアの米澤です。

2018年8月、Transport Layer Security (TLS) プロトコルの最新版である
TLS 1.3 が RFC 8446
として発行されました。
TLS はインターネット上でセキュアな通信路を...

MORE
2018.09.05

Zcashプールサーバを建ててマイニングする

はじめに

こんにちは。エンジニアの池上です。今回はZcashのプールサーバを建ててマイニングする手順を公開します。

プールサーバとは?

仮想通貨におけるプールサーバというのは、個人が結集して計算能力を貢献し合うことでマイニングを成功させ、全体で...

MORE
2018.08.10

第102回IETF報告 IoT関連報告

こんにちは、アーキテクトの永田です。

2018年7月14日(土)から9日間、カナダのモントリオールにて第102回IETFミーティングが開催されました。
IETF(Internet Engineering Task Force)(※1)では様々なイン...

MORE
2018.08.09

OSC Hokkaido 2018 出展&講演レポート

レピダムの研究員 阿部です。

今回は、2018/07/06-07に開催された、
オープンソースカンファレンス 2018 Hokkaidoへレピダムとして出展、ならびにセミナーで発表した内容をお伝えします。

オープンソースカンファレンス(OSC)と...

MORE

Archives »