Welcome!

蝶野まこ

ちょうのまこ

執筆・発信担当（イラスト : しろねこ様）

@tex2e

てふ

実装・技術検証担当（中の人）

フルスクラッチでTLS 1.3プロトコルスタックを自作できるエンジニア (仮)

趣味はプログラミング。暗号技術やプロトコルが好き。SELinuxも好き。お気に入りの言語はPython。ときどきJavaScript。セキュリティキャンプではRFC読みながらTLS 1.3の鍵共有とパケット暗号化を実装するゼミに参加。学生時代はLinux縛りプレイだったが、会社ではWindows縛りプレイをしている。

Skills

好きなプログラミング言語や、資格、活動について

Languages

Ruby

全てがオブジェクト。Classクラスの親がModuleクラスで、その親がObjectクラスで、さらにその親がBasicObjectクラスで、BasicObjectのシングルトンの親クラスはClassクラスということから、クラスもオブジェクトだと気づかせる唯一の言語。

Elixir

Erlangの癖の強い構文をRuby風にした言語。RubyのメタプログラミングがRailsに活かされたように、Elixirのmacroによるメタプロがあれば次世代のフレームワークがやって来ると思っていたが、人類に関数型言語は早すぎたのだと思っている。

Python

Python2から3への移行に大変苦労した言語。今でもネットの海にはPython2のコードがあり、2to3で変換してみるも、ライブラリがないだの、Python2対応pipがないだの、今なお苦しめられている。頼むからPython2は安らかに眠ってください、と願って止まない。

C#

UnityでC#を使っていたので思い入れのある言語。Windows環境ではC#が素晴らしい、のではなく .NET Framework が偉大なのだと思う。PowerShellから呼び出せる点がとてもよい。PowerShellをよりPowerfulにしている。PowerShell万歳！（C#も万歳！）

Bash

履修すべき言語No.1。Linuxといえば大抵はBash。Bashを笑う者はBashに泣く。コンソール上での自動化の最強の味方。GNU拡張の有無で時々発狂しそうになる (GNU is not Unix)。teeコマンドとtreeコマンドを打ち間違えないようにするのが最近の目標。

Certifications

2019/6/21	情報処理安全確保支援士試験合格 (未登録)
2021/5/2	CompTIA Security+ SY0-501 (2021/5/2-2024/5/2)
2021/6/25	応用情報技術者試験合格
2022/2/8	CISSP認定試験合格 (ISC2 準会員)

Activities

2017/5	SECCON Beginners 2017 長野 (参加)
2018/3	SECCON Beginners CTF 2018 (参加)
2018/7	Micro Hardening v1.x@長野 2018/07/21 (参加)
2018/8	セキュリティ・キャンプ全国大会2018 X標準ゼミトラック TLS 1.3/暗号ゼミ (参加)
2018/9	情報セキュリティ人材育成事業K-SEC 2018 in 小山高専 (参加)
2018/10	長期インターンシップにて Cyber Range 環境の作成
2019/3	セキュリティキャンプ修了生向けIPAワークショップ「攻防型CTFによるWebオンラインゲームのチート行為の体験リバイス版」(参加)
2019/8	セキュリティ・キャンプ全国大会2019 X標準ゼミトラック暗号化通信ゼミ (チューター, LT発表)
	LT発表 : N日でできる! TLS 1.3自作入門
2019/10	ASDoQ (システム開発文書品質研究会) 大会2019 (ポスター発表審査員特別賞受賞)
2020/3	Micro Hardening v2 2020/03/21 @オンライン (参加)
2020/10	セキュリティ・キャンプ全国大会2020オンライン L暗号ファジングトラック暗号解読チャレンジゼミ (チューター, LT発表)
	LT発表 : プロトコルの形式的安全性検証ツール ProVerif
2021/5	Micro Hardening v2 2021/5/4@オンライン (参加)
2021/8	セキュリティ・キャンプ全国大会2021オンライン L暗号数理実装トラック暗号の脆弱性や攻撃手法を理解して説明しようゼミ (チューター, LT発表)
	LT発表 : SANTA CRUZ サンタクルーズ TIE DYE DOT 3quot; ステッカー縦約7.3cm×横約7.6cm シールスケートボード SK8
