MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Lightweight Bytecode Verification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

20 documents found, showing 1 through 10. Next 10 →

ATOM

Lightweight Bytecode Verification
by Eva Rose — 1998 — In OOPSALA Workshop on Formal Underpinnings of Java
…Lightweight Bytecode Verification Eva Rose (eva@(email omitted);) UFR d’informatique, University of Paris…
Cited by 54 (0 self) – Add To MetaCart

Lightweight Bytecode Verification
by Eva Rose And, Eva Rose, Kristoffer Hgsbro Rose — 1998 — In OOPSALA Workshop on Formal Underpinnings of Java
…Lightweight Bytecode Verification Eva Rose + and Kristoffer Hgsbro Rose LIP, ENS-Lyon; 46…
Add To MetaCart

SmartCard Trends. .NET brings web services to smart cards, April/May Issue, 2004
by Sun Microsystems Java, I Smart, Card Security
… considerations that need to be taken into account when implementing a java virtual machine: secure bytecode…
Add To MetaCart

Mobius: Mobility, ubiquity, security: Objectives and progress report
by Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard, The Netherl — 2007 — In Trustworthy Global Computing’06, LNCS
… verification: MIDP already annotates code with basic type information for lightweight bytecode verification [40…
Cited by 2 (2 self) – Add To MetaCart

Java Access Protection through Typing
by Eva Rose, Kristoffer Hgsbro Rose — 2000 — Concurrency and Computation: Practice and Experience
… considerably. Finally we remark that the above can without problems be integrated with lightweight bytecode…
Cited by 3 (0 self) – Add To MetaCart

Reduced Certificates for Abstraction-Carrying Code
by Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo — 2005 — In Proc. of ICLP 2006
… by the checker. Finally, this general idea has also been deployed in lightweight bytecode verification [20] where…
Cited by 4 (2 self) – Add To MetaCart

Can small and open embedded systems benefit from escape analysis
by Gilles Grimaud, Yann Hodique, Isabelle Simplot-ryl, Inria Futurs — 2006 — in "Proc. Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS’2006
… type, so that algorithms like lightweight bytecode verification [5] can be used to ensure a linear…
Cited by 1 (0 self) – Add To MetaCart

A certified lightweight non-interference java bytecode verifier
by Gilles Barthe, Tamara Rezk — 2007 — European Symposium on Programming, Lecture Notes in Computer Science
…. the IF (Information Flow) analyser uses lightweight bytecode verification techniques, which adapt Kildall’s algorithm…
Cited by 4 (2 self) – Add To MetaCart

Java Bytecode Verification With Dynamic Structures
by Cinzia Bernardeschi Luca, Key Words — 2004
… solution based on splitting the verification process in two phases: lightweight bytecode certification (LBC…
Add To MetaCart

Verified Java Bytecode Verification
by Technische Universität München, Technische Universität München, Gerwin Klein, Gerwin Klein, Vorsitzender Univ. -prof, Dr. Alois Knoll, Technische Hochschule — 2003 — PhD thesis, Institut für Informatik, Technische Universität München
….5 Lightweight Bytecode Verification . . . . . . . . . . . . . . . . . . . . . . . 27 2.5.1 Introduction…
Cited by 13 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB