サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
GPT-4o
wiki.mma.club.uec.ac.jp
インストール Z3のGithubページからgit cloneしてビルド・インストールする. z3pyは /usr/lib/python2.7/dist-packages 以下に同時にインストールされる. 基本的な流れ 1 # モジュールをimport 2 from z3 import * 3 4 # 変数を作成.引数は人間が見てわかりやすい変数名. 5 p, q = Bools(["p", "q"]) 6 x = Int("x") 7 8 # ソルバのインスタンスを生成して 9 s = Solver() 10 11 # 制約を追加 12 s.add(q == True, p != q) 13 s.add(x * x - x == 2) 14 15 # 解を探索,モデルを取得 16 r = s.check() 17 if r == sat: 18 m = s.model() 19 else:
CTFに用意するツール Binary GB級のファイルを編集できるバイナリエディタ Ncurses Hexedit pyew (コマンド操作型のバイナリ/実行ファイルエディタ) UTF-16やCP932も認識できるfstrings istrings file nkf, iconv md5sum, sha1sum, sha256sum, sha3sum 暗号 パスワードリカバリ john community-enhanced versionを推奨 oclHashcat robertdavidgraham/pemcrack Cracks SSL PEM files that hold encrypted private keys. Brute forces or dictionary cracks. pkcrack ZIPファイルに対する既知平文攻撃 fcrackzip ZIPファイルに対する
CTFと現代暗号のためのPARI/GP PARI/GPは整数論的計算を行うことに特化した計算環境である。 PARI計算ライブラリ GPスクリプト言語 本稿は迅速な問題解決のためのPARI/GPの逆引き事典を目指して執筆された。 環境について体系的に学習するためには、PARI/GP documentationのUser's Guide to PARI/GPとGP Tutorialを参照されたし。 関数についてはOnline User's Guideを参照のこと。 Syntax of GP ヘルプ ? funcname コメント \\ コメント なかなか珍しいバックスラッシュによるコメントアウト。 基本演算 加算 + 減算 - 乗算 * 冪算 ^ 除算 / 整数に対しては分数になる 少数切り捨て除算 \ 剰余 % 四捨五入 \/ ビットシフト <<, >> 比較 <, >, <=, >=, !
Writeups for SECCON 2014 オンライン予選(英語) SECCON 2014 Quals Online WinterにチームMMAとして参加した。最終順位は11位であった。 Welcome to SECCON (Start 100pts) 1. まず問題のページを開きます。 2. 問題文には次のように書いてあるので、目grep力を駆使して、答えを探します。 問題 The answer is "SECCON{20141206}". 問題(和訳) 答えは、「SECCON{20141206}」です。 結果: SECCON{20141206} Easy Cipher (Crypto 100pts) 2進数、8進数、10進数、16進数で記述された数字の列が渡される。判定は次のようにした。 0から始まる文字列なら8進数 [01]のみを含み5文字以上なら2進数 [0-9]のみを含むな
Writeups for tkbctf4 tkbctf4にチームMMAとして参加した。最終順位は2位であった。 monochrome bar (steganography 100) 1. 画像ファイルだったので、とりあえずphotoshopで開いてみた。 2. 開いてみると、怪しい空白と黒い点が。 3. 拡大してみてみると、どーうも怪しい。 4. 横のピクセル数を見て確信。 5. 270pxごとに切って縦につないでみる 1 require 'RMagick' 2 3 filename = "" 4 src = Magick::Image.read(filename).first 5 imglist = Magick::ImageList.new 6 for i in 0..269 do 7 imglist << src.crop(270*i,0,270,1) 8 end 9 cat = i
アセンブリ記法 x86/x86-64アセンブリにはIntel記法とAT&T記法の2つの記法がある。 まずはIntel記法で学ぶことを奨める。AT&T記法はオペランドの順序が複雑であるためである。 Intel記法 広く利用されている形式で、特にWindowsで好んで利用される記法である。 操作対象のレジスタが必ず最初のオペランドになる。 objdumpによる逆アセンブル例 1 0000000000000000 <f>: 2 0: 55 push rbp 3 1: 48 89 e5 mov rbp,rsp 4 4: 48 83 ec 10 sub rsp,0x10 5 8: 89 7d fc mov DWORD PTR [rbp-0x4],edi 6 b: 83 7d fc 01 cmp DWORD PTR [rbp-0x4],0x1 7 f: 75 07 jne 18 <f+0x18> 8
なにこれ コップ本にだいたい則ってScalaについてまとめたもの。 Scala勉強会とかで使いたい。 Scala処理系が入っている前提。 コップ本19章ぐらいまで読んだのでその辺りまでとりあえずまとめたい(無理か) 13と14章は飛ばしました 18章も飛ばす とりあえず触ってみる scalaコマンドを実行するとインタプリタが立ち上がる。
LVMとは 複数のディスクにまたがるファイルシステムを作ったり出来るようにするもの 構造としては、物理ボリューム(PV)を物理エクステント(PE)という単位に分割して、物理エクステントの組み合わせで論理ボリューム(LV)を構成するようになっている。 Another way to look at is this (courtesy of Erik Bågfors on the linux-lvm mailing list): hda1 hdc1 (PV:s on partitions or whole disks) \ / \ / diskvg (VG) / | \ / | \ usrlv rootlv varlv (LV:s) | | | ext2 reiserfs xfs (filesystems) -- LVM HOWTOより引用 物理ボリュームの追加・削除や論理ボリュームのサイズ変更
このページを最初にブックマークしてみませんか?
『Home - 電気通信大学MMA』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く