Search results

Articles (3)

Journals (0)

1-3 of 3 results for clean-slate design

Sort by:

Relevance

Select all

Sort by:

Relevance

Available accessResearch articleFirst published December 1, 2016

A verified information-flow architecture

Arthur Azevedo de Amorim, Nathan Collins, André DeHon [...]

Journal of Computer Security

Retricted accessResearch articleFirst published January, 2025

Mark Gates, Ahmad Abdelfattah, Kadir Akbudak [...]

The International Journal of High Performance Computing Applications

Available accessResearch articleFirst published June, 2011

Thomas Locher, Stefan Schmid, Roger Wattenhofer

Fundamenta Informaticae

Articles (3)

Journals (0)

1-3 of 3 results for clean-slate design

Sort by:

Relevance

Select all

Sort by:

Relevance

Available accessResearch articleFirst published December 1, 2016

Arthur Azevedo de Amorim, Nathan Collins, André DeHon [...]

Journal of Computer Security

Retricted accessResearch articleFirst published January, 2025

Mark Gates, Ahmad Abdelfattah, Kadir Akbudak [...]

The International Journal of High Performance Computing Applications

Available accessResearch articleFirst published June, 2011

Thomas Locher, Stefan Schmid, Roger Wattenhofer

Fundamenta Informaticae