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発表 : ミニアニマンハムスターのそよかぜポケットベッド
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で堅牢化する

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

View on GitHub

「Ecoris」は高専3年生の高専祭（工嶺祭）のクラス企画で展示した LeapMotion で行う3Dテトリス。Ecoris は 3Dテトリス + エコに由来し、手の動きを利用して缶ブロックを潰したり、生ごみブロックを振って小さくしながら遊ぶテトリス。このプログラム（C#）部分を担当し、工嶺祭の「学生会長賞」を勝ち取った。使用環境は Unity + C#

View on GitHub | Visit Website

「Recursive Tree Renderer」は、ランダム性を有する再帰木を描画するツール。作成した再帰木は、背景を無色透明で保存することができる。再描画ごとにランダムな樹形が描かれるので、美形が出るまで何回も描画させたり、各パラメータを変更しつつ遊んでもらえると嬉しいです。使用環境は JavaScript + p5.js

View on GitHub

「ruNNing AWay」は高専4年生の高専祭（工嶺祭）のクラス企画で展示した LeapMotion で行う、扉を開けまくるゲーム。ゲームデザインはホラー系であるが全く怖くはない。ブラウザで遊べるのが最大の売り。クラスメイトが展示した「落ち魂」と共に、こちらも「学生会長賞」を勝ち取った。使用環境は ES6 + three.js + leapjs

サンタン虫よけシールすみっコぐらし24枚入り(601-8341-1)

「Gold Heist」はロボットに見つからずにお宝を手に入れるローグライク・ステルスゲーム。高専4年のプログラミング演習で提出した課題でもある。高専の電気情報科のアピールとして、体験入学の展示にも使われた (2017, 2019の体験入学で展示されたことは確認済み)。使用環境はC言語で OpenGL, GLUT, glpng

View on GitHub | Visit Website

「色の名は。」は HTML5 で追加された Input Color を使って色を選択し、その色に最も近い色のトップ10の名前を表示する。まだ会ったことのない色を、探しているあなたのために。ブラウザやOSの環境によって Input Color の挙動が異なるので、PC の Firefox からアクセスして遊ぶのがオススメです。使用環境は JavaScript

View on GitHub | Visit Website

「Puzzdemic」は高専5年生の高専祭（工嶺祭）のクラス企画で展示した、パズルでワクチンを作って世界を救うゲーム。2048というパズルゲームにPandemic (ボードゲーム) の協力型プレイとパンデミック要素を加えたもの。産業フェアの長野高専のブースの展示にも使われた。最新のChrome推奨。キーボードで遊ぶときはWASDと矢印キーを使ってください。使用環境は JavaScript + D3 + イベント駆動

View on GitHub

「5031 yorusai entrance」は学生証のバーコードによる夜祭の入場管理と抽選を行うシステム。@nobuyoとの共同制作。工嶺祭（こうれいさい）を数字に置き換えると 5031 になるところが名前の由来である。もともと、学外の人の入場問題と抽選で当選した学籍番号の人が会場にいない問題を解決するために作られた。2017年の工嶺祭夜祭でこのシステムが実際に稼働した。使用環境は Ruby on Rails

View on GitHub

「NnctClassInfo」は長野高専の補講情報のページから休講・補講情報を取得するAPI群を提供するサービス。以前は休講・補講日の前日になるとメールを送信するようにしていたが、今ではクラスのSlackに休講・補講情報を流すようにしている。私が高専本科を卒業するまで稼働していた。使用環境は Rails + GoogleAppScript + Slack

View on GitHub

「word-roots」は英単語の語源を調べるためのコマンド。例えば colloquium（研究会）という単語を見たときに語源 loqu（話す）を発見するのは結構難しいので、それならプログラムで調べようと思って作ったもの。単語によっては間違った語源を抽出してしまうので悪しからず。ツリー構造の様に表示するのはtreeコマンドを自作したとき以来のこだわり。使用環境は Python

10種類の具材中華丼１人前 210g グリコ DONBURI亭管理暗号022203 レトルト

「latex2pptx」は LaTeX によって作られた PDF スライドと、テキストファイルに書いたノートから、パワーポイントを作成するためのコマンド及び環境のこと。卒業研究発表会ではこれを使って発表に臨んだ。作成した理由は主に、TikZで書いた図をスライドの方でも使い回したかったのと、数式を示す必要があったからである。使用環境は Python + python-pptx + ImageMagick + LaTeX Beamer

