サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
デスク環境を整える
ts.data61.csiro.au
Verified seL4 on secure RISC-V processors Authors Gernot Heiser DATA61 UNSW Sydney AbstractRISC-V has many attractions, ranging from the openness of the architecture, its clean-slate design based on simplicity and scalability, as well as the RISC-V Foundation's strong commitment to security from the ground up. As such, RISC-V is an extremely attractive platform for the open-source seL4 microkernel
L4 microkernels: The lessons from 20 years of research and deployment Authors Gernot Heiser and Kevin Elphinstone NICTA AbstractThe L4 microkernel has undergone 20 years of use and evolution. It has an active user and developer community, and there are commercial versions that are deployed on a large scale and in safety-critical systems. In this article we examine the lessons learnt in those 20 ye
Overview CacheBleed is a side-channel attack that exploits information leaks through cache-bank conflicts in Intel processors. By detecting cache-bank conflicts via minute timing variations, we are able to recover information about victim processes running on the same machine. Our attack is able to recover both 2048-bit and 4096-bit RSA secret keys from OpenSSL 1.0.2f running on Intel Sandy Bridge
If only there was a place where I could prove theorems for money, change the world, and have fun while doing it... Sounds too good to be true? In the Trustworthy Systems team, that's what we do for a living. We are the creators of seL4, the world's first fully formally verified operating system kernel with extreme performance and strong security & correctness proofs. Our highly international team
このページを最初にブックマークしてみませんか?
『https://ts.data61.csiro.au/』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く