IMDEA Software View Homepage


Ontology type: grid:Facility  | foaf:Organization     


Organization Info

Publications in SciGraph latest 20 shown

  • 2019-04 Automated Analysis of Cryptographic Assumptions in Generic Group Models in JOURNAL OF CRYPTOLOGY
  • 2019-01-12 Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations in JOURNAL OF CRYPTOGRAPHIC ENGINEERING
  • 2018-11-08 Online and Offline Stream Runtime Verification of Synchronous Systems in RUNTIME VERIFICATION
  • 2018-11-08 COST Action IC1402 Runtime Verification Beyond Monitoring in RUNTIME VERIFICATION
  • 2018-11-08 Striver: Stream Runtime Verification for Real-Time Event-Streams in RUNTIME VERIFICATION
  • 2018-10-30 Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. VERIFICATION
  • 2018-10-30 Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. INDUSTRIAL PRACTICE
  • 2018-10-20 i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines in WEB INFORMATION SYSTEMS ENGINEERING – WISE 2018
  • 2018-10 Homomorphic signatures with sublinear public keys via asymmetric programmable hash functions in DESIGNS, CODES AND CRYPTOGRAPHY
  • 2018-08-03 Matrioska: A Compiler for Multi-key Homomorphic Signatures in SECURITY AND CRYPTOGRAPHY FOR NETWORKS
  • 2018-08 Introduction to the special issue on runtime verification in FORMAL METHODS IN SYSTEM DESIGN
  • 2018-07-25 Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions Without Pairings in ADVANCES IN CRYPTOLOGY – CRYPTO 2018
  • 2018-06-10 On the Security Notions for Homomorphic Signatures in APPLIED CRYPTOGRAPHY AND NETWORK SECURITY
  • 2018-06-10 Continuously Non-malleable Codes with Split-State Refresh in APPLIED CRYPTOGRAPHY AND NETWORK SECURITY
  • 2018-03-31 Masking the GLP Lattice-Based Signature Scheme at Any Order in ADVANCES IN CRYPTOLOGY – EUROCRYPT 2018
  • 2018 An Assertion-Based Program Logic for Probabilistic Programs in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2018-01 Practical Homomorphic Message Authenticators for Arithmetic Circuits in JOURNAL OF CRYPTOLOGY
  • 2018 Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2018 Program Analysis Is Harder Than Verification: A Computability Perspective in COMPUTER AIDED VERIFICATION
  • 2018 Timed Epistemic Knowledge Bases for Social Networks in FORMAL METHODS
  • Parent Organizations

    JSON-LD is the canonical representation for SciGraph data.

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "https://software.imdea.org/"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "2006-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.482873.2/address-0"
          }
        ], 
        "grid:hasParent": [
          {
            "id": "http://www.grid.ac/institutes/grid.429045.e"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.482873.2"
          }
        ], 
        "grid:isni": [
          {
            "@value": "0000 0004 1762 4127"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.482873.2", 
        "rdfs:label": "IMDEA Software", 
        "sdDataset": "grid", 
        "skos:altLabel": [
          {
            "@value": "Madrid Institute for Advanced Studies in Software Development Technologies"
          }
        ], 
        "skos:prefLabel": [
          {
            "@value": "IMDEA Software"
          }
        ], 
        "type": [
          "http://xmlns.com/foaf/0.1/Organization", 
          "http://www.grid.ac/ontology/Facility"
        ]
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://www.grid.ac/institutes/grid.482873.2'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://www.grid.ac/institutes/grid.482873.2'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://www.grid.ac/institutes/grid.482873.2'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://www.grid.ac/institutes/grid.482873.2'


     

    This table displays all metadata directly associated to this object as RDF triples.

    12 TRIPLES      11 PREDICATES      12 URIs      6 LITERALS

    Subject Predicate Object
    1 grid-institutes:grid.482873.2 sgo:sdDataset grid
    2 grid:establishedYear 2006-01-01
    3 grid:hasAddress grid-institutes:grid.482873.2/address-0
    4 grid:hasParent grid-institutes:grid.429045.e
    5 grid:id grid.482873.2
    6 grid:isni 0000 0004 1762 4127
    7 rdf:type grid:Facility
    8 foaf:Organization
    9 rdfs:label IMDEA Software
    10 skos:altLabel Madrid Institute for Advanced Studies in Software Development Technologies
    11 skos:prefLabel IMDEA Software
    12 foaf:homepage https://software.imdea.org/
     




    Preview window. Press ESC to close (or click here)


    ...