| 
|
QuoteRef: kleiG11_2001
Topic:
security of remotely executed code
Reference
Klein, G., Nipkow, T., "Verified lightweight bytecode verification", Concurrency and Computation: Practice and Experience, 13, November 2001, pp. 1133-1151. Google
abstract ;;Quote: one-pass verification of bytecode that is annotated with type certificates at jump targets
Topic: security of remotely executed code (22 items)