User:Quaenuncabibis/IMDEA Software Institute

The IMDEA Software Institute (Madrid Institute for Advanced Studies in Software Development Technologies) is a research institute dedicated to software development technologies. It was established in 2006 by the Madrid Regional Government and is located at the Montegancedo Campus of the Polytechnic University of Madrid.

History
The Institute was established as one of seven IMDEA institutes by the Madrid Regional Government in 2006 to enhance scientific research and technological innovation in the region. It is legally constituted as an independent, non-profit foundation.

Research
The institute focuses on advancing the scientific and technological foundations necessary for the development of high-quality software systems. Their research is centered on three primary areas: Security and Privacy, Program Analysis and Verification, and Languages, Compilers, and Systems.


 * Security and Privacy: The institute develops technology to ensure secure computation, communication, and storage in untrusted environments, such as the Internet of Things (IoT). This includes novel cryptographic protocols and privacy-enhancing technologies, as well as advanced techniques for detecting and analyzing vulnerabilities in software and hardware.
 * Program Analysis and Verification: This area focuses on developing tools and methodologies to help software engineers understand and verify the key properties of complex systems. The research includes automatic proof generation for software correctness and safety, crucial for critical domains such as avionics and automotive software.
 * Languages, Compilers, and Systems: Research in this area aims to improve the ways in which software engineers can describe and implement their ideas, focusing on creating more efficient, maintainable, and reusable software. This includes developing new programming languages, compilers, and systems that ensure high performance and security.

Media Coverage
The institute's research has garnered substantial media attention. For example, their work on detecting malware in Google Play Store was featured in an article on Gizmeek. Additionally, their development of a tool for tracking cybercrime as part of the Biocrypt project was covered by several major outlets, including ABC, Al cabo de la calle, and Europa Press. Furthermore, the institute's contributions to digital transformation in Madrid were highlighted in a report by La Razón. Their quantum communication network was covered by La Vanguardia. Their research on security threats in smart homes has been covered by El País,  ElDiario.es, and 20 Minutos. Additionally, research on the economic aspects of cybercrime, specifically the hidden fortunes and overestimations in cybercrime revenue, was highlighted by Eurasia Review, Europa Press, and Madrimasd. The investigation into the use of disposable phone numbers in online frauds was also featured in an article by Economía 3. Lastly, the hidden riches of cybercrime were explored in detail by Knowridge Science Report. Furthermore, the institute's contributions to digital transformation in Madrid were highlighted in a report by La Razón.