
About the Project
Secure and Resilient Cloud Architecture
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
--
Members
Team Leaders
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.

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.








