質問編集履歴

1

参照の追加

2018/04/09 05:33

投稿

s0r4syl
s0r4syl

スコア14

test CHANGED
File without changes
test CHANGED
@@ -14,11 +14,11 @@
14
14
 
15
15
  ## 試したこと
16
16
 
17
- 1. OP-TEE
17
+ 1. [OP-TEE](https://github.com/OP-TEE/optee_os)
18
18
 
19
- 2. Trusted Firmware
19
+ 2. [Trusted Firmware](https://github.com/ARM-software/arm-trusted-firmware)
20
20
 
21
- 3. Genode
21
+ 3. [Genode](https://github.com/genodelabs/genode)
22
22
 
23
23
 
24
24
 
@@ -27,3 +27,15 @@
27
27
 
28
28
 
29
29
  2,3はビルドしてデモの実行などはできるが拡張を実装したり、そもそも出来ることがよくわかっていない.
30
+
31
+
32
+
33
+ ## 参照
34
+
35
+ - [Inspecting data from the safety of your trusted execution environment](https://www.blackhat.com/docs/ldn-15/materials/london-15-Williams-Inspecting-Data-From-The-Safety-Of-Your-Trusted-Execution-Environment-wp.pdf)
36
+
37
+ - [T-VMI](http://ieeexplore.ieee.org/abstract/document/7973734/)
38
+
39
+ - [Genode book](https://genode.org/documentation/genode-foundations-17-05.pdf)
40
+
41
+ - [TrustShadow](https://arxiv.org/pdf/1704.05600.pdf)