| 
|
Quote: one-pass verification of bytecode that is annotated with type certificates at jump targets
Topic:
security of remotely executed code
Quotation Skeleton
Eva and Kristoffer Rose proposed a (sparse) annotation … formalized a variant of their proposal in the … [for .micro.Java]. … [p. 1135] type inference is the computation of a … fits an instruction sequence. Lightweight bytecode verification is … [p. 1141] The basic idea of lightweight bytecode verification … [of data-flow type analysis at the targets of jumps] … . This additional … information is called the certificate. … type reconstruction is now reduced to a single … path of execution the result is already there … certificate we only need constant memory: the type … the state type at pc and the global … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: security of remotely executed code (22 items)