29 search results - page 1 / 6 » The Operational Semantics of a Java Secure Processor |
JAVA
1999
Springer
13 years 8 months ago
1999
Springer
ESMART
2001
Springer
13 years 9 months ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...
APLAS
2008
ACM
13 years 6 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
POPL
2007
ACM
14 years 4 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores...