IEEE	  SP2016	  で面白かった論文	

MWS2016意見交換会 ライトニングトーク	  2016/5/30	  早稲田大学 森 達哉	

IEEE	  Symposium	  on	  Security	  and	  Privacy	
• 2011年までカリフォルニア州オークランドで開催	  • 2012年から同州の別の場所へ（サンフランシスコ、サンノゼ）	  • The	  top	  of	  the	  top	  conferences	  （ウィンブルドン的存在)	

hBp://faculty.cs.tamu.edu/guofei/sec_conf_stat.htm	

今年の投稿/採択数	
• 投稿数:	  411	  – Round1:	  399	  – Round2:	  205	  – Round3:	  96	  – Round4:	  55	  • 20	  papers	  accepted	  without	  discussion	  • 76	  papers	  discussed	  and	  35	  papers	  were	  accepted	  • 採択率	  =	  55/411=13.4%	  • Round3	  に残った率	  =	  96/411	  =	  23.4%	  • ざっくりとは	  (1/2)3	  =12.5%なので、(1/2)2=25%のレベ
ルの会議に通る論文のさらに上位半分	

表彰された論文	
• DisQnguished	  PracQcal	  Paper	  Award	  – Security	  Analysis	  of	  Emerging	  Smart	  Home	  ApplicaQons	  (IoT)	  • DisQnguished	  Student	  Paper	  Award	  	  – Veriﬁable	  ASICs	  (hardware)	  – pASSWORD	  tYPOS	  &	  How	  to	  Correct	  Them	  Securely	  (usable	  security)	  • DisQnguished	  Paper	  Award	  – A2:	  Analog	  Malicious	  Hardware	  	  (hardware)	

今日ざっと紹介する論文	
1. pASSWORD	  tYPOS	  and	  How	  to	  Correct	  Them	  Securely	  2. SoK:	  (State	  of)	  The	  Art	  of	  War:	  Oﬀensive	  Techniques	  in	  Binary	  Analysis	  	  3. Users	  Really	  Do	  Plug	  in	  USB	  Drives	  They	  Find	  4. Sending	  out	  an	  SMS:	  Characterizing	  the	  Security	  of	  the	  SMS	  Ecosystem	  with	  Public	  Gateways	  	  ※詳細は論文をご参照ください	紹介しないが面白かった論文	
••
•
•
•
•
•
•
•
••

A2:	  Analog	  Malicious	  Hardware	  Helping	  Johnny	  to	  Analyze	  Malware:	  A	  Usability-­‐OpQmized	  Decompiler	  and	  Malware	  Analysis	  User	  Study	  You	  Get	  Where	  You're	  Looking	  For:	  The	  Impact	  Of	  InformaQon	  Sources	  On	  Code	  Security	  Following	  Devil's	  Footprints:	  Cross-­‐Pladorm	  Analysis	  of	  PotenQally	  Harmful	  Libraries	  on	  Android	  and	  iOS	  Inferring	  User	  Routes	  and	  LocaQons	  using	  Zero-­‐Permission	  Mobile	  Sensors	  No	  Pardon	  for	  the	  InterrupQon:	  New	  Inference	  ABacks	  on	  Android	  Through	  Interrupt	  Timing	  Analysis	  SoK:	  Lessons	  Learned	  From	  Android	  Security	  Research	  For	  Appiﬁed	  Sohware	  Pladorms	  Algorithmic	  Transparency	  via	  QuanQtaQve	  Input	  Inﬂuence:	  Theory	  and	  Experiments	  with	  Learning	  Systems	  Domain-­‐Z:	  28	  RegistraQons	  Later	  Seeking	  Nonsense,	  Looking	  for	  Trouble:	  Eﬃcient	  PromoQonal-­‐InfecQon	  DetecQon	  through	  SemanQc	  Inconsistency	  Search	  Cloak	  of	  Visibility:	  DetecQng	  When	  Machines	  Browse	  a	  Diﬀerent	  Web	  pASSWORD	  tYPOS	  and	  How	  to	  Correct	  Them	  Securely	  	• Typo	  を許容するパスワードの提案	  • User	  study	  により、typo	  のパターンを調査した	  – Caps	  lock	  が多い。その他。	  

