Jump to content

User:Quaenuncabibis/IMDEA Software Institute

Coordinates: 40°23′36.5″N 3°49′39.8″W / 40.393472°N 3.827722°W / 40.393472; -3.827722
From Wikipedia, the free encyclopedia
IMDEA Software Institute
Logo of the IMDEA Software Institute
Other nameMadrid Institute for Advanced Studies in Software Development Technologies
Parent institutionIMDEA
Established2006
FocusSoftware development technologies
Key peopleManuel Carro (Director), María Alcaraz (General Manager), Roberto di Cosmo (President of the Board of Trustees)
AddressCampus Montegancedo, 28223 Pozuelo de Alarcón (Madrid), Spain
Location
Montegancedo Science and Technology Park at the Technical University of Madrid (UPM)
,
Pozuelo de Alarcón
,
Spain
Coordinates40°23′36.5″N 3°49′39.8″W / 40.393472°N 3.827722°W / 40.393472; -3.827722
Websitesoftware.imdea.org

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

History

[edit]

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.[2] It is legally constituted as an independent, non-profit foundation.[1]

Research

[edit]

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.[3][4]

  • 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.[5][6][7][8]
  • 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.[9][10][11][12]
  • 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.[13][14][15][16]

Media Coverage

[edit]

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.[17] Additionally, their development of a tool for tracking cybercrime was covered by several major outlets, including ABC,[18] COPE,[19] and Europa Press.[20] Furthermore, the institute's contributions to digital transformation in Madrid were highlighted in a report by La Razón.[21] Their quantum communication network was covered by La Vanguardia.[22] Their research on security threats in smart homes has been covered by El País,[23] ElDiario.es,[24] and 20 Minutos.[25] Additionally, research on the economic aspects of cybercrime, specifically the hidden fortunes and overestimations in cybercrime revenue, was highlighted by Eurasia Review,[26] Europa Press,[27] and Madrimasd.[28] The investigation into the use of disposable phone numbers in online frauds was also featured in an article by ADSLZone.[29] Lastly, the hidden riches of cybercrime were explored in detail by Knowridge Science Report[30] and El Mundo.[31]

References

