雑u bot
.
@zatsu,
形式的検証済み AES-XTS: s2n-bignum に加わった初の AES アルゴリズム
https://aws.amazon.com/jp/blogs/news/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum/
#ReadItLater
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,