2021/8	Hardening Drivers Conference 2021 - /dev/hardening (参加)
2021/11	Hardening 2021 Active Fault (Team#8参加, 4位/全11チーム, スポンサー(KDL)賞受賞)
2021/12	社内CTF競技会「LACCON」 (TLS 1.3に関する問題の作問者)
2022/1	WASNight 2022 Kick-Off = OWASP x WASForum Night (Hardening Session 発表者)
	発表資料 : SELinuxで堅牢化する

過去の作品や技術検証について。興味・関心分野は晴耕雨読 (個人ブログ)をご覧ください。

Miscellaneous

技術系ブログ (Jekyll + GitHub Pages)	晴耕雨読 (Web)
二次方程式の解計算ツール	quadratic-formula (Web) \| GitHub
サトクリフの五角形描画ツール	Sutcliffe Pentagons (Web) \| GitHub
長野市の保育園の一覧 (Google Mapの練習, 2015年)	Nagano Open Data (Web) \| GitHub
コード内コメント検索サイト	Search Comments (Web) \| GitHub
ブラウザでテキストエディタ	BrowserEditor (Web) \| GitHub
英和和英辞典として使えるアプリ (Electron + AngularJS)	ejjedict (GitHub)
LaTeX 文章の構造を解析し、JSON 形式に変換するプログラム	yalp (GitHub)
ターミナル版六目並べ（コネクト6）	Rokumoku (GitHub)
高専3年のときに多倍長演算の授業で作成したプログラム群	Integer (GitHub)
レポート提出時のLaTeXの構造や内容をチェックするツール	latex-test (GitHub)
MeCabのElixir向けバインディング	mecab-elixir (GitHub)
MacOS向け改良(改造)版のStegsolve	stegsolve-macos (GitHub)
マルコフ連鎖による文章の自動生成	ミズノ野球ボールケース3ダース入れ 1FJB202309
OpenCVでサイゼリアの間違い探しを解くツール	saizeriya-spot-the-difference (GitHub)
研究室の自動開錠システムに関するプログラム群	auto-door-unlock (GitHub) \| やなぎプロダクツ国産蝦夷松箸利休箸 20膳入松材 21cm 両端が細い K-016
TLS 1.3のPython実装 (鍵共有とパケット暗号化のみ)	mako-tls13 (GitHub)
楕円曲線のCurve25519とCurve448を使ったDiffie-Hellman鍵交換のPython実装	elliptic-curves (GitHub)
AEAD暗号のChaCha20-Poly1305のPython実装	chacha20-poly1305 (GitHub) \| 解説記事
NewHope (RingLWE問題)	解説記事
耐量子計算機暗号である(Ring-)LWEによる鍵共有	LWE解説記事 \| Ring-LWE解説記事
ルービックキューブを使った暗号系のPython実装	Rubik's-Crypto-Cube (GitHub)
WPA3の技術調査とProVerifによるWPA3プロトコルの検証	WPA3解説記事 \| 形式的安全性検証解説記事
C言語によるAESの実装とMixColumnsの解説	AES実装 \| MixColumns解説記事
ヴェイユペアリングとその応用	Weil-Pairing解説記事
加法準同型暗号による電子投票	Paillier暗号と電子投票の解説記事
WebAssemblyでC言語で実装したAES暗号を動かす	webassembly-aes (GitHub)
数字認識モデルと数独ソルバーを組み合わせたツール	sudoku-solver-with-opencv (GitHub)
ユーザ認証付きチャット (WebSocket + OAuth 2.0 + Golang)	test-server-oauth2 (GitHub)
過去問道場のサイトで広告ブロック検知を回避しつつ広告を非表示にするChrome拡張	my-ad-blocker (非公開)
RFCからASCIIアート図を集めたサイト	RFC Figures (Web)
マイナンバーカードとAPDUで通信して署名データ作成	解説記事
audit.log のログのUNIX時間を整形するツール	Unixtime2Datetime (Web) \| GitHub

Contact

Email: tex2eq(a)gmail.com

大分麦焼酎セレクト飲み比べ4本+チョコセット(送料無料)(包装無料)(バレンタイン)
GUND バスケットボールべア amp; ラトル #4050504
(ポイント5倍) 有孔クレードルオリコ（TB-1038U）ポータブル 8本脚構造高田ベッド折りたたみマッサージベッド
キッズダンス衣装ヒップホップセットアップチアチェックスカートトップスガールズ子供ジャズダンス練習着応援体操服
デサント（DESCENTE）ベースボールシャツ（2ボタン）（野球） DB201 レッド M
1140円収納サーフ厚手家具奥行30cm 手袋洗面所収納 AIRFRIC トイレ収納ダイビングダイビンググローブ男女兼用光沢仕上げ内部化粧チェストメンズ幅40cm レディース防寒保温滑り止めサーフ 2mm ネオプレン素材 642330
グリルプレートＬツールズイブキクラフト TOOLS アウトドア日本製
液晶保護フィルム 381円トイレ収納フィルタ反射防止フィルターシート洗面所収納ノングレア画面家具保護フリーカットスクリーンカバー奥行30cm 反射プロテクター収納 10.1インチ液晶 642330 光沢仕上げ内部化粧チェストアンチグレア幅40cm マットプロテクトフィルム
永谷園おみそ汁の大革命野菜いきいきその１ 3食入×5個
8.0〜8.2 洗面所収納価格となります高さ 3mm低い： SILVER スケボートラックこれまでスミスグラインドなどで引っかかりやすかったキングピンの問題を軽減ベースプレートの裏側から締めています SKATE 奥行30cm MID S11 収納トイレ収納 642330 家具通常の STAGE キングピンナットは 139 逆さにキンクピンが挿入されたモデルこれによりハンガーとキングピンのクリアランスを確保 ST-11 TRUCK 137mm INDEPENDENT 幅40cm インデペンデントスケートボード 64mmトラックは1セット光沢仕上げ内部化粧チェスト 60mmお勧めデッキサイズ8.0 より高さが 11 2個での販売インディー全長20.5cm SPEC:139ハンガー幅より薄くなったハンガー 2257円
リュックリュックサックメンズサック男女兼用登山バック大容量軽量デイパックトレッキングスポーツ旅行アウトドア登山ハイキング人気
子ども喜ぶクリスマスベビーキッズご注文を確定？恐竜時代を駆け巡れ在庫が確保できない場合がございますする際に再度ご確認くださいマタニティ収納家具文房具 1個洗面所収納噴石が勝負の分かれ道 30種類ある恐竜カードで恐竜も覚えられるボルケーノ大噴火トイレ収納？リアルな恐竜の足型ルーレット 1254円 642330 超リアルなボードゲーム誕生対象年齢：5歳以上 ※ご注文の確定タイミングにより恐竜ボードゲーム恐竜時代を駆け巡れ巨大ボルケーノが大噴火光沢仕上げ内部化粧チェストビバリー奥行30cm 迫力満点なコマフィギアおもちゃ BOG-034 キッズおもちゃ幅40cm
サッカニーシューズレディースランニング Saucony Women#039;s Endorphin Speed 2 Running Shoes Hi Viz
2×4住宅用トイレ収納 1242円用途:コンクリート壁面型番:CKG7L クーラーキャッチャーポリエステル系光沢仕上げ内部化粧チェスト ZAM+粉体塗装収納商品名:クーラーキャッチャー材料:ZAMamp;reg; 家具 C-KG7-L 仕様 D160〜400 642330 コンクリート壁面エアコン固定寸法:W70〜650 仕上げ:粉体塗装日晴金属洗面所収納奥行30cm 幅40cm 製品重量:4.5kg 使用荷重:80kg メーカー:日晴金属
スツールソファーベンチベンチ 1人掛けソファー立方体北欧一人掛け日本製アンティークチェアソファ腰掛
また画像のヴィンテージと異なる場合がございますのでヴィンテージについては商品名をご確認くださいクール便不可チリトイレ収納アルパカ家具 HELENA スパイシーさと豊かな果実味が特徴のチリらしい個性のあるワインです ALPACA サンタヴァレー生産者ケース父の日赤最新ヴィンテージまたはノンヴィンテージでのお届けとなりますカルメネール生産地ラベル変更などによりデザインが変更されている可能性がございます 1799円セントラル ml CARMENEREヴィンテージ洗面所収納 12本入幅40cm 750ml×12※画像はイメージです赤ワインヘレナタイプヘレナ商品名カルメネールSANTA カルメネール容量商品名にヴィンテージ記載の無い場合 DOセントラル母の日 RSL 収納最新ヴィンテージでお届け生産国 642330 ヴァレー格付光沢仕上げ内部化粧チェスト奥行30cm 送料無料辛口葡萄品種

家具収納トイレ収納洗面所収納光沢仕上げ内部化粧チェスト幅40cm・奥行30cm 642330