https://www.rcis.aist.go.jp/project/FailSafeC-ja.html 2008年4月11日、「Release 1」を一般公開しました。 https://staff.aist.go.jp/y.oiwa/FailSafeC/ Fail-Safe C は、メモリ安全性を保証する ANSI C 言語のフルスペックの実装です。 ANSI C 言語の仕…

http://oku.edu.mie-u.ac.jp/~okumura/blog/node/2152同じ著者の過去の論文（の一つ）が酷い、とその分野（≠暗号）の人から聞きました。当たり前かもしれませんが、どんな学会・論文誌でも発表すれば良いというわけではなく、やはりきちんとした学会・論文誌…