Search Sciweavers | Sciweavers

13

FUIN
2007

99views more FUIN 2007»

Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code

13 years 6 months ago

Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host speciﬁes a safety policy as a set o...

Amy P. Felty

claim paper

Read More »

16

click to vote

CADE
2002
Springer

152views Logical Reasoning» more CADE 2002»

A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code

14 years 6 months ago

Download www.cs.berkeley.edu

Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...

Robert R. Schneck, George C. Necula

claim paper

Read More »

22

click to vote

CSFW
2004
IEEE

131views Security Privacy» more CSFW 2004»

By Reason and Authority: A System for Authorization of Proof-Carrying Code

13 years 10 months ago

Download www.cs.berkeley.edu

We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...

Nathan Whitehead, Martín Abadi, George C. N...

claim paper

Read More »

22

click to vote

CORR
2010
Springer

174views Education» more CORR 2010»

A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode

13 years 3 months ago

Download www.csc.kth.se

We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...

Mads Dam, Andreas Lundblad

claim paper

Read More »

20

click to vote

CADE
2002
Springer

136views Logical Reasoning» more CADE 2002»

Temporal Logic for Proof-Carrying Code

14 years 6 months ago

Download www.cs.cmu.edu

Andrew Bernard, Peter Lee

claim paper