Sentence examples for untrusted code from inspiring English sources

The verifier checks untrusted code for typesafety, the key safety property on which Java's security rests.

Proof-Carrying Code (PCC) is a technique for safe execution of untrusted code.

Sun introduced the Java VM in 1995, primarily intended as a lightweight platform for executing untrusted code inside web pages.

The Open Verifier is a framework that allows even untrusted parties to develop safety verifiers for untrusted code.

Many people now already have a device that can connect to the Internet and run untrusted code, typically a cell-phone or PDA.

Research on additional protections is ongoing, and a leading candidate is "sandboxing"–a technique where untrusted code is run in protected areas of memory and processing space and not allowed to affect other parts of the computer or device.

Alternatively or in addition, users may want to send untrusted Java code through a strong verifier before admitting it into their systems.

The SOSP paper from 1997 (below) has real application numbers and several years of experience, plus a cool trick for incrementally verifying untrusted deterministic code.

This new breed of attack was referred to as Cross-Site Scripting (XSS) — in short, the ability to manipulate a trusted website to run untrusted scripting code on a victim's browser.

Proof-Carrying Code with Untrusted Proof Rules.

Note that only the interpreted code is untrusted.