The project PassCert – Exploring the Impact of Formal Verification on the Adoption of Password Security Software, started in February and will allow the creation of a password manager that ensures security properties on data storage and generation of passwords, using formal verification. More specifically, the PassCert project aims to determine whether formal verification can increase […]
Projects
27 posts
In order to solve structural problems, the intervention on the exterior and interior of the main chapel of Porto Cathedral started last April, with the monitoring of a team of ISISE researchers, namely Nuno Mendes and Paulo Lourenço. However, ISISE’s collaboration with the Regional Directorate of Culture of the North […]
Intermediate results of the programs Sensible Car and Factory of the Future, that result from the partnership between UMinho and Bosch, were presented this Wednesday, April 28th, in the main auditorium of the Campus of Azurém. The company’s representative recognizes that cannot imagine “Bosch in Braga without the partnership of […]
The embryo of 21st century networked entertainment, the MOOsaico platform was created in 1994 by UMinho students and was once the only one in the world with bilingual support. It is the oldest virtual environment in Portugal and was, for some time, the only one in the world with multilingual […]
It was patent until January 20th, in the main nave of building 2 of the School of Engineering, the exhibition of the works developed by the students of the 1st year in Design and Fashion Marketing within the Interdisciplinary Project in Design I – Dress a tale. The project aimed, […]
Rafaela Cunha, Fashion Design and Marketing student, was the winner of the IV Young Creators Competition 2020 promoted by the Municipality of Braga. Diana Pereira and Luana Silva, also students of Design and Fashion Marketing at the School of Engineering, were finalists in this contest, making it more challenging for […]
The project CirMAt – CIRcular aggregates for sustainable road and building MATerials led by the dst group and having as partners the ISISE research center of the UMinho School of Engineering, the Instituto Superior Técnico (IST) and the Norwegian University of Science and Technology (NTNU) was highlighted at European level […]
The Global Ocean Accounts Partnership aims to establish the state of marine ecosystems and the social and economic impact they have on communities and countries where they operate Tiago Miranda and Eduardo Pereira, professors of the Department of Civil Engineering of EEUM, are the only Portuguese members of the “Global […]
The CoronaSurveys project, with Carlos Baquero – researcher at High-Assurance Software Laboratory (HASLab) and professor at EEUM -, was one of the five finalists of the international competition COVID-19 Symptom Data Challenge. Selected among more than 115 people and 50 organisations, CoronaSurveys earned a prize of $5K; the presentation of […]
The To-Be-Green spin-off and the CVR – Centre for Waste Valorisation interface are part of a new project that was launched in Guimarães, during the European Week for Waste Prevention, entitled “Collecting and Valuing” and that foresees a strong campaign of awareness, collection and valuation of masks. This is an […]