Crossmark

A formal framework to design and prove trustworthy memory controllers

Crossref DOI link: https://doi.org/10.1007/s11241-023-09411-3

Published Online: 2023-11-14

Published Print: 2023-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Lisboa Malaquias, Felipe https://orcid.org/0000-0002-0292-3437
Asavoae, Mihail https://orcid.org/0000-0001-5291-8567
Brandner, Florian https://orcid.org/0000-0002-2493-7864
Funding

Funding for this research was provided by:

Labex Digicosme (ANR11IDEX000302)
License Information

Text and Data Mining valid from 2023-11-14

Version of Record valid from 2023-11-14
More Information

Article History

Accepted: 25 October 2023

First Online: 14 November 2023