芦苇
发帖子
探索
今天发现最新帖子添加订阅
关注
订阅
我我的

Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory

Ingo Blechschmidt,Ingo Blechschmidt 的个人主页。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论

登录芦苇

登录后关注作者、收藏内容和参与讨论。

关于作者
Ingo BlechschmidtIngo Blechschmidt 的个人主页。
相关文章
(5/6) The new technology which allows us to construct this explicit counterexample is stateful realizability. There are several precursors and then also several more recent developments, but I'm refer查看相关内容
(4/6) Now here is a fantasy of how to construct an explicit counterexample. We build two equivalence relations 𝑅 and 𝑆 on ℕ in such a way that the quotients ℕ/𝑅 and ℕ/𝑆 are both streamless but the查看相关内容
(3/6) ... there is a formal space of functions ℕ → 𝑋. This space has as its points the functions ℕ → 𝑋, whatever they might be. But a formal space is much more than its collection of points, and is查看相关内容