-
1
SoCurity: A Design Approach for Enhancing SoC Security
Veröffentlicht in IEEE computer architecture letters
VolltextArtikel -
2
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Veröffentlicht in arXiv.org
VolltextArtikel -
3