— Shinagawa Laboratory東京大学 品川研究室 —

Shinagawa Laboratory has moved to the Department of Computer Science. 品川研究室は東京大学コンピュータ科学専攻に移動しました。

品川研究室では2024年度のRAを公募しています。詳細は公募ページをご確認ください。

Momoko Shiraishi (D2) from Shinagawa Lab presented a poster at the 39th Annual Computer Security Applications Conference (ACSAC 2023). This study proposes a FIDO authentication scheme that facilitates recovery from the loss of authentication devices by automating new registration and revocation of authentication devices using the certifying key maintained in the cloud TEE. 品川研究室の白石桃子さん（D2）が国際会議 39th Annual Computer Security Applications Conference (ACSAC 2023) でポスター発表しました 本研究では、クラウドTEEに保持された認証鍵を用いて認証デバイスの新規登録と失効を自動化することで、認証デバイス紛失からの復旧を容易にするFIDO認証方式を提案しています。

Toward Cloud-based FIDO Authentication with Secure Credentials Recovery.
Momoko Shiraishi, Takahiro Shinagawa.
39th Annual Computer Security Applications Conference (ACSAC 2023), Dec 2023. (poster)
[PDF][Poster]

品川研究室の寳代晋太郎君（M1）が第35回コンピュータシステム・シンポジウム（ComSys2023）でポスター発表して、最優秀ポスター賞を受賞しました。

TEE を用いた安全かつ可用性の高い クレジットカード決済スキームの提案．
寳代 晋太郎, 品川 高廣．
第35回コンピュータシステム・シンポジウム (ComSys2023), オンライン, 2023年12月.
最優秀ポスター賞 🎖️.

Associate Professor Shinagawa presented a paper presented at OSDI 2023 in the Top Conference Session (Software) of the 22nd Forum on Information Science and Technology (FIT2023) organized by the Institute of Electronics, Information and Communication Engineers and the Information Processing Society of Japan. 品川准教授が電子情報通信学会及び情報処理学会が主催する第22回情報科学技術フォーラム（FIT2023）のトップコンファレンスセッション（ソフトウェア）で、OSDI 2023 で発表した論文の内容を紹介しました。

ケーパビリティを用いたオブジェクト再利用によるクラウドのメモリ密度向上
品川 高廣.
第22回情報科学技術フォーラム（FIT2023）, 大阪, 2023年9月．
https://onsite.gakkai-web.net/fit2023/abstract/data/html/event/event_TCS3-2.html

Mr. Wataru Hashimoto (M2) of Shinagawa Laboratory received the Best Presentation Award for Young Scientists for his presentation at the 160th Annual Conference on System Software and Operating Systems. 品川研究室の橋本航君（M2）が第160回システムソフトウェアとオペレーティング・システム研究発表会（SWoPP 2023内）でおこなった発表が優秀若手発表賞を受賞しました。

Leasing of Heap Pointers to Prevent Use-After-Free
Wataru Hashimoto and Takahiro Shinagawa.
第160回システムソフトウェアとオペレーティング・システム研究会, 函館, 2023年8月．
http://id.nii.ac.jp/1001/00227042/

Mr. Katsunori Aoki (D3) of Shinagawa Lab presented a poster at the 32nd USENIX Security Symposium. To assist root cause analysis of vulnerabilities discovered by fuzzing, this study localizes the data flows that lead to vulnerabilities by differencing data flows from a large number of crash inputs, and also lexicalizing them using source code information to make them easier for humans to understand. 品川研究室の青木克憲さん（D3）が国際会議 32nd USENIX Security Symposium でポスター発表しました。本研究では、ファジングで発見した脆弱性の根本原因解析を補助するために、多数のクラッシュ入力からデータフローの差分をとることで脆弱性につながるフローを局所化するとともに、ソースコードの情報を用いて字句化することで人間が脆弱性を理解しやすいようにする研究です。

Toward Facilitating Root Cause Localization in Fuzzing.
Katsunori Aoki, Takahiro Shinagawa.
32nd USENIX Security Symposium, Anaheim, CA, USA, Aug 2023. (poster)
[PDF][Poster]

We presented several research results at OSDI 2023 and USENIX ATC 2023. The first talk, presented at OSDI 2023, was about "ORC", which enables object sharing among CapVMs, lightweight VMs that leverage CHERI capability (hardware-protected pointers), to improve memory efficiency in the cloud. The second talk, presented at USENIX ATC 2023, was about “TPT”, which reduces the overhead of nested paging in virtualized environments by allowing pass-through of host paging while maintaining memory protection between VMs by leverating hardware physical page tagging. The third talk, presented in the poster session at OSDI 2023, discussed a fuzzing technique for efficiently finding vulnerabilities in nested virtualization that are difficult to find using traditional techniques.複数の研究成果を国際会議 OSDI 2023 及び USENIX ATC 2023 で発表しました。一つ目は OSDI 2023 で発表したもので、クラウドにおけるメモリ効率を向上させるために、CHERIを活用した軽量VMであるCapVM間においてオブジェクト共有を実現する ”ORC” の話です。二つ目は USENIX ATC 2023 で発表したもので、仮想化環境におけるネステッドページングのオーバーヘッドを削減するために、ホストのページングをパススルーしつつも、ハードウェアによる物理ページのタグ付け機構を活用してVM間のメモリ保護を実現する ”TPT” の話です。三つ目は OSDI 2023 のポスターセッションで発表したもので、従来の手法では発見することが難しいネステッド仮想化の脆弱性を効率よく発見するためのファジング手法の話です。

ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities.
Vasily A. Sartakov, Lluís Vilanova, Munir Geden (Imperial College London), David Eyers (University of Otago), Takahiro Shinagawa (The University of Tokyo), Peter Pietzuch (Imperial College London).
In Proceedings of 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2023), Jul 2023.
https://www.usenix.org/conference/osdi23/presentation/sartakov

Translation Pass-Through for Near-Native Paging Performance in VMs.
Shai Bergman, Mark Silberstein (Technion), Takahiro Shinagawa (The University of Tokyo), Peter Pietzuch, Lluís Vilanova (Imperial College London).
In Proceedings of 2023 USENIX Annual Technical Conference (USENIX ATC 2023), Jul 2023.
https://www.usenix.org/conference/atc23/presentation/bergman

Toward Efficient Fuzzing of Nested Virtualization.
Reima Ishii (The University of Tokyo), Takaaki Fukai (National Institute of Advanced Industrial Science and Technology), Takahiro Shinagawa (The University of Tokyo).
17th USENIX Symposium on Operating Systems Design and Implementation, Boston, USA, Jul 2023.

Associate Professor Shinagawa gave a lecture on system software at the Department of ComputerScience, Graduate School of Information Science and Technology, The University of Tokyo. 品川准教授が東京大学大学院情報理工学系研究科コンピュータ科学専攻の専攻講演会でシステムソフトウェアに関する講演を行いました。

クラウドコンピューティングを進化させる基盤システムソフトウェア
品川 高廣.
コンピュータ科学専攻講演会, 2023年6月．
https://www.is.s.u-tokyo.ac.jp/lecture/detail/2023-06-28-shinagawa.html

Mr. Reima Ishii (M2) of Shinagawa Laboratory received the Best Presentation Award for Young Scientists for his presentation at the 159th Annual Conference on System Software and Operating Systems. 品川研究室の石井玲真君（M2）が第159回システムソフトウェアとオペレーティング・システム研究発表会でおこなった発表が優秀若手発表賞を受賞しました。

ネステッド仮想化のファジングにおけるカバレッジ向上に向けて
石井 玲真, 深井 貴明, 品川 高廣.
第159回システムソフトウェアとオペレーティング・システム研究会, 沖縄, 2023年5月．
http://id.nii.ac.jp/1001/00225643/

We are seeking master's and Ph.D. students at the University of Tokyo in the field of system software. Especially, students who are interested in low-layer systems such as operating systems (OS) and virtualization technologies, as well as system software in general such as secure computing, are welcomed. Ph.D. students will be hired as RAs for 3 years (maximum 200,000 yen/month). Students from other faculties, universities, and countries are also welcome. Please refer to the "Recruitment" tab for details. There will also be the entrance examination briefing on Saturday, May 20, so please register and attend it. 東京大学品川研究室では今年も修士・博士（社会人含む）の学生を募集しています。オペレーティングシステム（OS）や仮想化技術など低レイヤのシステムのほかセキュアコンピューティングなどシステムソフトウェア全般に興味がある学生さんはぜひ受験をご検討下さい。博士課程の学生はRAとして雇用します（最大20万/月）。他学部・他大学の学生さんも大歓迎です。詳細は「募集」のタブをご参照ください。また、5月20日（土）に入試説明会がありますので、登録の上ご参加ください。
https://www.i.u-tokyo.ac.jp/edu/entra/index.shtml
https://system.c.u-tokyo.ac.jp/p-graduate/guide.html

Mr. Reima Ishii (M2) of Shinagawa Laboratory presented his research result at the 159th Workshop on System Software and Operating Systems. We have improved coverage when applying fuzzing to nested virtualization by introducing a special harness, a state validator, and mutation of hypervisor startup parameters. By using the proposed method, we discovered a previously unknown vulnerability (CVE-2023-30456) in the KVM nested virtualization ipmlementation. 品川研究室の石井玲真君（M2）が第159回システムソフトウェアとオペレーティング・システム研究会で研究成果を発表しました。本研究では、ネステッド仮想化にファジングを適用する際のカバレッジ向上に向けて、専用特殊ハーネス、有効状態判定器、ハイパーバイザ起動時パラメータ変異などの手法を導入することを提案しました。また、提案手法を適用することによって、KVMのネステッド仮想化実装に未知の脆弱性（CVE-2023-30456）を発見しました。

ネステッド仮想化のファジングにおけるカバレッジ向上に向けて
石井 玲真, 深井 貴明, 品川 高廣.
第159回システムソフトウェアとオペレーティング・システム研究会, 沖縄, 2023年5月．
http://id.nii.ac.jp/1001/00225643/

Mr. Wataru Hashimoto (M2) in Shinagawa Laboratory made a poster presentation at the European Conference on Computer Systems 2023 (EuroSys 2023). This study attempts to prevent use-after-free attacks by leasing pointers with expiration times so that pointers to freed objects expire before the objects are re-allocated. 品川研究室の橋本航君（M2）が国際会議 European Conference on Computer Systems 2023 (EuroSys 2023) でポスター発表しました。 本研究では、ポインタを有効期限付きのリースとし、解放されたオブジェクトへのポインタがオブジェクトの再割り当て前に失効するようにすることで、use-after-free攻撃の防止を試みます。

Toward Pointer Leasing for Use-After-Free Prevention
Wataru Hashimoto and Takahiro Shinagawa.
The European Conference on Computer Systems 2023 (EuroSys 2023), Rome, May 2023. (poster)
[PDF][Slide]

A joint research paper with Imperial College London (UK) and Technion (Israel) has been accepted for publication at the 2023 USENIX Annual Technical Conference. To avoid the overhead of 2-D page walk of nested paging in virtualized environments, we introduce a technique called "translation pass-through" that allows the guest OS to specify the host physical address directly in the page table while leveraging hardware tagging mechanisms, that is expected to become popular in the future, to provide physical memory protection. USENIX ATC is the world's fourth top conference in the field of system software, with an acceptance rate of 18.4% (65/353) in 2023. Imperial College London（英国）及び Technion（イスラエル）との国際共同研究の成果の論文が国際会議 2023 USENIX Annual Technical Conference に採択されました。仮想化環境においてネステッドページングによる２次元ページウォークのオーバーヘッドを避けるために、「変換パススルー」という技術によりゲストOSがページテーブルでホスト物理アドレスを直接指定できるようにしつつ、近い将来に普及が見込まれるハードウェアによるタグ付け機構を活用して物理メモリの保護を実現させる話です。USENIX ATC はシステムソフトウェアの分野で世界第4位のトップカンファレンスであり、2023年の採択率は18.4% (65/353) でした。

Translation Pass-Through for Near-Native Paging Performance in VMs.
Shai Bergman, Mark Silberstein (Technion), Takahiro Shinagawa (The University of Tokyo), Peter Pietzuch, Lluís Vilanova (Imperial College London).
In Proceedings of 2023 USENIX Annual Technical Conference (USENIX ATC 2023).
Accepted for publication.

Mr. Clément Charrier, a first-year master's student at the National Graduate School of Engineering & Research Center (ENSICAEN) in France, has joined the Shinagawa Laboratory as an intern for 16 weeks. フランス国立国立工学研究センター（ENSICAEN）修士課程1年のClément Charrierさんが、16週間のインターンとして品川研究室に参加しました。

Mr. Sungying Chiang, Ryo Nakashima, Seiga Ueno, and Shintaro Hodai (M1) have joined our laboratory. 品川研究室に新しく江 松穎さん、中島 諒（システム情報学専攻修士課程）、上野 清雅さん、寳代 晋太郎さん（広域科学専攻修士課程）が参加しました。

