Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
erf
Joined September 2017
- Tweets7.9K
- Following469
- Followers816
- Likes19.5K
@ciphernyx is protected
Only followers this account has approved can see its posts.