6 ms·
I just came across this project recently https://github.com/AeneasVerif/eurydice/ https://github.com/AeneasVerif/eurydice/ from Microsoft Azure Research (refere
by cyberclimb 10mo ago
I just came across this project recently https://github.com/AeneasVerif/eurydice/ https://github.com/AeneasVerif/eurydice/ from Microsoft Azure Research (referenced here https://www.microsoft.com/en-us/research/blog/rewriting-symcrypt-in-rust-to-modernize-microsofts-cryptographic-library/ https://www.microsoft.com/en-us/research/blog/rewriting-symc...)
- rbanffy 10mo agoFascinating. I wonder why they didn’t make it a LLVM backend, but, then, I guess it’s important for the C code to be readable as well.