A joint research paper with Imperial College London has been accepted to the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2023). This study leverages CHERI's memory capability to share memory at object granularity, enabling both VM-like protection and OS-like memory efficiency. OSDI is the world's second top conference in the field of system software, and this is the second time that a collaboration with Imperial College London has been accepted by OSDI, following last year's OSDI 2022. The acceptance rate of OSDI 2023 is 19.6%Imperial College London との共同研究の成果の論文が国際会議 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2023) に採択されました。CHERIというケーパビリティをサポートするハードウェアを用いて、クラウド環境において既存システムと互換性を保ちつつ、強力な隔離と効率の良い通信を両立させる保護機構の研究です。OSDI はシステムソフトウェアの分野で世界第2位のトップカンファレンスであり、Imperial College London との共同研究がOSDIに採択されるのは昨年度の OSDI 2022 に続いて2件目です。2023年の採択率は19.6% (50/255) でした。

ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities.
Vasily A. Sartakov, Lluís Vilanova, Munir Geden (Imperial College London), David Eyers (University of Otago), Takahiro Shinagawa (The University of Tokyo), Peter Pietzuch (Imperial College London).
In Proceedings of 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2023).
Accepted for publication.

A poster presentation by Mr. Wataru Hashimoto (M2) in Shinagawa Laboratory has been accepted to the European Conference on Computer Systems 2023 (EuroSys 2023). This study attempts to prevent use-after-free attacks by leasing pointers with a time limit and requiring periodic lease updates, thereby detecting pointers to freed regions. 品川研究室の橋本航さん（M2）のポスター発表が、国際会議 EuroSys 2023（European Conference on Computer Systems 2023）に採択されました。 本研究は、use-after-free攻撃を防止するために、ポインタを期限付きでリースし、定期的なリース更新を義務付けることで、解放領域へのポインタを検出する試みです。

Toward Pointer Leasing for Use-After-Free Prevention
Wataru Hashimoto and Takahiro Shinagawa.
The European Conference on Computer Systems 2023 (EuroSys 2023), Rome, May 2023. (poster)

品川研究室では2023年度のRAを公募しています。詳細は公募ページをご確認ください。

Shinagawa Laboratory is seekinig an Assistant Professor and Postdoc in operating systems. Please refer to the recruit page for details.品川研究室では特任助教と特任研究員（ポスドク）を公募しています。詳細は募集のページをご参照ください。

・OS分野の特任助教・特任研究員の公募

- Assistant Professor and Postdoc in Operating Systems

品川研究室では1月25日までRAを1名公募しています。詳細は公募ページをご確認ください。

Shinagawa Laboratory is seekinig an Assistant Professor and Postdocs in operating systems until December 31. Please refer to the recruit page for details.品川研究室では12月31日まで特任助教と特任研究員（ポスドク）を公募しています。詳細は募集のページをご参照ください。

・OS分野の特任助教の公募
・OS分野の特任研究員の公募

・Assistant Professor in Operating Systems
・Postdocs in Operating Systems

Mr. Aoki (D2) from Shinagawa Laboratory presented his research at Computer Security Symposium 2022 and received the Student Paper Award. In this research, to facilitate root cause analysis of bugs found by fuzzing, we first record data flows with lexical information such as variable names and type names using source code instrumentation, and then generate a data flow graph localized to the part related to the root cause by differencing the data flows before and after a crash. 品川研究室の青木君（博士課程2年）がコンピュータセキュリティシンポジウム2022（CSS2022）で研究発表を行い、学生論文賞を受賞しました。本研究は、ファジングで発見したバグの根本原因解析を容易にするため、まずソースコード計装（Instrumentation）を用いて変数名や型名などの字句情報を持つデータフローを記録し、クラッシュ前後のデータフローを差分して根本原因に関連する部分に局在するデータフローグラフを生成する話です。

ファジングにおける根本原因解析のための字句化・局所化されたデータフローグラフの生成．
青木 克憲, 品川 高廣．
コンピュータセキュリティシンポジウム2022（CSS2022），熊本 / オンライン，2022年10月．
学生論文賞

Prof. Shinagawa was appointed as a member of the program committee for ACM/IFIP Middleware 2023. 品川准教授が ACM/IFIP Middleware 2023 のプログラム委員に就任しました。

A paper by Rikima Mitsuhashi in Shinagawa Lab has been accepted for publication in the IEEE Transactions on Network and Service Management. This study uses machine learning to detect malware that uses DNS tunneling tools to communicate over DNS over HTTPS (DoH).品川研究室の三橋力麻さんの論文が国際論文誌 IEEE Transactions on Network and Service Management に採択されました。DNS over HTTPS（DoH）上でDNSトンネルツールを用いて通信するマルウェアを機械学習で検出する研究です。

Malicious DNS Tunnel Tool Recognition using Persistent DoH Traffic Analysis.
Rikima Mitsuhashi, Yong Jin, Katsuyoshi Iida, Takahiro Shinagawa, Yoshiaki Takai.
IEEE Transactions on Network and Service Management. Accepted for publication.

A paper by Rikima Mitsuhashi in Shinagawa Lab has been accepted to the IEEE 20th Consumer Communications & Networking Conference (CCNC 2023). This study uses machine learning to detect malware that communicates with C&C servers using a domain generation algorithm (DGA) over DNS over HTTPS (DoH).品川研究室の三橋力麻さんの論文が国際会議 IEEE 20th Consumer Communications & Networking Conference (CCNC 2023) に採択されました。DNS over HTTPS（DoH）上でドメイン生成アルゴリズム（DGA）によりC&Cサーバと通信するマルウェアを機械学習で検出する研究です。

Detection of DGA-based Malware Communications from DoH Traffic Using Machine Learning Analysis.
Rikima Mitsuhashi, Yong Jin, Katsuyoshi Iida, Takahiro Shinagawa, Yoshiaki Takai.
In Proceedings of the IEEE 20th Consumer Communications & Networking Conference (CCNC 2023), Jan 2023. Accepted for publication.

品川研究室では10月14日までRAを若干名公募しています。詳細は公募ページをご確認ください。

Mr. Rikima Mitsuhashi of Shinagawa Laboratory received his degree of Doctor of Information Science and Technology from Graduate School of Information Science and Technology, The University of Tokyo. Dr. Mitsuhashi is the third person to receive a PhD degree from Shinagawa Lab. Dr. Misono presented several papers on malware detection using machine learning.品川研究室の三橋力麻さんが、東京大学から博士（情報理工学）の学位を授与されました。品川研究室で博士号を取得したのは3人目です。三橋さんは機械学習を用いたマルウェア検知の分野で複数の論文を発表しました。

A Study on Automatic Classification of Concealed Malware using Machine Learning
Rikima Mitsuhashi.
The University of Tokyo, September 2022. Ph.D. Thesis.

A Study on Automatic Classification of Concealed Malware using Machine Learning
（機械学習による秘匿化されたマルウェアの自動分類に関する研究）
三橋力麻.
東京大学, 2022年9月, 博士論文.

A research proposal led by Associate Professor Shinagawa has been accepted by the Japan Science and Technology Agency (JST) for the Core Research for Evolutional Science and Technology (CREST), Strategic Basic Research Programs. The research area in which the proposal was accepted is "Creation of Fundamental Software for Society 5.0 by Integrating Fundamental Theory and Systems Infrastructure Technology," headed by Yasuo Okabe (Kyoto University).
We will conduct a 5.5-year research project entitled "A Comprehensive Security Infrastructure System by Isolated Execution and Formal Verification" from October 2022. 品川准教授が研究代表者を務める研究提案が、国立研究開発法人科学技術振興機構（JST）の戦略的創造研究推進事業（CREST）に採択されました。 採択された研究領域は、岡部寿男教授（京都大学）が総括を務める「基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出」です。 品川准教授らは「隔離実行と形式検証による総合的セキュリティ基盤システム」という研究題目で2022年10月から5年半の研究プロジェクトを実施します。

2022年度　戦略的創造研究推進事業（CREST）の新規研究課題及び評価者について

A paper by Shu Anzai (M2) in Shinagawa Lab has been accepted to the 13th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2022). This paper addresses vulnerabilities in the software and hardware that implement isolated execution environments by physically separating isolated execution environments from the host machine and exploiting FPGA-based RDMA to communicate at the system call interface between the machines.品川研究室の安齊周君(M2)の論文が国際会議 The 13th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2022) に採択されました。隔離実行環境を実現するソフトウェア及びハードウェア自体の脆弱性に対処するために、隔離実行環境をマシンレベルで物理的に分離して、FPGAベースのRDMAによるシステムコールレベルの通信をおこなう研究です。

Towards Isolated Execution at the Machine Level.
Shu Anzai, Masanori Misono, Ryo Nakamura, Yohei Kuga, Takahiro Shinagawa.
In Proceedings of the 13th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2022), Aug 2022.
Accepted for publication.

A poster paper by Rikima Mitsuhashi (D5) of Shinagawa Laboratory won Best Paper Awards Runnders-ups at the 37th ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2022). This study derives the optimal models and fine-tuning parameters for the image-based classification of malware variants using CNNs.品川研究室の三橋力麻さん（D5）のポスター論文が国際会議37th ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2022) で Best Poster Awards Runner-ups を受賞しました。マルウェア亜種を画像化してCNNで分類する際に、最適なモデルやファインチューニングのパラメータを探る研究です。

Deriving Optimal Deep Learning Models for Image-based Malware Classification.
Rikima Mitsuhashi, Takahiro Shinagawa.
37th ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2022), Online, Apr 2022. (poster)
Best Poster Awards Runner-ups

A paper by Rikima Mitsuhashi (D5) of Shinagawa Laboratory has been accepted for the IEEE Computers, Software, and Applications Conference (COMPSAC 2022). This study explores the optimal models and fine-tuning parameters for the image-based classification of malware variants using CNNs.品川研究室の三橋力麻さん（D5）の論文が国際会議 IEEE Computers, Software, and Applications Conference (COMPSAC 2022) に採択されました。マルウェア亜種を画像化してCNNで分類する際に、最適なモデルやファインチューニングのパラメータを探る研究です。

Exploring Optimal Deep Learning Models for Image-based Malware Variant Classification.
Rikima Mitsuhashi, Takahiro Shinagawa.
In Proceedings of the IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC 2022), Online, June-July 2022.

Mr. Reima Ishii (M1), Wataru Hashimoto (M1), and Takumi Saika (M1) joined our laboratory. 品川研究室に新しく石井玲真さん（システム情報学専攻修士課程）、橋本航さん（システム情報学専攻修士課程）、齊加匠さん（広域科学専攻修士課程）が参加しました。

Dr. Masanori Misono of Shinagawa Laboratory received his degree of Doctor of Information Science and Technology from Graduate School of Information Science and Technology, The University of Tokyo. Dr. Misono is the second person to receive a PhD degree from Shinagawa Lab, following Dr. Matsuzawa in the previous year. Dr. Misono presented three first-authored papers at international conferences and co-authored many papers at conferences in Japan and abroad.品川研究室の味曽野雅史君が、東京大学から博士（情報理工学）の学位を授与されました。品川研究室で博士号を取得したのは、昨年度の松沢さんに続いて味曽野君が二人目です。味曽野君は、第一著者の国際会議論文を3本発表したほか、国内外における会議で共著論文を多数発表しました。

A Study on Operating System Virtualization Optimized for Functional Requirements.
Masanori Mitsuhashi.
The University of Tokyo, March 2022. Ph.D. Thesis.

A Study on Operating System Virtualization Optimized for Functional Requirements （機能要件に最適化されたオペレーティングシステムの仮想化に関する研究）
味曽野雅史.
東京大学, 2022年3月, 博士論文.

A paper in which Associate Professor Shinagawa was involved at Imperial College London has been accepted to the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2022). This study is on achieving both strong isolation and efficient communication in cloud environments while maintaining compatibility with existing systems by using a capability-supporting hardware called CHERI. OSDI is the world's second top conference in the field of systems software, and this is the first OSDI paper in which one of the authors' affiliations is a Japanese university since the first symposium was held 28 years ago.品川准教授がImperial College Londonで関わった論文が国際会議 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2022) に採択されました。CHERIというケーパビリティをサポートするハードウェアを用いて、クラウド環境において既存システムと互換性を保ちつつ、強力な隔離と効率の良い通信を両立させる保護機構の研究です。OSDIはシステムソフトウェアの分野で世界第２位のトップカンファレンスであり、著者の一人の所属が日本の大学であるOSDI論文は、28年前に第1回が開催されて以来これが初めてです。

CAP-VMs: Capability-Based Isolation and Sharing for Microservices.
Vasily A. Sartakov, Lluís Vilanova, David Eyers, Takahiro Shinagawa, Peter Pietzuch.
In Proceedings of 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2022).

A paper by Masanori Misono (D4) of Shinagawa Laboratory has been accepted to the 37th ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2022). His study is about fault injection from the hypervisor into DMA regions in an OS-transparent manner in order to find bugs in device drivers that do not handle DMA-written regions from faulty or malicious devices correctly.品川研究室の味曽野雅史君(D4)の論文が国際会議 37th ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2022) に採択されました。故障したデバイスや悪意のあるデバイスからDMAで書き込まれた領域を正しく処理しないデバイスドライバのバグを発見するために、ハイパーバイザからOS透過な形でDMA領域に対してフォルトインジェクションをおこなう研究です。

DMAFV: Testing Device Drivers against DMA Faults.
Masanori Misono, Toshiki Hatanaka, Takahiro Shinagawa.
In Proceedings of the 37th ACM Symposium On Applied Computing (ACM SAC 2022), Online, Apr 2022.

A poster paper by Rikima Mitsuhashi (D4) of Shinagawa Laboratory has been accepted for the 37th ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2022). This study explores the optimal models and fine-tuning parameters for the image-based classification of malware variants using CNNs.品川研究室の三橋力麻さん（D4）のポスター論文が国際会議37th ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2022) に採択されました。マルウェア亜種を画像化してCNNで分類する際に、最適なモデルやファインチューニングのパラメータを探る研究です。