• Dropbox	  の実サービスで全ユーザを対象にタイポのパターンを調査した	  – パスワードではなく、ミスのパターンだけ記録した	  – 実際に	  typo	  correcQon	  をしたわけではない	  – Typo	  の	  Top-­‐3	  が全認証ミスの3%を占めた⇒これらを救うことが出来る	  • Top-­‐3	  を許容したときに、どの程度セキュリティ強度が変わるか⇒	  leaked	  password	  sets	  を使ってシミュレーション	  – セキュリティ強度はまったく変わらない、あるいはほとんど変わらない	  – すべてのパスワードを	  correcQon	  しないという	  heurisQcs	  はあり	SoK:	  (State	  of)	  The	  Art	  of	  War:	  Oﬀensive	  Techniques	  in	  Binary	  Analysis	  	  	• おなじみ	  UCSB	  一派によるバイナリ解析のSoK	  論文	  • 背景:	  DARPA	  cyber	  grand	  challenge	  (CGC)	  – hBps://cgc.darpa.mil/	  	  • 過去に発表されたバイナリ解析技術を	  “systemize”	  することが目的	  – 静的解析、動的シンボリック実行解析	  (concolic)	  – すべての解析技術を実装しなおし、統一的なツールとして使えるようにした	  	  – ユーザビリティも考慮	  (Python	  から使える)	  – 各解析を自由に組み合わせ出来るところが良い	  • CGC	  のデータを利用して評価	  • hBp://angr.io	Users	  Really	  Do	  Plug	  in	  USB	  Drives	  They	  Find	  	出典：hBp://www.theregister.co.uk/2016/04/11/half_plug_in_found_drives/	この論文でやったこと	
• 297個のUSBドライブを1日2回、30箇所で落とした（キャンパス内）	  • 落としたUSBドライブに実際にアクセスされたかを調査 	  – Bad	  USB	  だった場合、ドライブアクセス＝マルウェア感染等のリスクあり	  • 結果：290個は拾われた。少なくとも135個はファイルを開かれた（偽装ファイルでのビーコン）	  落としたUSBドライブの種類	

出典：SoK:	  (State	  of)	  The	  Art	  of	  War:	  Oﬀensive	  Techniques	  in	  Binary	  Analysis	  Y	  Shoshitaishvili,	  R	  Wang,	  C	  Salls,	  N	  Stephens,	  M	  Polino,	  A	  Dutcher,	  J	  Grosen,	  S	  Feng,	  C	  Hauser,	  C	  Kruegel,	  G	  Vigna	  IEEE	  symposium	  on	  Security	  and	  Privacy	  (SSP)	  2016.	

ドライブの中身	

いずれもHTMLファイル	  Javascript	  等のコードは一切入っていない	
出典：SoK:	  (State	  of)	  The	  Art	  of	  War:	  Oﬀensive	  Techniques	  in	  Binary	  Analysis	  Y	  Shoshitaishvili,	  R	  Wang,	  C	  Salls,	  N	  Stephens,	  M	  Polino,	  A	  Dutcher,	  J	  Grosen,	  S	  Feng,	  C	  Hauser,	  C	  Kruegel,	  G	  Vigna	  IEEE	  symposium	  on	  Security	  and	  Privacy	  (SSP)	  2016.	

調査方法	• ファイルを開いた時点で種明かし。インターネット調査による協力を依頼（10ドルの謝礼付き）	  出典：SoK:	  (State	  of)	  The	  Art	  of	  War:	  Oﬀensive	  Techniques	  in	  Binary	  Analysis	  Y	  Shoshitaishvili,	  R	  Wang,	  C	  Salls,	  N	  Stephens,	  M	  Polino,	  A	  Dutcher,	  J	  Grosen,	  S	  Feng,	  C	  Hauser,	  C	  Kruegel,	  G	  Vigna	  IEEE	  symposium	  on	  Security	  and	  Privacy	  (SSP)	  2016.	

攻撃成功要因	