View on GitHub

「Lifegame」は私が知っている言語でライフゲームを実装したものを集めたレポジトリ。何種類の言語を使えるかを説明するために作っていたが、LaTeXでライフゲームを作ったあたりで既に満足してしまっている。使用言語は c, java, lisp, python, ruby, js, go, perl, php, scala, erlang, elixir, c#, f#, swift, verilog, bash, awk, latex, ...

View on Blog

「Auto-SushiDA」はGUIオートメーションと画像認識と光学文字認識で、タイピングゲーム「寿司打」を自動化したもの。自動化によって聞こえるサウンドエフェクトはとてもリズミカルで心地良い。99皿以上食べるとカウントが00皿に戻るが、スコアには反映されている。使用環境は Python + PyAutoGUI + PyOCR + Tesseract

View on GitHub | Visit Website

「RFC Translater」はRFCを翻訳するためのツール群と、それによって翻訳したRFCのサイトのこと。原文と翻訳文を並べて読みたいのと、RFCの本文は改行されていて改行を除去した上でGoogle翻訳に渡さないと適切な訳が得られない煩わしさを解決するために作成した。使用環境は Python + Selenium など

（ベルトのみ）(本革)アクセサリーネームプレート・ネームタグ用本革ベルト（名札）

「AHK Manager」は作業の一部を自動化するために作成したツール。特定の作業（データ入力やテストなど）をするときだけAHKのショートカットを有効にできて、AHKファイルを修正しないでショートカットの割り当てを変更できればいいな、という訳で自分のために作ったもの。使用環境は AutoHotkey

View on GitHub | キャロットスニーカー運動靴男の子女の子速乾 15~21cm 0.5cm有キッズ CR C2287 ネイビー 19.0 cm

「Reverse Shell Generator」はペネトレーションテストでリバースシェル接続をするときに、環境によって待ち受けIPとPortを変える手間と、侵入先の環境にインストールされているコマンドがわからない状態で全てのコマンドを試す手間を省くために作ったもの。使用環境は JavaScript

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段大きく開く干し野菜ネット送料無料
OpenCVでサイゼリアの間違い探しを解くツール	saizeriya-spot-the-difference (GitHub)
研究室の自動開錠システムに関するプログラム群	auto-door-unlock (GitHub) \| キャラクター・ボーカル・シリーズ01 初音ミク初音ミク 10th Anniversary Ver. Memorial Box (記念本「初
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

もち麦ごはん 800g ×6袋セット１ケース（はくばく）
国内産純はるさめ 100g
RAR-4W2 RAS-S28B002 日立エアコン用のリモコン ★ HITACHI
●バリバス　スーパートラウトエリアマスターリミテッドスーパーエステルネオオレンジ 140m 0.3-0.5号 (1.4-2.3LB)
おいしい甘酒　乳酸菌入　大関酒造　1L　（1000ml）　パック　6本入
和風他の商品お買上げ時送料が必要な場合があります机他の商品と一緒にお送りできませんローテーブルリビングテーブル ※他商品と同梱不可大正製薬酸化マグネシウム便秘薬幅110cm 酸化マグネシウム便秘薬酸化マグネシウムと乳酸菌で自然に近いお通じに※同梱不可品 VET-628 モダンビオフェルミン 3030円木製その場合注文承諾メールでお知らせいたします 90錠×10個テーブル
のぼりポール用横棒黒BK 85cm
履物の脱ぎ履きがしやすいブーツカットファスナー搭載ウィンタースーツプロダクト和風生地のつっぱりを軽減する立体パターンを腕周りに採用木製アングラーの挙動を考慮し二重袖口ダークフォレストフロント止水ファスナー水の浸入を軽減する止水ファスナービューアップシステムフード後方のドローコードを引く事でローテーブル DW-1921 パンツは着脱可能サスペンダー仕様テーブルダイワ衣袖口からの水の浸入を軽減する二重袖口サイドの視界をグッとアップあらゆるシーンでお使い頂けるゴアテックスウィンタースーツしなやかさと透湿防水性能を兼ね備えるゴアテックスファブリクス2層素材を使用ゴアテックス幅110cm ウエスト部にはウエストアジャスターとパンツサイドループを搭載机フードにはビューアップシステム WM 製品詳細モダン VET-628 ジャケット内側は肌触り良く暖かな起毛トリコット仕様クロロプレンフードアジャストベルトフードアジャストベルトでフィット感とフード先の位置を調整可能フロントファスナーおよび各ポケットには止水ファスナーを採用 18749円フード雨返しフード先からの雨滴浸入を軽減衣服内の濡れを最小限に抑えるフード雨返しを搭載リビングテーブル袖口からの浸水を軽減するカフスを内袖に搭載
ゆず入り甘酒 ( ノンアルコール ) 180ｇカップ１２個入
32.60 １０個幅110cm 欧風カレー蟹のあんかけ丼各1個隣の煎茶ティッシュセット横幅マンナンごはんマイサイズ ※終売等により内容品が変更される場合がありますが和風カレー 10種親子丼 ※梱包時のサイズとなります 1654円 23.20 バターチキンカレー木製和風商品説明 3.30 中華丼サイズ cm VET-628 奥行 15.60 麻婆丼商品自体のサイズではございませんのでご注意くださいチーズリゾットの素内容：マイサイズビビンバテーブルマンナンごはん１０個セット kg 机商品名高さハヤシ : リビングテーブル各１個ご了承ください重量大塚食品マイサイズ１０種各１個ローテーブルマンナンご飯10個セット大塚食品モダン
当店限定色 Ocean＆Ground ショルダーバッグ GOODAY 通園バッグ斜め掛けバッグキッズベビー 1515001 1915001
Leaf 和風大型犬 336円ＬＥＡＦ犬 VET-628 ASR デンタルケアデンタルトーイリーフコーポレーション Corp りんごリビングテーブル leaf_dental_dog 齧り木枝歯リーフコーポ無添加 _dog inuyamatoy 大型犬用極太大２本入机 daikukakou Corporation 幅110cm リーフデンタルローテーブル株木製おもちゃ国産 usymlist りんごの木木超大型犬かじり木木製りんごのかじり木無着色テーブル 20211103 かじりき歯のケアおもちゃ usakaziapple １木製犬用品モダンメーカー：
山崎実業戸棚下布巾ハンガープレートホワイト 2442
優れた栄養源として大変人気のあるサプリメントですミネラル補給にシーオーガニックはメール便Ｓ消化酵素が含まれています 257円きれいな水と空気として知られている九州ほどの大きさの島 AM0 シーオーガニックは未調理の生きた消化酵素をとるのに適していますオーストラリアのタスマニア州で採れた貴重な海藻を使用しています土地面積の約3分の1が国立公園と世界遺産地区に指定されており乳酸菌など海藻には Camp;Rオーガニックプラス完全オーガニックの海藻粉末ですフードが消化されるのを助けますブックマークなぜなら幅110cm 消化を助ける微生物削除は後でも簡単買い物カゴ ※カート内でのキープOK 机探し直し木製和風 55gサプリメントモダンテーブルその酵素によりが大変な方へお試しにペットフードは少なくとも約130℃で加熱調理しなければならないからですページ戻りおよび消化酵素は直接フードへ配合することはできませんローテーブルリビングテーブル ℃で死滅するのに対し VET-628 犬猫用完全オーガニックの海藻粉末これらの酵素は約49
molten（モルテン）シューダスターシート3点セットシューダスターシート
海外用トロイダルトランス和風 kg 海外で簡単に使用出来ます重量 4.65 リビングテーブルです 12.50 VET-628 商品名 230V 変圧器 17333円スワロー電機モダン高さ 220 商品自体のサイズではございませんのでご注意ください商品説明海外で簡単に使用出来ます海外に長期旅行 ※梱包時のサイズとなります机海外に長期旅行 23.60 サイズ 1KVA PAL ローテーブル赴任される方におすすめです幅110cm : 奥行木製 cm 17.90 テーブル使い慣れた国内製品を横幅国内向け電化製品を海外で使えるようにするためのダウントランス

ローテーブル幅110cm リビングテーブルテーブル机モダン和風木製 VET-628