Deriving Optimal Deep Learning Models for Image-based Malware Classification.
Rikima Mitsuhashi, Takahiro Shinagawa.
37th ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2022), Online, Apr 2022. (poster)

品川研究室の安齊周君（M1）が第33回コンピュータシステム・シンポジウム（ComSys2021）でポスター発表しました。

RDMAを用いたプロセスの物理隔離実行の提案
安斉周, 味曽野雅史, 中村遼, 空閑洋平, 品川高廣.
第33回コンピュータシステム・シンポジウム (ComSys2021)，オンライン，2021年12月．

Mr Masashi Misono (D4) of Shinagawa Laboratory presented a poster at the 2021 ACM SIGSAC Conference on Computer and Communications Security. This study aims to achieve OS transparency in finding device driver bugs through a combination of fault injection and fuzzing with a hypervisor by detecting DMA regions using IOMMU and obtaining coverage using a CPU tracing mechanism.品川研究室の味曽野雅史君(D4)が国際会議 2021 ACM SIGSAC Conference on Computer and Communications Security でポスター発表しました。様々なOSのデバイスドライバのバグを発見するために、ハイパーバイザによるフォルトインジェクションとファジングを組み合わせ、IOMMUを用いたDMA領域の検出やCPUのトレース機構を用いたカバレッジ取得でOS透過性を実現する手法に向けた研究です。

POSTER: OS Independent Fuzz Testing of I/O Boundary
Masanori Misono, Takahiro Shinagawa.
In Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security (ACM CCS 2021), Nov 2021. (poster)

Mr. Rikima Mitsuhashi (Working D4) from Shinagawa Laboratory presented a paper on the results of joint research with Hokkaido University at the 24th Information Security Conference (ISC 2021). This study uses machine learning to determine the types of tunneling tools to deal with malware that exploits the DNS over HTTPS (DoH )protocol to communicate with command and control (C&C) servers.品川研究室の三橋さん（社会人博士４年）が北海道大学との共同研究の成果の論文を国際会議 24th Information Security Conference (ISC 2021)で発表しました。DNS over HTTPS (DoH)プロトコルを悪用して司令制御（C&C）サーバと通信するマルウェアに対処するために、機械学習を用いてDoHトンネルツールの種類を判定する研究です。

Identifying Malicious DNS Tunnel Tools from DoH Traffic Using Hierarchical Machine Learning Classification.
Rikima Mitsuhashi, Akihiro Satoh, Yong Jin, Katsuyoshi Iida, Takahiro Shinagawa, Yoshiaki Takai.
In Proceedings of the 24th Information Security Conference (ISC 2021), Nov 2021.

Mr. Shotaro Gotanda, who graduated from Shinagawa Laboratory with a master's degree, presented his research at the 9th IEEE International Conference on Cloud Engineering (IC2E 2021). This paper is about speeding up container startup while maintaining high compatibility with existing ecosystems through lazy layer pulling.品川研究室を修士で卒業した五反田正太郎君が国際会議 The 9th IEEE International Conference on Cloud Engineering (IC2E 2021) で研究成果を発表しました。遅延レイヤプルにより既存のエコシステムと高い互換性を保ったままコンテナ起動を高速化する話です。

Highly Compatible Fast Container Startup with Lazy Layer Pull.
Shotaro Gotanda and Takahiro Shinagawa.
In Proceedings of the 9th IEEE International Conference on Cloud Engineering (IC2E 2021), October 4-8, 2021.

品川研究室では9月30日までRAを2名公募しています。詳細は公募ページをご確認ください。

Our paper was presented at the 2021 IEEE 14th International Conference on Cloud Computing (IEEE CLOUD 2021). This paper is about live migration using Intel SPP, which can provide write protection in units of 128-byte subpages.品川研究室を修士で卒業した小澤洋介君の研究を国際会議 2021 IEEE 14th International Conference on Cloud Computing (IEEE CLOUD 2021) で発表しました。128バイトのサブページ単位で書き込み保護を出来るIntel SPPを用いたライブマイグレーションの話です。

Exploiting Sub-page Write Protection for VM Live Migration.
Yosuke Ozawa and Takahiro Shinagawa.
In Proceedings of the 2021 IEEE 14th International Conference on Cloud Computing (CLOUD), September 5-10, 2021. Accepted for publication as a short paper.

Associate Professor Shinagawa is visiting the laboratory of Professor Peter Pietzuch at Imperial College London as a visiting researcher for about a year and a half.品川准教授は Imperial College London の Peter Pietzuch 教授の研究室（LSDSグループ）を Sponsored Researcher として約1年半の予定で訪問中です。

Mr. Yosuke Ozawa, who graduated from Shinagawa Laboratory with a master's degree, had his paper accepted for the 2021 IEEE 14th International Conference on Cloud Computing (IEEE CLOUD 2021) as a short paper. This paper is about live migration using Intel SPP, which can provide write protection in units of 128-byte subpages.品川研究室を修士で卒業した小澤洋介君の論文が国際会議 2021 IEEE 14th International Conference on Cloud Computing (IEEE CLOUD 2021) に short paper として採択されました。128バイトのサブページ単位で書き込み保護を出来るIntel SPPを用いたライブマイグレーションの話です。

Exploiting Sub-page Write Protection for VM Live Migration.
Yosuke Ozawa and Takahiro Shinagawa.
In Proceedings of the 2021 IEEE 14th International Conference on Cloud Computing (CLOUD), September 5-10, 2021. Accepted for publication as a short paper.

Mr. Shotaro Gotanda, who graduated from Shinagawa Laboratory with a master's degree, had his paper accepted for the 9th IEEE International Conference on Cloud Engineering (IC2E 2021) as a short paper. This paper is about speeding up container startup while maintaining high compatibility with existing ecosystems through lazy layer pulling.品川研究室を修士で卒業した五反田正太郎君の論文が国際会議 The 9th IEEE International Conference on Cloud Engineering (IC2E 2021) に short paper として採択されました。遅延レイヤプルにより既存のエコシステムと高い互換性を保ったままコンテナ起動を高速化する話です。

Highly Compatible Fast Container Startup with Lazy Layer Pull.
Shotaro Gotanda and Takahiro Shinagawa.
In Proceedings of the 9th IEEE International Conference on Cloud Engineering (IC2E 2021), October 4-8, 2021. Accepted for publication as a short paper.

Mr. Masashi Misono (D4) in Shinagawa Laboratory gave a presentation at the domestic system software and operating systems workshop. In order to get the best performance of NUMA in a virtualized environment, we analyzed the performance degradation of Linux when NUMA is reproduced on a virtual machine, and proposed an effective resource sharing method between multiple virtual machines where NUMA is visible. 品川研究室の味曽野雅史君（博士課程4年）が、第152回システムソフトウェアとオペレーティング・システム研究発表会における発表で最優秀若手発表賞を受賞しました。

仮想NUMAマシンの性能及び弾力性の向上．
味曽野 雅史, 林 遼, 品川 高廣．
第152回システムソフトウェアとオペレーティング・システム研究発表会，オンライン，2021年5月．
http://id.nii.ac.jp/1001/00211139/
最優秀若手発表賞

Mr. Masashi Misono (D4) in Shinagawa Laboratory gave a presentation at the domestic system software and operating systems workshop. In order to get the best performance of NUMA in a virtualized environment, we analyzed the performance degradation of Linux when NUMA is reproduced on a virtual machine, and proposed an effective resource sharing method between multiple virtual machines where NUMA is visible. 品川研究室の味曽野雅史君（博士課程4年）が、第152回システムソフトウェアとオペレーティング・システム研究発表会で発表をおこないました。仮想化環境でNUMAの性能を引き出すために、仮想マシン上でNUMAを再現した場合のLinuxの性能低下の分析と、NUMAが再現された仮想マシン間での効果的な資源共有手法に関する提案です。

仮想NUMAマシンの性能及び弾力性の向上．
味曽野 雅史, 林 遼, 品川 高廣．
第152回システムソフトウェアとオペレーティング・システム研究発表会，オンライン，2021年5月．
http://id.nii.ac.jp/1001/00211139/

Mr. Hidehito Yabuuchi (now PFN), who was in Shinagawa Lab, presented a paper as the first author at the 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2020), which was held in conjunction with CCGrid2021. This paper is about a cluster scheduler that can reduce the latency of short jobs with multi-resource requirements without execution time estimation.品川研究室にいた薮内秀仁君（現PFN）の論文が国際会議 The 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2020) （CCGrid 2021と併設）で発表されました。クラスタスケジューラにおいて、実行時間推定を必要とせずに、複数資源を要求するタスクのレイテンシを削減する話です。

Multi-resource Low-latency Cluster Scheduling without Execution Time Estimation.
Hidehito Yabuuchi and Takahiro Shinagawa.
In Proceedings of the 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2020).
doi:10.1109/CCGrid49817.2020.00-62
[Paper][Video]

Associate Professor Shinagawa has been appointed as a chair of the System Software and Operating Systems Research Group (SIGOS) of the Information Processing Society of Japan (IPSJ) from the fiscal year 2021. 品川准教授が2021年度から情報処理学会システムソフトウェアとオペレーティング・システム研究会（OS研究会）の主査に就任しました。

Mr. Katsunori Aoki (D1), Mr. Shu Anzai, and Shoi Takahashi (M1) joined our laboratory. 品川研究室に新しく青木克憲君（システム情報学専攻博士課程）、安齊周君、高橋 将生君（創造情報学専攻修士課程）が参加しました。

A paper by Takaaki Fukai (RIKEN), a visiting researcher in Shinagawa Laboratory, has been officially published in the IEEE Transactions on Cloud Computing in the January-March 2021 issue. It is about live migration of an OS running on a physical machine in bare-metal clouds.品川研究室の客員研究員である深井貴明氏（理研）の論文が国際論文誌 IEEE Transactions on Cloud Computing の2021年1～3月号に正式に掲載されました。ベアメタルクラウドにおいて、物理マシン上で動作するOSをライブマイグレーションする話です。

Live Migration in Bare-metal Clouds.
Takaaki Fukai, Takahiro Shinagawa, Kazuhiko Kato.
IEEE Transactions on Cloud Computing, Vol. 9, No. 1, pp. 226-239, Jan.-March 2021.
Published in July 2018 as Early Access.
doi:10.1109/TCC.2018.2848981

Mr. Yosuke Ozawa (2nd year master course student, Department of Creative Informatics) in Shinagawa Laboratory received Best Presentation Award for Young Scientist in the 151st Worksyop on System Software and Operating Systems. 品川研究室の小澤洋介君（創造情報学専攻修士2年）が、第151回 システムソフトウェアとオペレーティング・システム研究会における発表で、優秀若手発表賞を受賞しました。

ライブマイグレーションにおけるサブページ書き込み保護の評価．
小澤 洋介, 品川 高廣．
第151回システムソフトウェアとオペレーティング・システム研究会，オンライン，2021年3月．
http://id.nii.ac.jp/1001/00209631/
優秀若手発表賞（OS研究会）

Associate Professor Shinagawa received the 2020 Computer Science Area Achievement Award from Information Processing Society of Japan (IPSJ) and was honored at the 151st Annual Conference on System Software and Operating Systems Research Workshop. This award is presented to those who have made outstanding achievements in the field of CS research groups, such as contributions to excellent research and technology development, human resource development, and research group management. Prof. Shinagawa, together with Professor Kazuhiko Kato of the University of Tsukuba, received this award for their contributions to the "Secure VM Project" and BitVisor research and development, as recommended by the System Software and Operating Systems Research Group. 品川准教授が2020年10月8日に情報処理学会「2020年度コンピュータサイエンス領域功績賞」を受賞し、2021年3月1～2日に開催された第151回システムソフトウェアとオペレーティング・システム研究会において表彰されました。本表彰は、コンピュータサイエンス領域の研究会分野において，優秀な研究・技術開発，人材育成，および研究会・研究会運営に貢献したなど，顕著な功績のあったものに贈呈されます。今回、品川准教授は筑波大学の加藤和彦教授とともに、システムソフトウェアとオペレーティング・システム研究会の推薦により、「セキュアVMプロジェクト」や「BitVisor」の研究開発に関する貢献が評価されて受賞しました。

品川 高廣、加藤 和彦。
2020年度コンピュータサイエンス領域功績賞。
システムソフトウェアとオペレーティング・システム研究会、
情報処理学会、2020年10月。

Mr. Ozawa and Gotandai (M2) made a presentation at a domestic non-peer-reviewed workshop called the 151th System Software and Operating System Workshop held online. Their talks wre about the evaluation of live migration using Intel SPP, which can provide write protection in 128-byte sub-page units, and about accelerating the startup of containers while maintaining compatibility with existing systems. 品川研究室の小澤洋介君と五反田正太郎君（創造情報学専攻修士2年）が、オンラインで開催された第151回 システムソフトウェアとオペレーティング・システム研究会で発表をおこないました。128バイトのサブページ単位で書き込み保護を出来るIntel SPPを用いたライブマイグレーションの評価の話と、既存システムとの互換性を保ったコンテナの起動高速化に関する話です。

ライブマイグレーションにおけるサブページ書き込み保護の評価．
小澤 洋介, 品川 高廣．
第151回システムソフトウェアとオペレーティング・システム研究会，オンライン，2021年3月．
http://id.nii.ac.jp/1001/00209631/

