The IMDEA Software Institute
Software IMDEA. Madrid Institute for Advanced Studies in Software Development Technologies.
Read Software.imdea.org news digest here: view the latest Software IMDEA articles and content updates right away or get to their most visited pages. Software.imdea.org is not yet rated by Alexa and its traffic estimate is unavailable. It seems that Software IMDEA content is notably popular in India. We haven’t detected security issues or inappropriate content on Software.imdea.org and thus you can safely use it. Software.imdea.org is hosted with Fundacion IMDEA Software (Spain) and its basic language is English.
Content verdict: Safe
Website availability: Live
Language: English
Last check:
-
N/A
Visitors daily -
N/A
Pageviews daily -
6
Google PR -
N/A
Alexa rank
Best pages on Software.imdea.org
-
Madrid Institute for Advanced Studies in Software Development Technologies
-
On the Specification and Analysis of Normative Contracts - The IMDEA Software Institute
On the Specification and Analysis of Normative Contracts Abstract: In this talk I will present the work I have done concerning the specification and analysis of normative documents using deontic-based...
-
IMDEA Software's main projects stand out at Transfiere - The IMDEA Software Institute
IMDEA Software's main projects stand out at Transfiere The IMDEA Software Institute has been part of the Research and Innovation Space of the Madrid Regional Government at the Transfiere Forum, togeth...
Software.imdea.org news digest
-
2 years
IMDEA Software attends Quantum Communication Innovation Forum
The event organized by the EuroQCI-Spain consortium took place between November 28th and 29th, at the BAT Tower in Bilbao.
-
2 years
Advancing Automated Penetration Testing of Space Mission Protocols
This study investigates the security landscape of space mission protocols, examining standards set by the Consultative Committee of Space Data Systems (CCSDS) and the European Cooperation for Space Standardization (ECSS). The analysis reveals a common...
-
2 years
BitMLx: Cross-chain Smart Contracts for Bitcoin-style Cryptocurrencies
The limited scripting capabilities in Bitcoin-like cryptocurrencies have forced implementations of smart contracts as multi-party cryptographic protocols. To streamline this process, the BitML language allows for defining simple smart contracts and automatically...
-
2 years
Generalized Swap Graphs for Blockchain Protocols
This talk will explore a general protocol for securely realizing atomic swaps across cryptocurrencies. In atomic swaps, assets can be exchanged atomically between blockchains without relying on a trusted party. Generalizing atomic swaps to directed graphs...
Domain history
| Web host: | Fundacion IMDEA Software |
| Registrar: | Public Interest Registry |
| Registrant: | REDACTED FOR PRIVACY |
| Updated: | September 26, 2021 |
| Expires: | December 02, 2022 |
| Created: | December 02, 2005 |
Whois record
Safety scores
Trustworthiness
N/AChild safety
N/A
