△ Prismo / fedibird
formal-method
Stories
Comments
+ ストーリーを追加
#formal-method
Follow
人気
最新
1
Nadim's Posts - Selfie's Reflections on Formal Verification for TLS 1.3: Largely Opaque
@
omasanori
nadim.micro.blog
#
security
#
tls
Presenter more
#formal-method
Selfie is a new attack on TLS 1.3 that was published last week by researchers Nir Drucker and Sha...
0
コメント
投稿
2019-08-23 13:50:24 UTC