遅延レイヤ取得による高互換コンテナ起動高速化手法．
五反田 正太郎, 品川 高廣．
第151回システムソフトウェアとオペレーティング・システム研究会，オンライン，2021年3月．
http://id.nii.ac.jp/1001/00209632/

Dr. Matsuzawa (Hitachi Co. Ltd.) gave a presentation at the Work-in-Progress Reports (WiPs) session of the 19th USENIX Conference on File and Storage Technologies (FAST '21). It is about building an application-local file system on non-volatile memory. 松沢敬一さん（日立）が、国際会議 19th USENIX Conference on File and Storage Technologies (FAST '21) の Work-in-Progress Reports (WiPs) セッションで発表しました。不揮発性メモリ上で、アプリケーション・ローカルなファイルシステムを構築する話です。

An Application-Local Library File System for Persistent Memory.
Keiichi Matsuzawa and Takahiro Shinagawa.
Work-in-Progress Reports (WiPs) of the 19th USENIX Conference on File and Storage Technologies (FAST '21) , online, Feb. 23-25, 2021.

品川研究室では3月3日までRAを2名公募しています。詳細は公募ページをご確認ください。

The proposal of Dr. Matsuzawa (Hitachi Co. Ltd.) has been accepted for the Work-in-Progress Reports (WiPs) session at the 19th USENIX Conference on File and Storage Technologies (FAST '21). It is about building an application-local file system on non-volatile memory. 松沢敬一さん（日立）の提案が、国際会議 19th USENIX Conference on File and Storage Technologies (FAST '21) の WWork-in-Progress Reports (WiPs) セッションに採択されました。不揮発性メモリ上で、アプリケーション・ローカルなファイルシステムを構築する話です。

An Application-Local Library File System for Persistent Memory.
Keiichi Matsuzawa and Takahiro Shinagawa.
ork-in-Progress Reports (WiPs) of the 19th USENIX Conference on File and Storage Technologies (FAST '21) , Feb. 23-25, 2021.

Mr. Shotaro Gotanda and Yosuke Ozawa (M2 in Dept. of Creative Informatics) presented their master's thesis. 品川研究室の五反田正太郎君と小澤洋介君（創造情報学専攻修士2年）が、修士論文発表会で発表しました。

A Study on Fast Container Boot with Lazy Layer Pull遅延レイヤ取得によるコンテナ起動高速化に関する研究
RShotaro Gotanda五反田 正太郎
Master Thesis, The University of Tokyo東京大学 修士論文

A Study on Sub-page Write Permission in Live Migrationライブマイグレーションにおけるサブページ書き込み保護に関する研究
Yosuke Ozawa小澤 洋介
Master Thesis, The University of Tokyo東京大学 修士論文

Prof. Shinagawa and Dr. Matsuzawa (Hitachi, Ltd.) gave invited talks on the top conference and journal papers at the 32nd Computer Systems Symposium (ComSys2020).品川准教授と松沢さん（日立）が第32回コンピュータシステム・シンポジウム(ComSys2020)において、トップカンファレンス・ジャーナル採択論文に関する凱旋講演をおこないました。

（凱旋講演）【VEE 2020】A Robust and Flexible Operating System Compatibility Architecture.
品川 高廣。
第32回コンピュータシステム・シンポジウム (ComSys2020)，オンライン，2020年12月．

（凱旋講演）【ACM Transactions on Storage】Practical Quick File Server Migration.
松沢 敬一。
第32回コンピュータシステム・シンポジウム (ComSys2020)，オンライン，2020年12月．

A topic paper by Prof. Shinagawa was published in Computer Software (in Japanese). He reported on his participation and presentations at VEE 2020 and EuroSys 2020, two international conferences that were suddenly brought online due to the corona disaster.品川准教授のトピック論文がコンピュータソフトウェアに掲載されました。コロナ禍で急遽オンライン開催となった2つの国際会議 VEE 2020 と EuroSys 2020 の参加・発表報告です。

システム系バーチャル国際会議参加報告
品川 高廣。
コンピュータソフトウェア、第37巻、第4号、日本ソフトウェア科学会、83-88頁、2020年11月。

Dr. Keiichi Matsuzawa received his degree of Doctor of Information Science and Technology from Graduate School of Information Science and Technology, The University of Tokyo. Dr. Matsuzawa is the first student who was officially supervised at Shinagawa laboratory and received a Ph. D. degree from the University of Tokyo. He has published a paper in ACM Transactions, two papers in ACM and IEEE international conferences, which were excellent results.品川研究室の社会人博士だった松沢敬一さん（日立）が、東京大学から博士（情報理工学）の学位を授与されました。松沢さんは、品川研究室で公式に指導を受けて東京大学の博士号を取得した初めての学生です。発表した論文は、ACM Transactions に一本、ACM と IEEEの国際会議に一本ずつと、優秀な研究成果を残しました。

A Study on Application-Transparent Optimal File Placement in Hierarchical Storage.
Keiichi Matsuzawa.
The University of Tokyo, August 2020. Ph.D. Thesis.

階層ストレージにおけるアプリケーション透過なファイル最適配置手法に関する研究
松沢 敬一.
東京大学, 2020年9月, 博士論文.

品川研究室では9月16日までRAを公募しています。詳細は公募ページをご確認ください。

Our paper is published in ACM Transactions on Storage (TOS). The first author of this paper is Mr. Keiichi Matsuzawa (a Ph.D. student in Shinagawa Laboratory). This paper is about a practical technique for migrating file servers quickly based on the post-copy approach.品川研究室の松沢敬一さん（社会人博士）が第一著者である論文が、国際論文誌 ACM Transactions on Storage (TOS) で公開されました。この論文は、ポストコピーのアプローチに基づいてファイルサーバのマイグレーションを高速におこなう実用的な技術に関する話です。

Practical Quick File Server Migration.
Keiichi Matsuzawa, Mitsuo Hayasaka, Takahiro Shinagawa.
ACM Transactions on Storage, Vol. 16, No. 2, pp. 13:1-13:30, May 2020.
doi:10.1145/3377322

A visiting researcher Fukai made a poster presentation at The European Conference on Computer Systems (EuroSys) 2020 held online. This presentation is about refreshing virtual machine monitors without stopping virtual machines with on-demand nested virtualization and hardware partitioning. 品川研究室の客員研究員の深井貴明氏がオンラインで開催された The European Conference on Computer Systems (EuroSys) 2020 でポスター発表をおこないました。オンデマンド・ネステッド仮想化とハードウェア分割により、仮想マシンを動作させたまま仮想マシンモニタを再起動してリフレッシュする話です。

Toward On-demand Nested Virtualization for Live-Refreshing Cloud Systems.
Ryosuke Yasuoka, Takaaki Fukai and Takahiro Shinagawa.
The European Conference on Computer Systems (EuroSys) 2020, April 27-30, 2020 (poster).
[Abstract] [Teaser] [Poster] [Video]

Prof. Shinagawa received the Award for Science and Technology of the 2019 Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology. In this commendation, Ministry of Education, Culture, Sports, Science and Technology (MEXT) honors those who have achieved remarkable results in R & D and promotion of understanding science and technology. In the fiscal year 2019, Associate Professor Shinagawa, together with Professor Kazuhiko Kato of the University of Tsukuba, received the "Award for Science and Technology (Research Category)" for the achievement of "Research on parapass-through virtualization technology". 品川准教授が「令和2年度科学技術分野の文部科学大臣表彰」において「科学技術賞」を受賞しました。本表彰は、文部科学省が科学技術に関する研究開発、理解増進等において顕著な成果を収めた者を顕彰しているものです。今回品川准教授は、筑波大学の加藤和彦教授とともに「準パススルー型仮想化技術の研究」という業績名で「科学技術賞（研究部門）」を受賞しました。

準パススルー型仮想化技術の研究。
加藤和彦、品川高廣。
令和2年度科学技術分野の文部科学大臣表彰、
科学技術賞（研究部門）。文部科学省、2020年4月。

Mr. Junnosuke Mizutani and Toka Cho (M1) joined our laboratory. 品川研究室に新しく水谷淳之介君（創造情報学専攻修士課程）、張嘉五君（広域システム科学系修士課程）が配属されました。

Associate Professor Shinagawa made an on-line presentation of the paper accepted by the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2020)品川准教授が国際会議 The 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2020) に採択された論文に関するオンライン発表をおこないました。

A Robust and Flexible Operating System Compatibility Architecture.
Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden.
In Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2020), Mar 2020.
[paper][video].

Mr. Ogino and Toda (B4) presented their bachelor thesises. 品川研究室の荻野堯君と戸田一汰君（学部4年）が卒業論文発表会で発表しました。

メモリ監視ハードウェアに対する妨害攻撃の防止手法に関する研究
荻野 堯
東京大学 卒業論文

カーネル内言語処理系用ヘルパー関数のファジングによる安全性検証に関する研究
戸田 一汰
東京大学 卒業論文

Mr. Hayashi, Yabuuchi, and Suzuki (M2) presented their master thesis. 品川研究室の林遼君、薮内秀仁君、鈴木悠希君（修士2年）が修士論文発表会で発表しました。

A Research on NUMA-topology-aware Resource Scheduling in Virtual Machines仮想マシンにおけるNUMA構成を意識した資源スケジューリングに関する研究
Ryo Hayashi林 遼
Master Thesis, The University of Tokyo東京大学 修士論文

"A Research on Multi-resource Cluster Scheduling for Improving Job Latency without Estimating Execution Time実行時間推定不要でジョブレイテンシを向上させるための複数資源対応クラスタスケジューリングに関する研究
Hidehito Yabuuchi薮内 秀仁
Master Thesis, The University of Tokyo東京大学 修士論文

A Research on a Protection Mechanism against the One-byte Constant Attack in Just-in-time Compilers実行時コンパイラにおける1バイト定数攻撃の防御機構に関する研究
Yuki Suzuki鈴木 悠希
Master Thesis, The University of Tokyo東京大学 修士論文

Our paper whose first author is Mr. Yabuuchi (a second-year master's student of Shinagawa Laboratory) is accepted for publication in the 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2020). This paper is about a cluster scheduler that can reduce the latency of short jobs with multi-resource requirements without execution time estimation.品川研究室の薮内秀仁君（修士2年）の論文が国際会議 The 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2020) に採択されました。CCGrid はクラスタやクラウド、グリッドコンピューティングなどに関する歴史のある国際会議で、CORE Ranking でも A ランクのトップカンファレンスです。今回の論文は、クラスタスケジューラにおいて、実行時間推定を必要とせずに、複数資源を要求するタスクのレイテンシを削減する話です。

Multi-resource Low-latency Cluster Scheduling without Execution Time Estimation.
Hidehito Yabuuchi and Takahiro Shinagawa.
In Proceedings of the 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2020). Accepted for publication.

Our paper co-authored by Mr. Saeki (former Honiden Lab. and currently Microsoft Japan), Mr. Nishiwaki (Hagiya Lab.), and Prof. Honiden (Waseda University) is accepted by the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2020) held at Lausanne, Switzerland. 品川准教授と共同研究をしていた佐伯さん（元本位田研、現日本マイクロソフト）、西脇さん（萩谷研）、本位田先生（早稲田大学）との共著論文がスイスのローザンヌで開催される国際会議 The 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2020) に採択されました。未踏IT人材発掘・育成事業で実施したNoahプロジェクトの成果を拡張した内容です。

A Robust and Flexible Operating System Compatibility Architecture.
Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden.
In Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2020), Mar 2020. Accepted for publication.

Our paper, in which Mr. Keiichi Matsuzawa (a Ph.D. student in Shinagawa Laboratory) is the first author, is accepted to ACM Transactions on Storage (TOS). ACM TOS is the top journal in the field of storage systems and many papers have been invited from well-known international conferences such as FAST, which is the top conference in the field of file and storage, as well as SYSTOR and MSST, and also from top conferences of system software such as OSDI and USENIX ATC. Our paper is the second paper that is accepted by ACM TOS from Japan, following the paper about spin MOSFET in 2006. Our paper is an extension of the paper published in ACM SYSTOR 2018, and is about quick file migration between heterogeneous file servers using the post-copy approach. 品川研究室の松沢敬一さん（社会人博士）が第一著者である論文が、国際論文誌 ACM Transactions on Storage (TOS) に採択されました。ACM TOS はストレージシステムの分野におけるトップジャーナルであり、当該分野で著名な国際会議から多くの論文が招待されています。例えば、ファイル＆ストレージ分野でトップカンファレンスである USENIX FAST を始めとして、ACM SYSTOR や IEEE MSST などのほか、OSDI や USENIX ATC などシステムソフトウェア系のトップカンファレンスからもストレージ関係の論文が招待されています。日本から ACM TOS に論文が採択されたのは、2006年の spin MOSFET に関する論文に続き2本目です。今回の論文は国際会議 ACM SYSTOR 2018 で発表した論文を拡張したもので、ポストコピーの手法を用いて異機種のファイルサーバ間でのファイル移行を高速におこなう話です。

Practical Quick File Server Migration.
Keiichi Matsuzawa, Mitsuo Hayasaka, Takahiro Shinagawa.
ACM Transactions on Storage, Vol. 15, No. 4, 2020. Accepted for publication.

