software fault isolation
Recently Published Documents

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

eWASM: Practical Software Fault Isolation for Reliable Embedded Devices

2020 ◽  
Vol 39 (11) ◽  
pp. 3492-3505
Author(s):  
Gregor Peach ◽  
Runyu Pan ◽  
Zhuoyi Wu ◽  
Gabriel Parmer ◽  
Christopher Haster ◽  
...  
Keyword(s):  
Fault Isolation ◽  
Embedded Devices ◽  
Software Fault Isolation ◽  
Software Fault

scholarly journals Compiling Sandboxes: Formally Verified Software Fault Isolation

2019 ◽  
pp. 499-524 ◽  
Author(s):  
Frédéric Besson ◽  
Sandrine Blazy ◽  
Alexandre Dang ◽  
Thomas Jensen ◽  
Pierre Wilke
Keyword(s):  
Fault Isolation ◽  
Software Fault Isolation ◽  
Software Fault ◽  
Verified Software

scholarly journals Fast byte-granularity software fault isolation

2009 ◽  
Author(s):  
Miguel Castro ◽  
Manuel Costa ◽  
Jean-Philippe Martin ◽  
Marcus Peinado ◽  
Periklis Akritidis ◽  
...  
Keyword(s):  
Fault Isolation ◽  
Software Fault Isolation ◽  
Software Fault
Load More ...
Sign in / Sign up

Export Citation Format

Share Document