INESC TEC
INESC TEC
INESC TEC
Search results for:
Filter your results

0 Search results

SafeCloud

INESC TEC

About the Project

Secure and Resilient Cloud Architecture

Despite all their advantages and importance to the competitiveness of modern economies, cloud infrastructures raise fundamental questions related to the privacy, integrity, and security of offsite data storage and processing tasks. There are major privacy and security concerns about data located in the cloud. These concerns are currently not addressed satisfactorily by existing technologies.
Acronym

SafeCloud

Responsible

Rui Carlos Oliveira

Status

Closed

Starting Date

January 1, 2015

Ending Date

January 31, 2018

Effective End Date

January 31, 2018

Global Budget

€2,150,810.00

Funding

€561,508.00

Website

--

Datasheet

--

Dissemination

INESC TEC has a unique and differentiating management model, improved over its 35 years of history. Reflecting its unique position between academia and industry, the management at INESC TEC carefully balances, in a hybrid model, the academic culture of scientific freedom and dialogue with a culture of efficiency and responsibility in management.

Associated Centres

Innovation, Technology and Entrepreneurship

The mission of our Centre for Innovation, Technology and Entrepreneurship (CITE) is to carry out multidisciplinary activities at the intersection of technology, innovation, sustainability, and management, promoting the exploration, implementation, and adoption of responsible and sustainable socio-technical systems. We focus on the areas of Innovation Management, Technology Management, and Technology-Based Entrepreneurship, exploring theories, methods, models, and tools to support the innovation process. Through research and innovation activities—including consultancy and advanced training—we address environmental, social, and economic challenges, contributing to the exploration, implementation, and adoption of innovative solutions. We create impact through research and innovation outcomes, aligning our activities with the Sustainable Development Goals (SDGs). We place high value on collaboration with both national and international partners. We are a member of the Enterprise Europe Network (EEN), where our mission is to support Portuguese companies on their innovation journey by identifying and fostering international partnerships for business or innovation development, while also helping to find the most relevant funding sources. We support the implementation of innovation management systems, integrating technology management with new business models and value chains, and promoting sustainable and responsible practices. We also run open innovation and acceleration programmes, contributing to the development of startups and the strengthening of innovation ecosystems. We work across three core areas: innovation management and the front end of innovation (FEI), technology management and policy, and entrepreneurship and business model innovation.

Innovation, Technology and Entrepreneurship

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.

High-Assurance Software