[edit]
  1. ^ a b "About - The IMDEA Software Institute". software.imdea.org. Retrieved 2024-05-31.
  2. ^ a b "Institutos IMDEA: 15 años investigando y transfiriendo conocimiento a la sociedad". El Español (in Spanish). 2022-11-14. Retrieved 2024-05-31.
  3. ^ IMDEA Software Organizational Structure
  4. ^ de Andrés Fazio, Salvador; Urquía Grande, Elena; Pérez Estébanez, Raquel (2022-02-11). "The "secret life" of the Statement of Cash Flow: A bibliometric analysis". Cuadernos de Gestión. 22 (1): 143–159. doi:10.5295/cdg.211481rp. ISSN 1131-6837.
  5. ^ Barthe, Gilles; Gourjon, Marc; Grégoire, Benjamin; Orlt, Maximilian; Paglialonga, Clara; Porth, Lars (2021-02-23). "Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification". IACR Transactions on Cryptographic Hardware and Embedded Systems: 189–228. doi:10.46586/tches.v2021.i2.189-228. ISSN 2569-2925.
  6. ^ Caballero, Juan; Gomez, Gibran; Matic, Srdjan; Sánchez, Gustavo; Sebastián, Silvia; Villacañas, Arturo (2023-07-01). "The Rise of GoodFATR: A Novel Accuracy Comparison Methodology for Indicator Extraction Tools". Future Generation Computer Systems. 144: 74–89. doi:10.1016/j.future.2023.02.012. ISSN 0167-739X.
  7. ^ "Researchers create innovative verification techniques to increase security in artificial intelligence and image processing". ERC. 2024-03-26. Retrieved 2024-05-31.
  8. ^ Bravo, Manuel; Chockler, Gregory; Gotsman, Alexey (2022-12-01). "Making Byzantine consensus live". Distributed Computing. 35 (6): 503–532. doi:10.1007/s00446-022-00432-y. ISSN 1432-0452.
  9. ^ Garcia-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V. (March 2021). "Incremental and Modular Context-sensitive Analysis". Theory and Practice of Logic Programming. 21 (2): 196–243. doi:10.1017/S1471068420000496. ISSN 1471-0684.
  10. ^ "Researchers create innovative verification techniques to increase security in artificial intelligence and image processing". ERC. 2024-03-26. Retrieved 2024-05-31.
  11. ^ Sebastián, Silvia; Diugan, Raluca-Georgia; Caballero, Juan; Sanchez-Rola, Iskander; Bilge, Leyla (2023-12-04). "Domain and Website Attribution beyond WHOIS". Proceedings of the 39th Annual Computer Security Applications Conference. ACSAC '23. New York, NY, USA: Association for Computing Machinery: 124–137. doi:10.1145/3627106.3627190. ISBN 979-8-4007-0886-2.
  12. ^ Naser-Pastoriza, Alejandro; Chockler, Gregory; Gotsman, Alexey (2024). "Fault-Tolerant Computing with Unreliable Channels". DROPS-IDN/v2/document/10.4230/LIPIcs.OPODIS.2023.21. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. doi:10.4230/LIPIcs.OPODIS.2023.21.{{cite journal}}: CS1 maint: unflagged free DOI (link)
  13. ^ Farka, František; Nanevski, Aleksandar; Banerjee, Anindya; Delbianco, Germán Andrés; Fábregas, Ignacio (2020-10-06), On Algebraic Abstractions for Concurrent Separation Logics (artefact), Zenodo, doi:10.5281/zenodo.4118715, retrieved 2024-06-03
  14. ^ Gallagher, John P.; Hermenegildo, Manuel; Morales, José; Lopez-Garcia, Pedro (2023). Glück, Robert; Kafle, Bishoksan (eds.). "Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation". Logic-Based Program Synthesis and Transformation. Cham: Springer Nature Switzerland: 28–38. doi:10.1007/978-3-031-45784-5_3. ISBN 978-3-031-45784-5.
  15. ^ Borkowski, Michael H.; Vazou, Niki; Jhala, Ranjit (2024-01-05). "Mechanizing Refinement Types". Artifact for "Mechanizing Refinement Types". 8 (POPL): 70:2099–70:2128. doi:10.1145/3632912.
  16. ^ Benarroch, Daniel; Campanelli, Matteo; Fiore, Dario; Gurkan, Kobi; Kolonelos, Dimitris (2023-11-01). "Zero-knowledge proofs for set membership: efficient, succinct, modular". Designs, Codes and Cryptography. 91 (11): 3457–3525. doi:10.1007/s10623-023-01245-1. ISSN 1573-7586.
  17. ^ "See how much Google Play Store is infected with malware". Gizmeek. 2023-01-01.
  18. ^ "La lucha contra el cibercrimen de Biocrypt". ABC. 2023-01-04.
  19. ^ Madrid, Comunidad de (2023-01-04). "La Comunidad de Madrid desarrolla una herramienta para rastrear el cibercrimen de Bitcoins". COPE (in Spanish). Retrieved 2024-09-25.
  20. ^ "IMDEA Software presenta Biocrypt para rastrear el cibercrimen". Europa Press. 2023-01-04.
  21. ^ "Transformación digital en Madrid". La Razón. 2023-01-04.
  22. ^ "La red de comunicación cuántica de Madrid despliega su primera fase". La Vanguardia (in Spanish). 2021-03-24. Retrieved 2024-07-12.
  23. ^ Colomé, Jordi Pérez (2023-10-30). "Así nos espían los dispositivos inteligentes y revelan información de nuestras casas: "La gente no tiene ni idea"". El País (in Spanish). Retrieved 2024-07-12.
  24. ^ "Científicos advierten de las amenazas de seguridad en los hogares "inteligentes"". ElDiario.es (in Spanish). 2023-10-26. Retrieved 2024-07-12.
  25. ^ "Estudio: espiarte y robarte con dispositivos inteligentes en el hogar". 20 Minutos. 2023-10-27.
  26. ^ "IMDEA Software researchers reveal hidden fortunes and surprising overestimations in cybercrime revenue". Eurasia Review. 2023-12-17.
  27. ^ "Estudio de IMDEA y UC3M revela abuso generalizado de números de teléfono desechables en fraudes online". Europa Press. 2023-12-19.
  28. ^ "Investigadores de IMDEA Software revelan fortunas ocultas y sobreestimaciones sorprendentes en los ingresos de la ciberdelincuencia". Madrimasd. 2023-12-19.
  29. ^ "Alertan del preocupante crecimiento de uso de esta clásica función de nuestro móvil para robar nuestros datos". ADSLZone (in Spanish). Retrieved 2024-09-25.
  30. ^ "The hidden riches of cybercrime: A startling look at Bitcoin earnings". Knowridge Science Report. 2023-12-19.
  31. ^ "Se revela el 'botín' robado por los cibercriminales del Bitcoin: 39 veces mayor a las estimaciones realizadas". ELMUNDO (in Spanish). 2023-12-15. Retrieved 2024-09-25.
[edit]

See Also

[edit]



This page will be placed in the following categories if it is moved to the article namespace.
Categories:
Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Quaenuncabibis/IMDEA_Software_Institute&oldid=1247709377"