Viewing profile — catalin_hritcu
catalin_hritcu
HN member- Joined
- Tue, Jul 11, 2017, 12:58 PM UTC
- HN karma
- 22
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About catalin_hritcu
Tenured Research Group Leader at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany.
Recent public activity
-
comment
Comment #23022076
Some work on verifying QUIC packet encryption using F* is happening at Microsoft Research: https://github.com/project-everest/everquic-crypto
-
comment
Comment #15584048
One can always look at the empty part of the glass, but the quote does continue with a big full part: "The TLS 1.3 handshake verification is work in progress and still relies on th…
-
comment
Comment #14743803
Rust is a cool language for safe low-level programming with concurrency, but it is not targeted at program verification. F* can also do safe low-level programming by extraction to …