The European project PRACTICE (Privacy-Preserving Computation in the Cloud), where INESC TEC was one of the partners, represented by the High-Assurance Software Laboratory (HASLab), was concluded in 2016 with an excellent evaluation by the European Commission.
The goal of PRACTICE, a European project in the field of information security, was to develop cloud technologies that guarantee the privacy of data. Unlike existing solutions on the market, where cloud providers and other internal agents have indiscriminate access to their users' data, the PRACTICE technology prevents these unauthorised agents from having access to confidential information. By processing data in encoded form, this enables new business models that exploit the economic and technological benefits of the cloud.
As part of the project, the HASLab team created a formally verified secure computing infrastructure, which makes it possible to specify and safely analyse applications developed in the cloud, convert application components that manipulate private data into secure computing, and execute secure cloud computing using cryptographic protocols that guarantee total data privacy.
HASLab also pioneered the development of highly efficient protocols that allow for the delegation of security guarantees to readily available trusted hardware technologies, such as those provided by the most recent Intel processors.
This project had global funding of around € 7.5M and the last evaluation of the European Commission took place in December in Brussels, Belgium.