3456 search results - page 4 / 692 » Byte Code Engineering |
167
click to vote
POPL
2007
ACM
15 years 9 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
106
click to vote
WCRE
2002
IEEE
15 years 2 months ago
2002
IEEE
Machine code disassembly routines form a fundamental component of software systems that statically analyze or modify executable programs. The task of disassembly is complicated by...
CSSE
2008
IEEE
15 years 4 months ago
2008
IEEE
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
85
Voted
CARDIS
1998
Springer
15 years 1 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...