Sergiu Bursuc
postdoctoral researcher
SATOSS team at University of Luxembourg
sergiu.bursuc at uni.lu
Areas of interest:
cryptography, computer security, specification and verification, automated reasoning
Sergiu Bursuc
postdoctoral researcher
SATOSS team at University of Luxembourg
sergiu.bursuc at uni.lu
Areas of interest:
cryptography, computer security, specification and verification, automated reasoning