At the 31th Computer System Symposium (ComSys 2019) held in Osaka, Mr. Ogino (B4) made a poster presentation, Mr. Matsuzawa (D4) made a presentation, and Prof. Shinagawa and Mr. Misono (D2) made a invited report on SOSP 2019. 情報処理学会が主催する第31回コンピュータシステム・シンポジウム (ComSys2019) において、品川研究室の荻野君（学部4年）がポスター発表、松沢さん（社会人博士4年）がカテゴリ2での発表、品川准教授及び味曽野君（博士2年）がSOSP出張報告をそれぞれおこないました。

SOSP2019出張報告．
品川 高廣, 味曽野 雅史．
第31回コンピュータシステム・シンポジウム (ComSys2019).（招待）

低アクセスレイテンシを実現する 不揮発メモリ向けユーザー空間ファイルシステム．
松沢 敬一, 品川 高廣．
第31回コンピュータシステム・シンポジウム (ComSys2019).

ハードウェアによるメモリ監視を強制するための IOMMU 保護機構．
荻野堯, 味曽野雅史, 品川高廣．
第31回コンピュータシステム・シンポジウム (ComSys2019).（ポスター発表）

Dr. Takaaki Fukai, a visiting researcher at Shinagawa Laboratory, received the IEEE Computer Society Japan Chapter Young Author Award 2019. This award is given to the winners selected from applicants who are the first author of an excellent paper published in periodicals such as Transactions and Magazines published by IEEE Computer Society or published in proceedings of international conferences hosted or co-sponsored by IEEE Computer Society, and who are also the member of IEEE Computer Society Japan Chapter under 40 years old. The purpose of this award is to encourage young researchers in research activities at IEEE Computer Society. The award-winning paper was published in IEEE Transactions on Cloud Computing, and is about achieving live migration of operating systems running in bare-metal clouds. 品川研究室の客員研究員である深井貴明氏が、IEEE Computer Society Japan Chapter Young Author Award 2019 を受賞しました。この賞は、若手研究者の IEEE Computer Society における研究活動奨励のため，IEEE Computer Society で発行する Transactions, Magazine 等の定期刊行誌あるいは主催・共催国際会議 Proceedings に掲載された優秀な論文の筆頭著者であって，IEEE Computer Society Japan Chapter の会員かつ40歳未満の条件を満たす応募者より選出され，受賞者として表彰されるものです．受賞対象となった論文は、IEEE Transactions on Cloud Computing に採択されたもので、ベアメタルクラウドにおいて、物理マシン上で動作するOSをライブマイグレーションする話です。2019年12月23日に早稲田大学で受賞記念講演会がおこなわれます。

Live Migration in Bare-metal Clouds.
Takaaki Fukai, Takahiro Shinagawa, Kazuhiko Kato.
IEEE Transactions on Cloud Computing, 2018. Accepted for publication.
doi:10.1109/TCC.2018.2848981

Associate Professor Shinagawa made a poster presentation at the 28th USENIX Security Symposium held on August 14–16 at Santa Clara, CA, USA. This research is about an attack against JIT compilers of JavaScript in web browsers. 品川准教授が2019年8月14日～16日に米国サンタクララで開催された 28th USENIX Security Symposium でポスター発表をおこないました。Web ブラウザにおける JavaScript の JIT コンパイラに対する攻撃の研究です。

The 1-Byte Constant Attack against JIT Compilers.
Takahiro Shinagawa, Yuki Suzuki, Tomoyuki Nakayama, and Masanori Misono.
28th USENIX Security Symposium, August 14-16, Santa Clara, 2019 (poster).
[Poster]

Our poster proposal was accepted for presentation at the 28th USENIX Security Symposium on August 14–16 at Santa Clara, CA, USA. This research is about an attack against JIT compilers of JavaScript in web browsers. 2019年8月14日～16日に米国サンタクララで開催される 28th USENIX Security Symposium で品川准教授がポスター発表をおこないます。Web ブラウザにおける JavaScript の JIT コンパイラに対する攻撃の研究です。

The 1-Byte Constant Attack against JIT Compilers.
Takahiro Shinagawa, Yuki Suzuki, Tomoyuki Nakayama, and Masanori Misono.
28th USENIX Security Symposium, August 14-16, Santa Clara, 2019 (poster).

Dr. Takaaki Fukai (IBM Japan) becomes a visiting researcher of Shinagawa Laboratory. 品川研究室に深井貴明氏が客員研究員として着任しました。

Mr. Yabuuchi (M2) made a presentation at a domestic non-peer-reviewed workshop called the 146th System Software and Operating System Workshop held in Okinawa. His presentation was about a preemptive cluster scheduler without runtime estimate that can handle multiple heterogeneous resource requirements. 品川研究室の薮内秀仁君（修士課程2年）が、沖縄で開催された第146回 システムソフトウェアとオペレーティング・システム研究会で発表をおこないました。CPUとメモリなど複数種かつ不均一の資源要求にも対応した実行時間推定非依存なクラスタスケジューラに関する話です。

複数種・不均一資源要求に対応した実行時間推定非依存なクラスタスケジューラ．
薮内 秀仁, 品川 高廣．
第146回システムソフトウェアとオペレーティング・システム研究会，沖縄，2019年5月．

We are looking for master's and doctoral students. Students interested in low-layer system software such as operating systems (OS) and virtualization technology as well as other low-layer systems such as secure computing should consider taking the exam. 東京大学品川研究室では今年も修士・博士（社会人含む）の学生を募集しています。オペレーティングシステム（OS）や仮想化技術など低レイヤのシステムのほかセキュアコンピューティングなどシステムソフトウェア全般に興味がある学生さんはぜひ受験をご検討下さい。他学部・他大学の学生さんも大歓迎です。詳細は学生募集のタブをご参照ください。
http://www.i.u-tokyo.ac.jp/edu/course/ipc/
http://system.c.u-tokyo.ac.jp/p-graduate/guide.html

We got a patent on an OS provisioning technology using parapass-through virtualization.準パススルー型仮想化によりOSプロビジョニングをおこなう技術に関する特許権を取得しました。

情報処理装置及びプログラム．
品川 高廣, 表 祐志, 北村 朋宏, 榮樂 英樹, 松原 克弥．
特許第6506976号（特許出願2015-010521），国立大学法人東京大学, 株式会社イーゲル，2019年4月．（出願日：2015年1月22日）

Mr. Akira Moroo (D1), Mr. Yosuke Ozawa, Syotaro Gotanda (M1) joined our laboratory. 品川研究室に新しく博士課程（システム情報学専攻）の師尾彬君、修士課程（創造情報学専攻）の小澤洋介君、五反田正太郎君が配属されました。

Mr. Hatanaka and Yamasaki (B4) presented their bachelor thesises. 品川研究室の畑中俊輝君と山崎大夢君（学部4年生）が卒業論文発表会で卒業論文の内容を発表しました。

DMA 機構の故障に対するデバイスドライバの耐性検証
畑中 俊輝
東京大学 卒業論文

ゲストOS 間の動的仮想CPU 受け渡しによる二重スケジューリング問題の回避
山﨑 大夢
東京大学 卒業論文

Mr. Liao (M2) presented his master thesis. 品川研究室の廖子豪君（修士2年）が修士論文発表会で修士論文の内容を発表しました。

An Extensible Access Control Mechanism based on BPF
Liao Zihao
Master Thesis, The University of Tokyo

Mr. Misono (D1) got the Best Paper Award at the 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018) held in Nicosia, Cyprus. His presentation was about testing device drivers of Type-I hypervisors, like VMware ESXi, against hardware failures of real devices used in cloud computing environments by injecting pseudo faults into hardware access by a pass-through hypervisor with the nested virtualization support. The acceptance rate was 19.8% (18/91) overall and 17.4% (4/23) in the "Architecture, Storage and Virtualization" track. 品川研究室の味曽野雅史君（博士1年）が国際会議 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018) でベストペーパーを受賞しました。この研究は、VMware ESXi のような Type-I ハイパーバイザのデバイスドライバが実際のクラウド・コンピューティング環境で使われるハードウェアの故障に対する耐性を検証するために、ネステッド仮想化をサポートした準パススルー型ハイパーバイザを用いてハードウェアアクセスに対して擬似故障を挿入して、その挙動を観察するものです。採択率は全体で19.8% (18/91) で、"Architecture, Storage and Virtualization" トラックでは 17.4% (4/23) でした。

FaultVisor2: Testing Hypervisor Device Drivers against Real Hardware Failures
Masanori Misono, Masahiro Ogino, Takaaki Fukai, Takahiro Shinagawa.
In Proceedings of the 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018). Accepted for publication. Acceptance Ratio: 19.8%

Mr. Hayashi (M1), Mr. Suzuki (M1), and Mr. Hatanaka (B4) made poster presentations at the 30th Computer System Symposium (ComSys 2018) in Tokyo. 東京大学修士1年の林君、鈴木君、及び4年生の畑中君が、情報処理学会が主催する第30回コンピュータシステム・シンポジウム (ComSys2018) で研究成果をポスター発表しました。

ホストマシンの NUMA トポロジーに基づく vCPU スケジューリング． 林 遼, 味曽野 雅史, 品川 高廣
第30回コンピュータシステム・シンポジウム (ComSys2018).

JITコンパイラに対する1バイト定数攻撃とその防御手法．
鈴木 悠希, 味曽野 雅史, 中山 智之, 品川 高廣．
第30回コンピュータシステム・シンポジウム (ComSys2018).

DMA 機構の故障に対するデバイスドライバの耐性検証．
畑中 俊輝, 味曽野 雅史, 品川 高廣．
第30回コンピュータシステム・シンポジウム (ComSys2018).

Mr. Takaaki Fukai (currently IBM Japan), who was enrolled in the doctoral course at University of Tsukuba, received his degree of Doctor of Philosophy in Engineering from University of Tsukuba. Dr. Fukai is the second student who was practically supervised at Shinagawa laboratory and received a Ph. D. degree from University of Tsukuba. He has published a paper in IEEE Transactions, two papers in IEEE international conferences (of which one was a Best Paper), and three co-authored papers, which were excellent results.筑波大学の博士課程に在籍していた深井貴明君（現日本IBM）が、筑波大学から博士（工学）の学位を授与されました。深井君は、品川研究室で実質的な指導を受けて筑波大学の博士号を取得した二人目の学生です。発表した論文は、IEEE の Transactions に一本、IEEEの国際会議に二本（うち一本は Best Paper）、共著が三本と、優秀な業績を残しました。

A Study on Physical Machine Management in Bare-metal Cloud
Takaaki Fukai
University of Tsukuba, September 2018. Ph.D. Thesis.

ベアメタルクラウドにおける物理マシン管理に関する研究
深井 貴明
筑波大学, 2018年9月, 博士論文.

Mr. Misono's paper is accepted for publication in the 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018). It tests the hypervisor device drivers against hardware failures by combining fault injection and nested virtualization technologies.品川研究室の味曽野雅史君（博士1年）の論文が国際会議 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018) に採択されました。fault injection と nested virtualization を組み合わせて、ハイパーバイザのデバイスドライバの対故障性を検証する話です。実際に VMWare ESXi 用のドライバの問題点を見つけました。採択率は19.8%でした。

FaultVisor2: Testing Hypervisor Device Drivers against Real Hardware Failures
Masanori Misono, Masahiro Ogino, Takaaki Fukai, Takahiro Shinagawa.
In Proceedings of the 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018). Accepted for publication. Acceptance Ratio: 19.8%

Mr. Misono (D1) made a presentation at the 16th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2018) held in Athens, Greece. His presentation was about packet filtering with Berkekey Packet Filter (BPF) in a hypervisor at the slient side to prevent DDoS attacks. 品川研究室の味曽野雅史君（博士1年）が国際会議 16th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2018)で研究成果を発表しました。DDoS攻撃を防止するために、クライアントマシンで動作する軽量ハイパーバイザ内で Berkekey Packet Filter (BPF) によるパケットフィルタリングをおこなう話です。

Distributed Denial of Service Attack Prevention at Source Machines.
Masanori Misono, Kaito Yoshida, Juho Hwang, Takahiro Shinagawa.
In Proceedings of the 16th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2018), Aug 2018.

Mr. Misono's paper is accepted for publication in the 16th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2018). It prevents distributed dinial-of-service attacks by performing packet filtering with Berkekey Packet Filter (BPF) in a lightweight hypervisor at the clients.品川研究室の味曽野雅史君（博士1年）の論文が国際会議 16th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2018) に採択されました。DDoS攻撃を防止するために、クライアントマシンで動作する軽量ハイパーバイザ内で Berkekey Packet Filter (BPF) によるパケットフィルタリングをおこなう話です。

Distributed Denial of Service Attack Prevention at Source Machines. Masanori Misono, Kaito Yoshida, Juho Hwang and Takahiro Shinagawa.
In Proceedings of the 16th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2018). Accepted for publication.

Mr. Fukai's paper is accepted for publication in IEEE Transactions on Cloud Computing. It achieves live migration of operating systems running in bare-metal clouds without depending on the operating systems.筑波大学の博士課程に在籍していた深井貴明君（現日本IBM）の論文が国際論文誌 IEEE Transactions on Cloud Computing に採択されました。ベアメタルクラウドにおいて、物理マシン上で動作するOSをライブマイグレーションする話です。

Live Migration in Bare-metal Clouds.
Takaaki Fukai, Takahiro Shinagawa, Kazuhiko Kato.
IEEE Transactions on Cloud Computing, 2018. Accepted for publication.
doi:10.1109/TCC.2018.2848981

