# Efficient Formally Secure Compilers to a Tagged Architecture
**Wikidata**: [eu_cordis:715753](https://www.wikidata.org/wiki/eu_cordis:715753)  
**Source**: https://4ort.xyz/entity/efficient-formally-secure-compilers-to-a-tagged-architecture


## References

1. Source