Matches in UGent Biblio for { <https://biblio.ugent.be/publication/2006651#aggregation> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- aggregation classification "C1".
- aggregation creator B43134.
- aggregation creator B43135.
- aggregation creator B43136.
- aggregation creator person.
- aggregation date "2011".
- aggregation format "application/pdf".
- aggregation hasFormat 2006651.bibtex.
- aggregation hasFormat 2006651.csv.
- aggregation hasFormat 2006651.dc.
- aggregation hasFormat 2006651.didl.
- aggregation hasFormat 2006651.doc.
- aggregation hasFormat 2006651.json.
- aggregation hasFormat 2006651.mets.
- aggregation hasFormat 2006651.mods.
- aggregation hasFormat 2006651.rdf.
- aggregation hasFormat 2006651.ris.
- aggregation hasFormat 2006651.txt.
- aggregation hasFormat 2006651.xls.
- aggregation hasFormat 2006651.yaml.
- aggregation isPartOf urn:isbn:9781450307147.
- aggregation language "eng".
- aggregation publisher "Association for Computing Machinery (ACM)".
- aggregation rights "I have transferred the copyright for this publication to the publisher".
- aggregation subject "Technology and Engineering".
- aggregation title "ARMor: fully verified software fault isolation".
- aggregation abstract "We have designed and implemented ARMor, a system that uses software fault isolation (SFI) to sandbox application code running on small embedded processors. Sandboxing can be used to protect components such as the RTOS and critical control loops from other, less-trusted components. ARMor guarantees memory safety and control flow integrity; it works by rewriting a binary to put a check in front of every potentially dangerous operation. We formally and automatically verify that an ARMored application respects the SFI safety properties using the HOL theorem prover. Thus, ARMor provides strong isolation guarantees and has an exceptionally small trusted computing base—there is no trusted compiler, binary rewriter, verifier, or operating system.".
- aggregation authorList BK108168.
- aggregation endPage "298".
- aggregation startPage "289".
- aggregation aggregates 2006657.
- aggregation isDescribedBy 2006651.
- aggregation similarTo 2038642.2038687.
- aggregation similarTo LU-2006651.