Mr. Matsuzawa (D3) made a presentation at the 11th ACM International Systems and Storage Conference (SYSTOR 2018) held in Haifa, Israel. His presentation was about quick migration between heterogeneous file servers based on a post-copy approach. 品川研究室の松沢敬一さん（社会人博士３年）が、イスラエルのハイファで開催された 11th ACM International Systems and Storage Conference (SYSTOR 2018) で発表をおこないました。ポストコピーの手法を用いて異機種のファイルサーバ間でのサーバ移行を高速におこなう話です。

The Quick Migration of File Servers.
Keiichi Matsuzawa, Mitsuo Hayasaka, Takahiro Shinagawa.
In Proceedings of the 11th ACM International Systems and Storage Conference (SYSTOR 2018), Jun 2018.
doi:10.1145/3211890.3211894

Mr. Misono (D1) made a presentation at a domestic non-peer-reviewed workshop called 143th System Software and Operating System Workshop held in Okinawa. His presentation was about verifying device drivers of hypervisors against hardware failures. 品川研究室の味曽野雅史君（博士課程１年）が、沖縄で開催された第143回 システムソフトウェアとオペレーティング・システム研究会で発表をおこないました。ネステッド仮想化を用いてハイパーバイザのデバイスドライバがハードウェア故障に対する耐性があるかどうかを検証する話です。

Verifying Fault Tolerance of Hypervisors against Hardware Failures.ハードウェア障害に対するハイパーバイザの対故障性検証．
Masahiro Ogino, Masanori Misono, Takaaki Fukai, Takahiro Shinagawa.荻野 将拓, 味曽野 雅史, 深井 貴明, 品川 高廣．
In Proceedings of the 143th System Software and Operating System Workshop, Okinawa, May 2018. (in Japanese)第143回システムソフトウェアとオペレーティング・システム研究会，沖縄，2018年5月．

We are looking for master's and doctoral students. Students interested in low-layer system software such as operating systems (OS) and virtualization technology as well as other low-layer systems such as secure computing should consider taking the exam. 東京大学品川研究室では修士・博士（社会人含む）の学生を募集しています。オペレーティングシステム（OS）や仮想化技術など低レイヤのシステムのほかセキュアコンピューティングなどシステムソフトウェア全般に興味がある学生さんはぜひ受験をご検討下さい。他学部・他大学の学生さんも大歓迎です。

Prof. Shinagawa started to teach "Function and Structure of An Operating System" at Tokyo Denki University.品川准教授が東京電機大学の非常勤講師を始めました。「オペレーティングシステム特論」の授業を担当します。

Our paper, in which Mr. Matsuzawa is the first author, is accepted for publication in the 11th ACM International Systems and Storage Conference (SYSTOR 2018). It achieves quick migration between heterogeneous file servers based on a post-copy approach.品川研究室の松沢敬一さん（社会人博士３年）の論文が国際会議 The 11th ACM International Systems and Storage Conference (SYSTOR 2018) に採択されました。ポストコピーの手法を用いて異機種のファイルサーバ間でのファイルサーバ移行を高速におこなう話です。

The Quick Migration of File Servers.
Keiichi Matsuzawa, Mitsuo Hayasaka, Takahiro Shinagawa.
In Proceedings of the 11th ACM International Systems and Storage Conference (SYSTOR 2018), Jun 2018. Accepted for publication.

Mr. Yoneji made a presentation at the 33rd ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2018) in Pau, France. 品川研究室に参加していた元筑波大学4年生の米司伊織君が、フランスで開催された国際会議 33rd ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2018) で研究成果を発表しました。薄い仮想化層にデバイスドライバを集約して virtio インターフェイスを提供することにより、デバイスドライバの開発コスト削減や信頼性向上及び新規OS開発を容易にする話です。

Unified Hardware Abstraction Layer with Device Masquerade.
Iori Yoneji, Takaaki Fukai, Takahiro Shinagawa, Kazuhiko Kato.
In Proceedings of the 33rd ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2018), Apr. 2018.

Mr. Rikima Mitsuhashi and Fuli Qi (D1) and Mr. Ryo Hayashi, Hidehito Yabuuchi, and Yuki Suzuki (M1) joined our laboratory. 社会人博士1年の三橋力麻さん（システム情報学専攻）、斉福利さん（広域システム科学系）及び修士1年の薮内秀仁君（システム情報学専攻）、鈴木悠希君（広域システム科学系）が品川研究室に新しく配属されました。

Mr. Fukai (D3) made a presentation at the 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017) in Hong Kong. 品川研究室に参加している筑波大学博士3年の深井貴明君が、香港で開催された国際会議 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017) で研究成果を発表しました。仮想マシンではなく物理マシンを貸し出すベアメタルクラウドにおいて、ハードウェアの不揮発性メモリなどに不正アクセスされることにより、ハードウェアが恒久的に破壊されたり永続的にマルウェアに感染したりするのを防止する話です。

BMCArmor: A Hardware Protection Scheme for Bare-metal Clouds.
Takaaki Fukai, Satoru Takekoshi, Kohei Azuma, Takahiro Shinagawa and Kazuhiko Kato.
In Proceedings of the 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017), Dec. 2017.

Mr. Matsuzawa (D3) made a presentation at the 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017) in Hong Kong. 品川研究室の社会人博士3年の松沢敬一さんが、香港で開催された国際会議 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017) で研究成果を発表しました。仮想マシン内部の構造や統計情報をホストOSから観察することにより、ホストOSにおけるストレージアクセスの空間局所性および時間局所性を抽出して、効率よくキャッシュプリフェッチをおこなう話です。

VM-aware Adaptive Storage Cache Prefetching.
Keiichi Matsuzawa and Takahiro Shinagawa.
In Proceedings of the 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017), Dec. 2017.

Mr. Matsuzawa, a 2nd grade student of the doctor course, made a presentation at the 27th Computer System Symposium (ComSys 2017). Mr. Saeki, a M2 student of the Honiden Laboratory, also made a presentation at ComSys 2017 as an invited talk of APSys 2017. 品川研究室の社会人博士3年の松沢敬一さんが、情報処理学会が主催する第29回コンピュータシステム・シンポジウム (ComSys2017) で研究成果を発表しました。また、本位田研究室修士課程2年の佐伯学哉君が、国際会議APSys 2017の招待凱旋発表をしました。

オンデマンド及びバックグラウンド複製によるファイルサーバ移行時の停止時間削減.
松沢 敬一, 早坂 光雄, 品川 高廣.
第29回コンピュータシステム・シンポジウム (ComSys2017).

(APSys 2017) Bash on Ubuntu on macOS.
Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden.
Computer System Symposium 2017 (ComSys 2017), Dec. 2017.

We held BitVisor Summit 6. From our laboratory, Shinagawa, Mr. Misono, and Mr. Fukai made presentations. BitVisor Summit 6 を開催しました。BitVisor に関連した仮想化技術の深い話が満載で、非常に中身の濃い会議となりました。品川研究室からは品川、未曽野君、深井君が発表しました。

BitVisorの現状と今後.
品川 高廣.
BitVisor Summit 6, Dec. 2017.

BPFを利用したBitVisor内部でのパケットフィルタリング.
味曽野 雅史.
BitVisor Summit 6, Dec. 2017.

Unsafe Nested Virtualization on Intel CPU.
深井 貴明.
BitVisor Summit 6, Dec. 2017.

Mr. Nakayama (M2) made a presentation at the 7th International Workshop on Networking, Computing, Systems, and Software (NCSS 2017) in Aomori. 品川研究室の修士課程2年の中山智之君が、青森で開催された国際会議 7th International Workshop on Networking, Computing, Systems, and Software　(NCSS 2017) で研究成果を発表しました。

High-performance and Secure Just-in-time Compiler Protection.
Tomoyuki Nakayama, Masanori Misono, Takahiro Shinagawa.
7th International Workshop on Networking, Computing, Systems, and Software　(NCSS 2017), Nov. 2017.

Our paper, in which Mr. Yoneji is the first author, is accepted by The 33rd ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2018). 品川研究室に参加していた元筑波大学の米司君の論文が国際会議 The 33rd ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2018) に採択されました。

Unified Hardware Abstraction Layer with Device Masquerade.
Iori Yoneji, Takaaki Fukai, Takahiro Shinagawa and Kazuhiko Kato.
In Proceedings of the 33rd ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2018), Apr 2018. Accepted for publication.

Mr. Chubachi, a PhD student in University of Tsukuba, presented the research result in Japanese at the poster session of the Computer Security Symposium 2017 in Yamagata. 2017年10月に山形で開催された国内シンポジウム「9コンピュータセキュリティシンポジウム2017(CSS2017)」で品川研究室に参加している筑波大学博士後期課程の忠鉢君がデモンストレーション（ポスター）セッションで発表しました。

カーネルに組み込まれた強制的なTLS公開鍵ピンニング． 忠鉢 洋輔, 品川 高廣, 後藤 厚宏, 加藤 和彦．
コンピュータセキュリティシンポジウム 2017（CSS 2017），山形，2017年10月．

Our two papers were accepted for publication in the 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017) held in Hong Kong, December 2017. One paper's first author is Mr. Fukai, who is a PhD student in third grade of University of Tsukuba, and is about improving security in bare-metal clouds. The other paper's first author is Mr. Matsuzawa, who is a PhD student in third grade of the University of Tokyo and works at Hitachi Ltd., and is about improving storage performance in IaaS clouds. 2017年12月に香港で開催される国際会議 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017) に品川研究室の論文が2件採択されました。1件は筑波大学博士課程3年の深井君が第一著者のもので、ベアメタルクラウドにおけるセキュリティ向上の話です。もう1件は東京大学博士課程3年（社会人）の松沢さんが第一著者のもので、IaaSクラウドにおけるストレージ性能向上の話です。

BMCArmor: A Hardware Protection Scheme for Bare-metal Clouds.
Takaaki Fukai, Satoru Takekoshi, Kohei Azuma, Takahiro Shinagawa and Kazuhiko Kato.
In Proceedings of the 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017), Dec. 2017. Accepted for publication.

VM-aware Adaptive Storage Cache Prefetching.
Keiichi Matsuzawa and Takahiro Shinagawa.
In Proceedings of the 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017), Dec. 2017. Accepted for publication.

Mr. Saeki (M2 of the Honiden Laboratory) made a presentation at the 8th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2017) in India. 品川研究室と共同研究をしている本位田研究室修士課程2年の佐伯学哉君が、インドで開催された国際会議 8th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2017) で研究成果を発表しました。

Bash on Ubuntu on macOS.
Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden.
In Proceedings of the 8th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2017), Sep 2017.

Our paper co-authored by Mr. Saeki (Honda Lab.) and Mr. Nishiwaki (Hagiya Lab.) in the Master's 2nd year of the department of computer science is accepted by The 8th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2017). 品川研究室と共同研究をしているコンピュータサイエンス専攻修士2年の佐伯君（本位田研）と西脇君（萩谷研）との共著論文が国際会議 8th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2017) に採択されました。未踏IT人材発掘・育成事業で実施したプロジェクトの成果です。

Bash on Ubuntu on macOS.
Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden.
In Proceedings of the 8th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2017), Sep 2017. Accepted for publication.

The research grant in science and technology of the Mitsubishi Foundation was awarded. 公益財団法人三菱財団の平成29年度自然科学研究助成に採択されました。

We are looking for master's and doctoral students. Students interested in low-layer system software such as operating systems (OS) and virtualization technology as well as other low-layer systems such as secure computing should consider taking the exam. 東京大学品川研究室では修士・博士（社会人含む）の学生を募集しています。オペレーティングシステム（OS）や仮想化技術など低レイヤのシステムのほかセキュアコンピューティングなどシステムソフトウェア全般に興味がある学生さんはぜひ受験をご検討下さい。他学部・他大学の学生さんも大歓迎です。
http://www.i.u-tokyo.ac.jp/edu/course/ipc/
http://system.c.u-tokyo.ac.jp/p-graduate/guide.html

Mr. Yoshida, a senior at the University of Tokyo, made a presentation of his bachelor thesis 東京大学計数工学科4年生の吉田海渡君が卒業論文の発表をおこないました。

仮想化技術とBPFによるクライアント側でのパケット送信抑制.
吉田 海渡.
東京大学工学部計数工学科卒業論文.

Mr. Takekoshi, a 2nd grade student of the master's course in University of Tsukuba, made a presentation of his master's thesis 筑波大学修士2年の竹腰開君が修士論文の発表をおこないました。

ハードウェア障害に対するデバイスドライバの対故障性検証.
竹腰 開.
筑波大学システム情報工学研究科コンピュータサイエンス専攻修士論文.

Prof. Shinagawa made a presentations about the product called "vThrii Seemless Provisioning", which was developed based on BitVisor, at an annual conference of University ICT Promotion Council 2016 in Kyoto. 品川准教授が大学ICT推進協議会年次大会2016で、BitVisorをベースに開発された商品「vThrii Seemless Provisioning」に関する発表を行いました。

Updating Disk Images of iMac in the University of Tokyo.
Takahiro Shinagawa.
Annual Conference of University ICT Promotion Council 2016.

東京大学におけるiMacのディスクイメージ更新.
品川 高廣.
大学ICT推進協議会年次大会2016.

