Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu

INESC TEC research in the field of security and cryptography presented at a top conference

The research carried out by a team of researchers from INESC TEC’s High-assurance Software Laboratory (HASLab), in the field of computer security, led ​to the presentation of three scientific articles at the ​​ACM Conference on Computer and Communications Security (CCS)​​, one of the most important conferences in this area – which took place online between November 15 and 18.

19th November 2021

One of the articles, entitledMachine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head“, explores the implementation of zero-knowledge proofs, i.e., interactive protocols that allow an entity to demonstrate it knows a secret to other entities, without disclosing it. “These protocols can be used, for instance, to anonymise actors in cryptocurrency systems, and are an important tool for the creation of digital signatures with post-quantum security”, said Hugo Pacheco, a researcher at HASLab and one of the authors of the article.

The articles “Mechanized Proofs of Adversarial Complexity and Application to Universal Composabilityand EasyPQC: Verifying Post-Quantum Cryptography” aim to contribute to the validation of security proofs for cryptographic protocols used in the present and in the future, using formal verification techniques. “These contributions expand the universe of applications of the EasyCrypt tool, since they now enable addressing the use of resources and techniques to justify security against attacks using quantum computers”, mentioned Manuel Barbosa, researcher at HASLab and one of the authors of the article.

Cooperation with international institutions

It is important to highlight that the first research action is the result of the joint efforts by Manuel Barbosa, Hugo Pacheco, and José Bacelar Almeida, in collaboration with SRI International, an independent, non-profit research institute based in California, U.S.A. This collaborative research took place within the scope of the SIEVE project, which aims to advance the maturity and scalability of the existing zero-knowledge proof technology.

The remaining articles stem from Manuel Barbosa’s work in partnership with an international team of researchers who have contributed to the development of the EasyCrypt tool.

 Renowned conference in the field of security and cryptography

The CCS 2021 conference is rated A* according to the Australian core ranking that provides reviews of leading conferences in computing, and it aims to bring together information security researchers, professionals, programmers and users from around the world, in order to explore innovative ideas and results in the area.

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