Return	  label	  がつくと成功率が低くなる他はあまり成功率を変えない	
出典：SoK:	  (State	  of)	  The	  Art	  of	  War:	  Oﬀensive	  Techniques	  in	  Binary	  Analysis	  Y	  Shoshitaishvili,	  R	  Wang,	  C	  Salls,	  N	  Stephens,	  M	  Polino,	  A	  Dutcher,	  J	  Grosen,	  S	  Feng,	  C	  Hauser,	  C	  Kruegel,	  G	  Vigna	  IEEE	  symposium	  on	  Security	  and	  Privacy	  (SSP)	  2016.	

その他調査項目	
• どのファイルを開いたか	  • OS/ブラウザ	  • ユーザの用心・動機・リスク管理・デモグラフィ、知識について	（意外な）ユーザの用心方法	

「大学のパソコンを生贄にした」	

議論	
• Q:	  なぜ倫理委員会(IRB)が許したのか?	  
• A:	  campus	  police	  等、ステークホルダーとの調整を念入りに進めた。リスクが無いように細心の注意を払った。	  
• Q:	  大学（イリノイ大学）ではセキュリティ教育はあるのか？	  
• A:	  標準的なものは恐らくやっている	Sending	  out	  an	  SMS:	  Characterizing	  the	  Security	  of	  the	  SMS	  Ecosystem	  with	  Public	  Gateways	  	  • SMS	  の	  public	  gateway	  サ	ービスをクロールし、SMS	  データを収集	  – 14ヶ月で400,000メッセージ	  – 400個の電話番号、28カ国	  • サービス毎の	  OTP	  やveriﬁcaQon	  code	  のパターンを分析è	  ランダムではないことがわかった	  • 平文でセンシティブなデータが流れているケースが多い	  • SMSのアカウント生成に使われていると考えられる	  – 2要素認証	  • スパムやフィッシングもある	
出典:	  B.	  Reaves,	  N.	  Scaife,	  D.	  Tian,	  L.	  Blue,	  P.	  Traynor	  and	  K.	  Butler,	  Sending	  out	  an	  SMS:	  Characterizing	  the	  Security	  of	  the	  SMS	  Ecosystem	  with	  Public	  Gateways,	  Proceedings	  of	  the	  IEEE	  Symposium	  on	  Security	  and	  Privacy	  (S&P),	  2016.	  	SMS	  ecosystem	

ESME	  =	  External	  Short	  Message	  EnQQes	

出典:	  B.	  Reaves,	  N.	  Scaife,	  D.	  Tian,	  L.	  Blue,	  P.	  Traynor	  and	  K.	  Butler,	  Sending	  out	  an	  SMS:	  Characterizing	  the	  Security	  of	  the	  SMS	  Ecosystem	  with	  Public	  Gateways,	  Proceedings	  of	  the	  IEEE	  Symposium	  on	  Security	  and	  Privacy	  (S&P),	  2016.	  	Public	  SMS	  gateway	  の例	

論文中に示されているURLを参照	

各サービスのコードの分析例	

出典:	  B.	  Reaves,	  N.	  Scaife,	  D.	  Tian,	  L.	  Blue,	  P.	  Traynor	  and	  K.	  Butler,	  Sending	  out	  an	  SMS:	  Characterizing	  the	  Security	  of	  the	  SMS	  Ecosystem	  with	  Public	  Gateways,	  Proceedings	  of	  the	  IEEE	  Symposium	  on	  Security	  and	  Privacy	  (S&P),	  2016.	  	倫理に関する議論	
• IRBが承認（と、確か口頭発表では述べていたと思うが、論文には書いていない。Ethical	  consideraQon	  の記載はあり）	  • 単純には	  Public	  なデータであり、かつ	  opt-­‐in	  であるので、問題は無いと考えられる	  • ただし業者等は	  public	  になっていることを知らずにユーザに情報を送っている	  – バルクに送信しているデータであれば、損失になる情報では無いとも考えられる	  • データから得られたパスワード等のデータを他人に渡してはいない	  • この論文をきっかけに議論が促進されることを期待・・・というあたりで査読者に許してもらった	  倫理の議論の続きは秋山さんのLTにて