Blog

2019.12.18

Return-oriented Programmingとは何かを学ぶ

こんにちは、エンジニアの日下部です。

本日は脆弱性への攻撃手法として有名なReturn-oriented Programming(以降ROP)について解説してみようかと思います。

かなり長くなるのと技術的に込み入った内容になるため注意してください...

MORE
2019.12.03

IETF106参加記録 - OAuthの未来

こんにちは、本年4月よりレピダムにjoinしましたプログラマの梶原です。

11月16日〜22日に開催されましたIETF 106に参加して来ました。本記事ではその中でも特に今回個人的に注目すべきであると考えるOAuthに関連する2つの新しい動きについ...

MORE
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

Archives »