Matches in SemOpenAlex for { <https://semopenalex.org/work/W1984594799> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1984594799 abstract "Ensuring memory access security is a challenge for reconfigurable systems with multiple cores. Previous work introduced access monitors attached to the memory subsystem to ensure that the cores adhere to pre-defined protocols when accessing memory. In this paper, we combine access monitors with a formal runtime verification technique known as proof-carrying hardware to guarantee memory security. We extend previous work on proof-carrying hardware by covering sequential circuits and demonstrate our approach with a prototype leveraging ReconOS/Zynq with an embedded ZUMA virtual FPGA overlay. Experiments show the feasibility of the approach and the capabilities of the prototype, which constitutes the first realization of proof-carrying hardware on real FPGAs. The area overheads for the virtual FPGA are measured as 2x-10x, depending on the resource type. The delay overhead is substantial with almost 100x, but this is an extremely pessimistic estimate that will be lowered once accurate timing analysis for FPGA overlays become available. Finally, reconfiguration time for the virtual FPGA is about one order of magnitude lower than for the native Zynq fabric." @default.
- W1984594799 created "2016-06-24" @default.
- W1984594799 creator A5046114917 @default.
- W1984594799 creator A5066134815 @default.
- W1984594799 creator A5069368714 @default.
- W1984594799 date "2014-12-01" @default.
- W1984594799 modified "2023-10-03" @default.
- W1984594799 title "Memory security in reconfigurable computers: Combining formal verification with monitoring" @default.
- W1984594799 cites W1528837436 @default.
- W1984594799 cites W1942274975 @default.
- W1984594799 cites W1972387588 @default.
- W1984594799 cites W1990079240 @default.
- W1984594799 cites W1995783993 @default.
- W1984594799 cites W2002826523 @default.
- W1984594799 cites W2034802284 @default.
- W1984594799 cites W2036910349 @default.
- W1984594799 cites W2060000007 @default.
- W1984594799 cites W2070693795 @default.
- W1984594799 cites W2104163774 @default.
- W1984594799 cites W2120602073 @default.
- W1984594799 cites W2138383740 @default.
- W1984594799 cites W2142963883 @default.
- W1984594799 cites W4231708524 @default.
- W1984594799 doi "https://doi.org/10.1109/fpt.2014.7082771" @default.
- W1984594799 hasPublicationYear "2014" @default.
- W1984594799 type Work @default.
- W1984594799 sameAs 1984594799 @default.
- W1984594799 citedByCount "9" @default.
- W1984594799 countsByYear W19845947992015 @default.
- W1984594799 countsByYear W19845947992016 @default.
- W1984594799 countsByYear W19845947992017 @default.
- W1984594799 countsByYear W19845947992018 @default.
- W1984594799 countsByYear W19845947992019 @default.
- W1984594799 countsByYear W19845947992020 @default.
- W1984594799 countsByYear W19845947992021 @default.
- W1984594799 crossrefType "proceedings-article" @default.
- W1984594799 hasAuthorship W1984594799A5046114917 @default.
- W1984594799 hasAuthorship W1984594799A5066134815 @default.
- W1984594799 hasAuthorship W1984594799A5069368714 @default.
- W1984594799 hasConcept C111498074 @default.
- W1984594799 hasConcept C118524514 @default.
- W1984594799 hasConcept C149635348 @default.
- W1984594799 hasConcept C199360897 @default.
- W1984594799 hasConcept C41008148 @default.
- W1984594799 hasConceptScore W1984594799C111498074 @default.
- W1984594799 hasConceptScore W1984594799C118524514 @default.
- W1984594799 hasConceptScore W1984594799C149635348 @default.
- W1984594799 hasConceptScore W1984594799C199360897 @default.
- W1984594799 hasConceptScore W1984594799C41008148 @default.
- W1984594799 hasLocation W19845947991 @default.
- W1984594799 hasOpenAccess W1984594799 @default.
- W1984594799 hasPrimaryLocation W19845947991 @default.
- W1984594799 hasRelatedWork W1547612600 @default.
- W1984594799 hasRelatedWork W1606201395 @default.
- W1984594799 hasRelatedWork W1886193131 @default.
- W1984594799 hasRelatedWork W2040790098 @default.
- W1984594799 hasRelatedWork W2140188264 @default.
- W1984594799 hasRelatedWork W2360384987 @default.
- W1984594799 hasRelatedWork W2374117675 @default.
- W1984594799 hasRelatedWork W2384159625 @default.
- W1984594799 hasRelatedWork W67673879 @default.
- W1984594799 hasRelatedWork W2032055818 @default.
- W1984594799 isParatext "false" @default.
- W1984594799 isRetracted "false" @default.
- W1984594799 magId "1984594799" @default.
- W1984594799 workType "article" @default.