セキュリティ・キャンプ2014　個人成果発表 セキュアなシステムを作ろうクラスを代表して成果発表しました。

1. ライフゲームを最適化した話
Twitter, Inc.
セキュアなシステムを作ろうクラス
OSECPU-VM ゼミ
ぺーぽん（@Q7U）

2. OSECPU-VM とは

3. OSECPU-VM とは
仮想マシンの
オープンソースプロジェクト

4. OSECPU-VM の目的
・教育
・デバッグ支援とセキュリティ
・互換性
・コード密度

5. VMゼミの華麗なる連携

6. VMゼミの華麗なる連携
アプリケーションの実装
VM の実装
ぺーぽん
****
****
言語とコンパイラの実装

7. 私がやったこと

8. 私がやったこと
・ 練習用アプリの作成
・ 再帰に関するバグの指摘
・ api_malloc_InitINT() に関する脆弱性指摘
・ ライフゲームを ASKA で実装
・ ライフゲームを CHAGE で再実装

9. Conway が考案した人工生命シミュレーション
ライフゲーム

10. Why ライフゲーム？

11. ・ きれい（小並感）
・ 最適化が見込める
・ 少ない命令で実装可能
Why ライフゲーム？

12. ・ 無限に繁殖するパターン
グライダー銃

13. ・シンプルに
→ 最適化が容易
→ セキュア
仕様

14. ASKAで書いてみた

15. ASKAで書いてみた
・ （思ったより大変だった）
・ 最適化の余地あり

16. for ( i = 0; i != 3; i++ ){
最適化（1） 扱う数値の限定

17. for ( i = 0; i != 3; i++ ){
for ( i = -1; i != 2; i++ ){
最適化（1） 扱う数値の限定

18. ベクトル化命令 REM36();
レジスタ番号が１ずつ違う場合
最初の命令以外を省略できる
最適化（2） ベクトル化

19. 最適化の闇は深い
その他いろいろ

20. デモ

21. ということで

22. 140 byte
ということで

23. 140 byte
ということで
世界最小！（かも）

24. ということで

25. hoge.ask → hoge.chag
中間生成のアセンブリ言語版を参考
→ CHAGE の言語仕様に沿って再実装
ASKA → CHAGE

26. CHAGEの言語仕様は割りと高級
そこまで苦労せずに再実装できた
がしかし

27. まとめ
・ 140byteでライフゲームを作った
・ それをCHAGEでも動くようにした