Sergiu Bursuc


cryptographic protocols

computer security

formal verification

automated reasoning