Mr. Misono, a 1st grade student of the master's course of the University of Tokyo, and Mr. Yasuoka, a 1st grade student of the master's course of University of Tsukuba, made poster presentations at the 28th Computer System Symposium (ComSys 2016) in Tokyo. 東京大学修士1年の味曽野雅史君と筑波大学博士前期課程1年の安岡亮輔君が、情報処理学会が主催する第28回コンピュータシステム・シンポジウム (ComSys2016) で研究成果をポスター発表しました。

ネットワークスタックと不揮発性メモリの統合による永続性 Key-Value Store の高速化．
味曽野 雅史, 品川 高廣.
第28回コンピュータシステム・シンポジウム (ComSys2016).

ネステッド仮想化の動的 ON/OFF による仮想マシンモニタ若化．
安岡 亮輔, 深井 貴明, 品川 高廣, 加藤 和彦.
第28回コンピュータシステム・シンポジウム (ComSys2016).

Mr. Matsuzawa, a 2nd grade student of the doctor course, made a presentation at the 28th Computer System Symposium (ComSys 2016) in Tokyo. 社会人博士2年の松沢敬一君が、情報処理学会が主催する第28回コンピュータシステム・シンポジウム (ComSys2016) で研究成果を発表しました。

仮想マシン内のデータ配置を活用した先読み型ストレージ階層管理
松沢 敬一, 品川 高廣.
第28回コンピュータシステム・シンポジウム (ComSys2016).

A master's student, Mr. Liao, a bachelor student, Mr. Yoshida, and a research student, Mr. Fu joined the Shinagawa Laboratory.9月から修士1年の学生1名（廖君）、卒研生1名（吉田君）、研究生1名（胡君）が品川研究室に配属されました。

Prof. Shinagawa made a presentations at a CANON seminar about the products called "in Campus Device" and "vThrii" introduced in ECCS 2016. 品川准教授がキャノンITソリューションズの第32回課題解決ソリューションセミナー で、ECCS 2016 で導入された in Campus Device と vThrii に関する基調講演をおこないました。

ECCS2016におけるin Campus DeviceとvThriiの導入効果.
品川 高廣.
キヤノンITソリューションズ株式会社 第32回課題解決ソリューションセミナー.

We accept master's and doctoral course students. If you are interested in deep system software technologies such as operating systems and virtualization, please consider joining our laboratory. 品川研究室では、来年度の修士課程・博士課程の学生を募集します。OSや仮想化技術などの低レイヤ・システムソフトウェアの研究をはじめとして、IoTやビッグデータ、人工知能・機械学習の分野においても基盤となるシステム・ソフトウェア全般に関する研究に興味がある学生さんは、ぜひ当研究室の志望をご検討ください。工学部計数工学科の学生さんはもちろん、工学部電子情報工学科、理学部情報科学科などの他学科・他学部の学生さんや他大学の学生さんも歓迎します。専門科目はコンピュータ科学や電子情報学など得意な科目で受験することが可能です。

Mr. Takekoshi, a 1st grade student of the master's course of University of Tsukuba, made a presentation at the 31st ACM Symposium on Applied Computing (ACM SAC 2016) in Italy. 筑波大学大学院博士前期課程1年の竹腰開君が、イタリアで開催された国際会議 31st ACM Symposium on Applied Computing (ACM SAC 2016) で研究成果を発表しました。

Testing Device Drivers against Hardware Failures in Real Environments.
Satoru Takekoshi, Takahiro Shinagawa, Kazuhiko Kato.
In Proceedings of the 31st ACM Symposium on Applied Computing, Apr 2016. Acceptance Ratio: 24.07% (252/1047).

Our research proposal was adopted in Grants-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science (JSPS).日本学術振興会の科学研究費補助金基盤研究(B)に内定をいただきました。

Three master's students, Mr. Misono, Mr. Nakayama, and Mr. Uchida joined the Shinagawa Laboratory on April 1.4月1日付けで東京大学の修士1年の学生3名（味曽野君、中山君、内田君）が品川研究室に配属されました。

Prof. Shinagawa made a presentation at a domestic academic event of Information Processing Society of Japan called IPSJ-ONE. He made a presentation about BitVisor for non-academic people like high school students and undergraduate university students. 品川准教授が情報処理学会のイベント「IPSJ-ONE」で BitVisor に関する発表をおこないました。IPSJ-ONE は、様々な分野の若手研究者がそれぞれ5分でライトニングトークをするイベントです。品川准教授は、本イベントにおいて、高校生や大学生など一般の方に向けて、BitVisor の概要を紹介する発表をおこないました。

BitVisor: OSを手玉に取る仮想化ソフトウェア．
品川 高廣．IPSJ-ONE, 日吉，2016年3月．
動画（ニコニコ動画）．

Mr. Azuma (B4 at the University of Tokyo) made a presentation at a domestic non-peer-reviewed workshop called 136th System Software and Operating System Workshop held in Kobe. His presentation was about protecting hardware in bare-metal clouds from attacks such as hardware destruction and virus infection by using thin hypervisors. 東京大学計数工学科4年生の東耕平君が、神戸で開催された第136回 システムソフトウェアとオペレーティング・システム研究会で発表をおこないました。発表内容は、ベアメタルクラウドにおいてハードウェア破壊やウィルス感染などの攻撃を防ぐために、ハイパーバイザを用いて不揮発性メモリへのアクセスを防止するものです。

Hardware Protection in Bare-metal Clouds.ベアメタルクラウドにおけるハードウェア保護．
Kouhei Azuma, Satoru Takekoshi, Takaaki Fukai, Takahiro Shinagawa, Kazuhiko Kato.東 耕平，竹腰 開，深井 貴明，品川 高廣，加藤 和彦．
In Proceedings of the 136th System Software and Operating System Workshop, Kobe, Feb 2016. (in Japanese)第136回システムソフトウェアとオペレーティング・システム研究会，神戸，2016年2月．

Our paper presented at the 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) received the best paper award! Among 27 accepted full papers in UCC 2015, our paper was the only one selected as the best paper. 国際会議 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) で発表した論文が best paper award を受賞しました。UCC 2015で採択されたフルペーパー27本中で、今年の best paper award に選ばれたのはこの論文1件だけでした。

OS-Independent Live Migration Scheme for Bare-metal Clouds.
Takaaki Fukai, Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
In Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, Dec 2015. [Best paper award].

Mr. Fukai (D1 in University of Tsukuba) made a presentation at the 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) in Cyprus. 筑波大学大学院博士後期課程1年の深井貴明君が、キプロスで開催された国際会議 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) で研究成果を発表しました。

OS-Independent Live Migration Scheme for Bare-metal Clouds.
Takaaki Fukai, Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
In Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, Dec 2015. Acceptance Ratio: 25.7%.

Our paper, in which Mr. Takekoshi (M1 in University of Tsukuba) is the first author, was accepted for publication in ACM SAC 2016. 筑波大学の竹腰開君（修士１年）の論文が国際会議 ACM SAC 2016 に採択されました。

Testing Device Drivers against Hardware Failures in Real Environments.
Satoru Takekoshi, Takahiro Shinagawa, Kazuhiko Kato.
In Proceedings of the 31st ACM Symposium On Applied Computing (ACM SAC 2016), Apr 2016. To appear

 　　　　　　　　　　　　　　　　　　　　アルバイト募集
 
 内容：研究室におけるシステム管理やBitVisorに関する研究の補助など
 資格：本学学生
 時給：925円
 時間：要相談
 応募方法：簡単な履歴書を添付してメール送付（アドレスは本ページ「履歴」を参照）
 〆切：2015年10月30日(金)17:00 

Mr. Takekoshi (M1 in University of Tsukuba) made a presentation at a domestic symposium called Computer Security Symposium 2015 (CSS 2015) in Nagasaki. 竹腰君（筑波大M1）が国内シンポジウム「コンピュータセキュリティシンポジウム2015」で研究成果を発表しました。

VMM-based Protection of Credit Card Data on POS TerminalsPOS端末におけるVMMを用いたクレジットカード情報の保護
Satoru Takekoshi, Takahiro Shinagawa, Kazuhiko Kato.竹腰 開，品川 高廣，加藤 和彦.
Computer Security Symposium, Nagasaki, Oct. 2015. (in Japanese)コンピュータセキュリティシンポジウム，長崎，2015年10月．

Two undergraduate students, Mr. Azuma and Mr. Huáng, and a doctoral student, Mr. Matsuzawa, of the University of Tokyo joined the Shinagawa Laboratory on October 1.10月1日付けで東京大学の学部生2名（東君と黄君）と社会人博士課程の学生1名（松沢君）が品川研究室に配属されました。

Our paper, in which Mr. Fukai (D1 in University of Tsukuba) is the first author, was accepted for publication in UCC 2015. 筑波大学の深井貴明君（D1）の論文が国際会議 UCC 2015 に採択されました。

OS-Independent Live Migration Scheme for Bare-metal Clouds.
Takaaki Fukai, Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
In Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, Dec 2015. To appear.

Dr. Omote, Mr. Takekoshi, and Mr. Yoneji presented porsters at APSys 2015. 表君（学振PD）、竹腰君（筑波大M1）、米司君（筑波大B4）が国際会議APSys 2015でポスター発表をしました。

A new framework for baremetal OS.
Iori Yoneji, Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
6th Asia-Pacific Workshop on Systems (APSYS 2015), Tokyo, Jul 2015.

Testing Device Drivers against Hardware Failures in Real Environments.
Satoru Takekoshi, Takahiro Shinagawa, Kazuhiko Kato.
6th Asia-Pacific Workshop on Systems (APSYS 2015), Tokyo, Jul 2015.

Exit-Less Isolated Execution.
Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
6th Asia-Pacific Workshop on Systems (APSYS 2015), Tokyo, Jul 2015.

Dr. Shinagawa joined the department of Information Physics and Computing, Graduate School of Information Technology, The University of Tokyo. Our laboratory is recruiting students of the master's and doctoral courses of the department.4月1日から東京大学大学院情報理工学研究科システム情報学専攻を兼担することになりました。同専攻で修士・博士課程の学生を募集していますので、受験をご検討ください。

Mr. Omote (D3 of University of Tsukuba) was awarded the President award in University of Tsukuba.筑波大学の表祐志君（D3）が学長表彰を授賞しました。

Mr. Omote (D3 of University of Tsukuba) received Ph.D in Computer Science from University of Tsukuba. He becomes a Postdoctoral Fellow of Japan Society for the Promotion of Science (JSPS) since April. 筑波大学の表祐志君（D3）が筑波大学からコンピュータサイエンスの博士号を取得しました。4月から日本学術振興会の特別研究員（PD）になりました。

Mr. Omote (D3 in University of Tsukuba) made a presentation with the title "Improving Agility and Elasticity in Bare-metal Clouds" at ASPLOS 2015.筑波大学の表祐志君（D3）が国際会議 ASPLOS 2015 で "Improving Agility and Elasticity in Bare-metal Clouds" というタイトルで発表をおこないました。

Improving Agility and Elasticity in Bare-metal Clouds.
Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
In Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015), March 2015.
doi:10.1145/2694344.2694349

Our paper, in which Mr. Omote (D3 in University of Tsukuba) is the first author, was accepted for publication in ASPLOS 2015. ASPLOS is a prestigious internatonal conference on computer architecture, operating systems, and programming languages. It is a historic conference started in 1982 and 20th this year. According to Google Scholar Metrics, ASPLOS is ranked as No. 4 in the field of Computing Systems. It seems to be the first time for a japanese university student to be the first author of an accepted paper in ASPLOS. The acceptance ratio of this year's ASPLOS was 16.7% (48/287), which was very competitive.筑波大学の表祐志君（D3）の論文が国際会議 ASPLOS 2015 に採択されました。ASPLOS はOSやプログラミング言語とアーキテクチャの境界領域に関する著名な難関国際会議で、2015年で20回目（第1回は1982年）になる歴史のある会議です。Google Scholar Metrics によると、ASPLOS は Computing Systems の分野で第4位にランキングされています。過去のASPLOSの中で日本の大学の学生が第一著者の論文が採択されるのは初めてではないかと思われます。今回の採択率は約16.7% (48/287)と非常に狭き門でした。

Improving Agility and Elasticity in Bare-metal Clouds.
Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
In Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015), March 2015. To appear.

Mr. Omote (D3 in University of Tsukuba) made a presentation at a domestic workshop called Summer United Workshops on Parallel, Distributed and Cooperative Processing (SWoPP 2014).筑波大学の表祐志君（D3）が2014年並列／分散／協調処理に関する『新潟』サマー・ワークショップ（SWoPP 2014） において研究成果を発表しました。

Hypervisor-based Interposition Framework for Storage-Class Memory.
Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.表 祐志，品川 高廣，加藤 和彦.
IPSJ SIG Technical Reports, Vol. 2014-OS-130, No. 4, IPSJ, Niigata, Jul. 2014.情報処理学会研究報告，第2014-OS-130巻，第4号，新潟，2014年7月．

Mr. Fukai (M2 in University of Tsukuba) made a poster presentation with the title "Live Migration of Bare-metal Instances" at APSys 2014, an international workshop on system software.筑波大学の深井貴明君（M2）がシステムソフトウェアに関する国際会議である 5th Asia-Pacific Workshop on Systems (APSys 2014) でポスター発表をおこないました。

Live Migration of Bare-metal Instances.
Takaaki Fukai, Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
The 5th Asia-Pacific Workshop on Systems (APSys 2014), Beijing, China, Jun. 2014.

BitVisor 1.4 has been released.が公開されました。

第11回 ディペンダブルシステムワークショップ (DSW 2013)で当研究室の学生6名がポスター発表をおこないました。

