Efficient Formally Secure Compilers to a Tagged Architecture

Efficient Formally Secure Compilers to a Tagged Architecture is a science project.

Event research_grant eu_cordis:715753

Press Enter · cited answer in seconds

Key Facts

Start time: January 1, 2017^[1]
End time: December 31, 2021^[2]
Participant: Max Planck Society^[3], eu_cordis_org:999547074^[4]
Short name: SECOMP^[5]
Budget: 1,498,444 euro^[6]
Funding scheme: Horizon 2020^[7]

📜 Data licence

© European Union, 1995-2026, CORDIS (cordis.europa.eu). Reused under Commission Decision 2011/833/EU (CC BY 4.0). Changes: selected fields restated as statements. Creative Commons Attribution 4.0 International (Commission Decision 2011/833/EU) · CORDIS — EU research results

⭐ Popularity Graph

0/100 long tail

Quick Facts

Instance of science project

Short name SECOMP

Properties

Budget 1,498,444 EUR

End time December 31, 2021

Funding scheme Horizon 2020

Participant Max Planck Society, INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE

Start time January 1, 2017

External References (3)

Cordis project id 715753

Doi 10.3030/715753

Eu rcn 207394

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA

4ort.xyz Knowledge Graph. (2026). Efficient Formally Secure Compilers to a Tagged Architecture. Retrieved October 8, 2026, from https://4ort.xyz/entity/efficient-formally-secure-compilers-to-a-tagged-architecture

MLA

“Efficient Formally Secure Compilers to a Tagged Architecture.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Oct. 2026, https://4ort.xyz/entity/efficient-formally-secure-compilers-to-a-tagged-architecture.

BibTeX

@misc{4ortxyz_efficient-formally-secure-compilers-to-a-tagged-architecture_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Efficient Formally Secure Compilers to a Tagged Architecture}}, year = {2026}, url = {https://4ort.xyz/entity/efficient-formally-secure-compilers-to-a-tagged-architecture}, note = {Accessed: 2026-10-08}}

LLM prompt

According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Efficient Formally Secure Compilers to a Tagged Architecture — https://4ort.xyz/entity/efficient-formally-secure-compilers-to-a-tagged-architecture (retrieved 2026-10-08)

Canonical URL: https://4ort.xyz/entity/efficient-formally-secure-compilers-to-a-tagged-architecture · Last refreshed: October 8, 2026