Company:University of Porto (FCUP) and INESC TECLocation:Porto
Language for high-assurance and high-speed cryptography