Preventing Accidental Data Disclosure in Commodity Operating Systems．
忠鉢 洋輔, 品川 高廣, 加藤 和彦．
第11回 ディペンダブルシステムワークショップ (DSW 2013)，熱海，2013年12月．

Towards agile and elastic bare-metal clouds.
Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
第11回 ディペンダブルシステムワークショップ (DSW 2013), 熱海, Dec. 2013.

物理マシン間のライブマイグレーション手法の提案．
深井 貴明, 表 祐志, 品川 高廣, 加藤 和彦．
第11回 ディペンダブルシステムワークショップ (DSW 2013)，熱海，2013年12月．

VMMによる軽量なTrusted Computing環境に関する研究．
芹川 大地, 表 祐志, 品川 高廣, 加藤 和彦．
第11回 ディペンダブルシステムワークショップ (DSW 2013)，熱海，2013年12月．

VMMによるデバイスドライバのテスト手法に関する研究．
島田 恭平, 表 祐志, 品川 高廣, 加藤 和彦．
第11回 ディペンダブルシステムワークショップ (DSW 2013)，熱海，2013年12月．

VMMを用いた2段階認証の支援．
石井 智也, 忠鉢 洋輔, 表 祐志, 品川 高廣, 加藤 和彦．
第11回 ディペンダブルシステムワークショップ (DSW 2013)，熱海，2013年12月．

大学ICT推進協議会2013年度年次大会でBitVisorをベースにした研究開発に関する発表をおこないました。

iMacでのWindowsのスケジュール起動．
品川 高廣, 榮樂 英樹, 松原 克弥．
大学ICT推進協議会2013年度年次大会，千葉，2013年12月．

筑波大学の忠鉢洋輔君（博士3年）が第一著者の論文が情報処理学会論文誌に掲載されました．

「軽量ハイパバイザによるシステムイメージの完全性保護」
忠鉢 洋輔，表 祐志, 品川 高廣, 加藤 和彦．
情報処理学会論文誌：コンピューティングシステム，第54巻，第14号，2402-2412頁，2013年12月． [電子図書館]

BitVisor Summit 2 を開催しました。

筑波大学の深井貴明君と石井智也君が第25回コンピュータシステム・シンポジウム (ComSys2013）でポスター発表をおこないました。

物理マシン間のライブマイグレーション手法の提案．
深井 貴明, 表 祐志, 品川 高廣, 加藤 和彦．
第25回コンピュータシステムシンポジウム，豊洲，2013年12月．

VMMを用いた2段階認証の支援．
石井 智也, 忠鉢 洋輔, 表 祐志, 品川 高廣, 加藤 和彦．
第25回コンピュータシステムシンポジウム，豊洲，2013年12月．

筑波大学の深井貴明君が第127回 システムソフトウェアとオペレーティング・システム研究会で発表をおこないました。

物理マシン間のライブマイグレーション手法の提案．
深井 貴明, 表 祐志, 品川 高廣, 加藤 和彦．
第127回システムソフトウェアとオペレーティング・システム研究会．
情報処理学会研究報告，第2012-OS-127巻，情報処理学会，2013年12月．

JSTの競争的研究資金である研究成果最適展開支援プログラム(A-STEP)の産学共同促進ステージ（ハイリスク挑戦タイプ）の平成25年度第2回募集に応募していた課題「高セキュリティ・高信頼のクラウドコンピューティング環境実現に向けた基盤システムソフトウェア「BitVisor」の研究開発」（企業責任者：株式会社イーゲル 松原克弥、研究責任者：品川高廣）が採択されました。

JSTによるプレスリリース

筑波大学の表祐志君がシステムソフトウェアで最も著名な国際会議である The 24th ACM Symposium on Operating Systems Principles (SOSP '13) でポスター発表をおこないました。

Towards agile and elastic bare-metal clouds.
Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
The 24th ACM Symposium on Operating Systems Principles (SOSP '13), Pennsylvania, Nov. 2013.

総務省のICT分野における競争的資金である平成25年度「先進的通信アプリケーション開発推進事業」の第2回公募に応募していた課題「広域分散ベアメタルクラウド環境のためのハイパーバイザの開発」（開発代表者：品川高廣）が採択されました。

総務省によるプレスリリース

筑波大学の芹川大地君が国際ワークショップ4th Asia-Pacific Workshop on Systems (APSYS 2013)でポスター発表をおこないました。

Towards Secure and Efficient Volunteer Computing.
Daichi Serikawa, Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
4th Asia-Pacific Workshop on Systems (APSYS 2013), Singapore, Jul. 2013.

学際大規模情報基盤共同利用・共同研究拠点（JHPCN）の平成２５年度公募に採択された課題「次世代スーパーコンピュータ向けの軽量な仮想計算機環境の実現に向けた研究開発」について、第５回シンポジウムにおいてポスター発表をおこないました。

次世代スーパーコンピュータ向けの軽量な仮想計算機環境の実現に向けた研究開発．
品川 高廣．
学際大規模情報基盤共同利用・共同研究拠点第5回シンポジウム，東京，2013年7月．

筑波大学の忠鉢洋輔君が第124回 システムソフトウェアとオペレーティング・システム研究会で発表をおこないました。

直感的ポリシー設定を可能にする動的な資源隔離機構
忠鉢 洋輔，品川 高廣，加藤 和彦．
情報処理学会研究報告，第2013-OS-124巻，第9号，情報処理学会，2013年2月．

筑波大学の大久保諒君が情報処理学会第24回コンピュータシステム・シンポジウム（ComSys 2012）のポスターセッションで発表をおこない、参加者等による投票の結果、学生ポスター賞を受賞しました。

VMM を用いたディスクアクセス高速化による OS 起動時間短縮
大久保 諒，表 祐志，品川 高廣，加藤 和彦．
第24回 コンピュータシステム・シンポジウム (ComSys 2012)，東京，2012年12月．

BitVisor Summit が2012年12月4日(火)に筑波大学東京キャンパス文京校舎にて開催されました。招待講演が3件、一般講演が6件で、40名前後の参加者による活発でディープな議論が行われました。参加していただいた皆様、ありがとうございました。

BitVisor Summit のプログラムを公開しました。BitVisor Summit は、第24回コンピュータシステム・シンポジウム（ComSys 2012）の併設イベントとして、12月4日（火）に開催されます。

招待講演が3件あり、(株)イーゲルの榮樂氏によるVMM開発時のOSやBIOSにまつわる難所の解説や、同社の松原氏による BitVisor 1.3 へ機能追加を行うミニチュートリアル、フォティーンフォティ技術研究所（FFRI）の村上氏による FFR Greenkiller のご紹介があります。また、6件の一般発表があります。

ご興味のある方は、是非参加をご検討ください。なお、ご参加される場合は、ホームページ（http://www.bitvisor.org/summit/）より参加登録をしていただけるようお願いいたします。

E-サイエンス若手・女性研究者シンポジウム2012において、平成24年度E-サイエンス若手・女性研究者助成事業で採択された課題の成果発表をおこないました。

次世代スパコン向けの軽量な仮想計算環境の実現に向けた研究開発
品川 高廣.
E-サイエンス若手・女性研究者シンポジウム2012，柏，2012年10月．

BitVisor 1.3が公開されました。当研究室と株式会社イーゲルが共同で研究開発した技術「透過的バックグラウンド暗号化」が搭載されています。当該技術は、国際会議ACM SAC 2012で発表したほか、2012年3月に特許出願をしています。また、本公開に関するプレスリリース（【大学広報ページ】【PDF】)を行いました。

Cloud Week 2012＠北海道大学の一環として実施されたアカデミッククラウドシンポジウム２０１２＠北海道大学において，BitVisorとクラウドの連携に関する講演をおこないました．

クライアント向け仮想化ソフトウェアBitVisorのクラウドへの応用
品川 高廣.
アカデミッククラウドシンポジウム２０１２＠北海道大学，2012年8月．

日本ソフトウェア科学会第29回大会の併設チュートリアル「仮想化技術最前線」において，仮想化技術に関するチュートリアルをおこないました．

Single-VM Virtualization 〜 最新技術と研究動向 〜
品川 高廣.
日本ソフトウェア科学会第29回大会併設チュートリアル: 仮想化技術最前線，2012年8月．

筑波大学の島田恭平君と芹川大地君（共に修士1年）が「2012年並列／分散／協調処理に関する『鳥取』サマー・ワークショップ（SWoPP鳥取2012）」において研究成果を発表しました．

VMMを用いた実デバイスドライバの検証環境の設計
島田 恭平, 表 祐志, 品川 高廣, 加藤 和彦．
情報処理学会研究報告，第2012-OS-122巻，第12号，情報処理学会，2012年7月．

VMMによる軽量かつセキュアなボランティアコンピューティング基盤の実現．
芹川 大地, 表 祐志, 品川 高廣, 加藤 和彦．
情報処理学会研究報告，第2012-OS-122巻，第12号，情報処理学会，2012年7月．

筑波大学の表祐志君（修士2年）が JST A-STEP（研究成果最適展開支援事業）の支援によりおこなわれた研究の成果を国際会議ACM SAC 2012において発表しました．

Hypervisor-based Background Encryption.
Yushi Omote, Yosuke Chubachi, Takahiro Shinagawa, Tomohiro Kitamura, Hideki Eiraku, Katsuya Matsubara.
In Proceedings of the 27th ACM Symposium On Applied Computing (ACM SAC 2012), Mar 2012.

JST A-STEP（研究成果最適展開支援事業）の支援により研究開発した技術を共同で特許出願しました。当該技術の一部は、国際会議 ACM SAC 2012 で発表予定です。

情報処理装置及びプログラム．
品川 高廣, 忠鉢 洋輔, 表 祐志, 北村 朋宏, 榮樂 英樹, 松原 克弥．
特許出願2012-066264，国立大学法人東京大学, 株式会社イーゲル，2012年3月22日．

「若手・女性研究者向け並列コンピュータ＆ストレージ利用」の第二期公募で研究課題が採択されました．本公募は，文部科学省最先端研究基盤事業「e-サイエンス実現のためのシステム統合・連携ソフトウェアの高度利用促進」の一環として，東京大学情報基盤センターが若手・女性研究者に対し，センターが保有する並列コンピュータおよびストレージを無償で提供するものです．採択された研究課題は「次世代スパコン向けの軽量な仮想計算環境の実現に向けた研究開発」です．

BitVisor 1.2 の公開に関するニュースがクラウドWatchに掲載されました．

純国産・オープンソースの仮想マシンモニター「BitVisor」最新版公開．
クラウドWatch，2011年11月．

当研究室と株式会社イーゲルが中心となって開発してきたハイパーバイザ「BitVisor」の最新版であるBitVisor 1.2が公開されました．BitVisorのホームページ（http://www.bitvisor.org/）からソースコードがダウンロードできます．BitVisor 1.2には，JSTのA-STEPによる研究成果の一部が含まれています．

JST A-STEP（研究成果最適展開支援事業）の支援により行われている共同研究「高セキュリティを実現する仮想マシンモニタ（BitVisor）の実用化検証」（企業代表者：イーゲル松原克弥，研究責任者：品川高廣）の成果として，筑波大学の表祐志君（修士2年）が第一著者の論文が国際会議 ACM SAC 2012 に採択されました．

Hypervisor-based Background Encryption.
Yushi Omote, Yosuke Chubachi, Takahiro Shinagawa, Tomohiro Kitamura, Hideki Eiraku and Katsuya Matsubara.
In Proceedings of the 27th ACM Symposium On Applied Computing (ACM SAC 2012), Mar 2012. To appear.

総務省 SCOPE（戦略的情報通信研究開発推進制度）の支援により行われている共同研究「ディペンダブルな自律連合型クラウドコンピューティング基盤の研究開発」（研究代表者：加藤和彦教授）の成果として，電気通信大学の大山准教授が第一著者の論文が国際会議 ACM SAC 2012 に採択されました．

Detecting Malware Signatures in a Thin Hypervisor.
Yoshihiro Oyama, Tran Giang, Yosuke Chubachi, Takahiro Shinagawa and Kazuhiko Kato.
In Proceedings of the 27th ACM Symposium On Applied Computing (ACM SAC 2012), Mar 2012. To appear.

筑波大学の表祐志君（修士2年）が第一著者の論文が情報処理学会 ACS 論文誌に掲載されました．

「仮想マシンモニタによる透過的ネットワークブート方式」
表 祐志, 品川 高廣, 加藤 和彦．
情報処理学会論文誌：コンピューティングシステム，第4巻，第4号，228-245頁，2011年10月． [BookPark]

総務省 SCOPE（戦略的情報通信研究開発推進制度）の支援により行われている共同研究「ディペンダブルな自律連合型クラウドコンピューティング基盤の研究開発」（研究代表者：加藤和彦教授）の成果として，筑波大学を昨年度卒業した松橋洋平君が第一著者の論文が Elsevier の Future Generation Computer Systems 誌にオンラインで掲載されました．

Transparent VPN Failure Recovery with Virtualization.
Yohei Matsuhashi, Takahiro Shinagawa, Yoshiaki Ishii, Nobuyuki Hirooka, Kazuhiko Kato.
Future Generation Computer Systems, Vol. 28, Issue 1, pp 78-84, Jan 2012.
doi:10.1016/j.future.2011.05.020

2011年4月1日付けで，東京大学情報基盤センター情報メディア教育研究部門の准教授に着任いたしました．