10月16日(月)のつぶやき

Pokémon GO のバージョン0.79.3 (Android / iOS) へのアップデートを開始しました。※iOSは App Store上では1.49.3 と表示されます。 すべての方へ行き渡るにはお時間がかかりますことをご了承ください。

— Pokémon GO Japan (@PokemonGOAppJP) 2017年10月16日 - 07:48

度々すみません．トラ技11月号付録基板について補足致します．
・付録基板関連の記事はp.101以降の「特設記事 付録基板ではじめてのIoTづくり！IoT Express」に載っています．
・プログラムの書き込み方法はp.109で紹… twitter.com/i/web/status/9…

— トランジスタ技術 (@toragiCQ) 2017年10月15日 - 12:28

WPA2の脆弱性の件。
blackhatのは12月にロンドンで発表される予定。実装ではなくプロトコルの脆弱性なので特定のメーカーとかという話ではないみたい。タイトルには鍵再インストール攻撃とある。
blackhat.com/eu-17/briefing…

— Sim (@Sim0000) 2017年10月16日 - 13:02

Sim0000は『4、4、4、0』をつかって10にしてください。
shindanmaker.com/217387
4! / 4 + 4 + 0

— Sim (@Sim0000) 2017年10月16日 - 13:16

なんていうのかなあ。最近のスマホ時代に教育が追いついてない感じ。

— Sim (@Sim0000) 2017年10月16日 - 14:04

Wi-Fiを暗号化するWPA2に脆弱性発見～対応のあらゆる機器が影響 pc.watch.impress.co.jp/docs/news/1086… pic.twitter.com/wXPSzIsfGr

— PC Watch (@pc_watch) 2017年10月16日 - 13:50

何の事かと思ったら、無線LANのアンテナだったｗｗｗ twitter.com/yu_tkb/status/…

— Sim (@Sim0000) 2017年10月16日 - 14:05

優秀な社員は退職するとき「素晴らしい仕事のオファーが思いがけず舞い込んできた」と言い訳するが、これを信じる人は、とんでもないお人よしだ。 優秀な社員が辞めてしまう本当の理由（Forbes JAPAN） headlines.yahoo.co.jp/article?a=2017…

— ゆな でぃじっく (@yuna_digick) 2017年10月15日 - 21:03

Take your #FPGA development to the next level with the Intel HLS Compiler — shipping November 6.… twitter.com/i/web/status/9…

— Intel FPGA (@IntelFPGA) 2017年10月6日 - 06:31

Intelの高位合成ツールはなぜARMのコードを吐かないのか?!

— Sim (@Sim0000) 2017年10月16日 - 14:11

プロトコルのformal verificationという分野の研究があるけど、実際には応用されてないということなのかな。標準化されたプロトコルは検証できるような形式記述も同時に公表すべきだと思う。

— Sim (@Sim0000) 2017年10月16日 - 14:20

メモ。プログラミング Coq
iij-ii.co.jp/lab/techdoc/co…

— Sim (@Sim0000) 2017年10月16日 - 14:29

formal verificationというと、フランスのINRIA。

— Sim (@Sim0000) 2017年10月16日 - 14:32

INRIAはmiTLSなんかにも関わっている。
miTLS: A Verified Reference Implementation of TLS
mitls.org

— Sim (@Sim0000) 2017年10月16日 - 14:33

日本だとNICTってことになるのかな。
Cryptographic Protocol Verification Portal (CPVP)
crypto-protocol.nict.go.jp

— Sim (@Sim0000) 2017年10月16日 - 14:35