Matches in SemOpenAlex for { <https://semopenalex.org/work/W2999311450> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2999311450 abstract "Complex systems require runtime monitoring of their operation, and this task can be performed by a separate monitoring process. A hacked monitor however could use the system traces it receives to attack the system or leak the information to competitors. We introduce private runtime verification, in which the monitoring process learns nothing about the traces, and yet is still able to correctly monitor them for satisfaction of temporal specifications." @default.
- W2999311450 created "2020-01-23" @default.
- W2999311450 creator A5021880681 @default.
- W2999311450 date "2019-10-01" @default.
- W2999311450 modified "2023-09-26" @default.
- W2999311450 title "Work-In-Progress: Private Runtime Verification" @default.
- W2999311450 cites W2027769154 @default.
- W2999311450 cites W2766393794 @default.
- W2999311450 cites W2767023267 @default.
- W2999311450 cites W2903850320 @default.
- W2999311450 hasPublicationYear "2019" @default.
- W2999311450 type Work @default.
- W2999311450 sameAs 2999311450 @default.
- W2999311450 citedByCount "0" @default.
- W2999311450 crossrefType "proceedings-article" @default.
- W2999311450 hasAuthorship W2999311450A5021880681 @default.
- W2999311450 hasConcept C111498074 @default.
- W2999311450 hasConcept C111919701 @default.
- W2999311450 hasConcept C115903868 @default.
- W2999311450 hasConcept C127413603 @default.
- W2999311450 hasConcept C127576917 @default.
- W2999311450 hasConcept C149635348 @default.
- W2999311450 hasConcept C162324750 @default.
- W2999311450 hasConcept C187736073 @default.
- W2999311450 hasConcept C199360897 @default.
- W2999311450 hasConcept C201995342 @default.
- W2999311450 hasConcept C202973057 @default.
- W2999311450 hasConcept C2780451532 @default.
- W2999311450 hasConcept C38652104 @default.
- W2999311450 hasConcept C41008148 @default.
- W2999311450 hasConcept C98045186 @default.
- W2999311450 hasConceptScore W2999311450C111498074 @default.
- W2999311450 hasConceptScore W2999311450C111919701 @default.
- W2999311450 hasConceptScore W2999311450C115903868 @default.
- W2999311450 hasConceptScore W2999311450C127413603 @default.
- W2999311450 hasConceptScore W2999311450C127576917 @default.
- W2999311450 hasConceptScore W2999311450C149635348 @default.
- W2999311450 hasConceptScore W2999311450C162324750 @default.
- W2999311450 hasConceptScore W2999311450C187736073 @default.
- W2999311450 hasConceptScore W2999311450C199360897 @default.
- W2999311450 hasConceptScore W2999311450C201995342 @default.
- W2999311450 hasConceptScore W2999311450C202973057 @default.
- W2999311450 hasConceptScore W2999311450C2780451532 @default.
- W2999311450 hasConceptScore W2999311450C38652104 @default.
- W2999311450 hasConceptScore W2999311450C41008148 @default.
- W2999311450 hasConceptScore W2999311450C98045186 @default.
- W2999311450 hasLocation W29993114501 @default.
- W2999311450 hasOpenAccess W2999311450 @default.
- W2999311450 hasPrimaryLocation W29993114501 @default.
- W2999311450 hasRelatedWork W1492366453 @default.
- W2999311450 hasRelatedWork W1971299180 @default.
- W2999311450 hasRelatedWork W2154902280 @default.
- W2999311450 hasRelatedWork W2161337603 @default.
- W2999311450 hasRelatedWork W2171929398 @default.
- W2999311450 hasRelatedWork W224289946 @default.
- W2999311450 hasRelatedWork W2275241203 @default.
- W2999311450 hasRelatedWork W2290240292 @default.
- W2999311450 hasRelatedWork W2293216165 @default.
- W2999311450 hasRelatedWork W2416938811 @default.
- W2999311450 hasRelatedWork W2497710620 @default.
- W2999311450 hasRelatedWork W2884410253 @default.
- W2999311450 hasRelatedWork W2939316520 @default.
- W2999311450 hasRelatedWork W2963578805 @default.
- W2999311450 hasRelatedWork W3094660891 @default.
- W2999311450 hasRelatedWork W3096454146 @default.
- W2999311450 hasRelatedWork W3107521695 @default.
- W2999311450 hasRelatedWork W3168299165 @default.
- W2999311450 hasRelatedWork W36102877 @default.
- W2999311450 hasRelatedWork W2185940902 @default.
- W2999311450 isParatext "false" @default.
- W2999311450 isRetracted "false" @default.
- W2999311450 magId "2999311450" @default.
- W2999311450 workType "article" @default.