INESC TEC researchers attend top conference on information encryption and security

A team of five researchers from the High Assurance Software Laboratory (HASLab) – composed of Manuel Barbosa, José Bacelar Almeida, Bernardo Portela, Tiago Oliveira and Vitor Pereira – presented three scientific papers at the 26^th edition of the Conference on Computer and Communications Security (CCS 2019). The event took place between November 11^th and 15^th, in London.

CCS 2019 is considered one of the top conferences in the field of information encryption and security and it aims to bring together researchers, professionals, programmers and information security users from around the world to explore innovative ideas and outputs in the field. CCS is an A* rated conference according to the Australian core ranking, which provides the assessment of major conferences in the fields of computing.

“Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3”, “A Machine-Checked Proof of Security for AWS Key Management Service” and “A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation” are the titles of the articles by INESC TEC’s researchers, developed in partnership with other researchers from industry and academic partners, including Amazon, the Max Planck Institute for Security and Privacy and the Stanford Research Institute, as one can check here.

The researchers mentioned in this news piece are associated with INESC TEC, UMinho e UP-FCUP.