• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 1,833
Next 10 →

Certificate Size Reduction in Abstraction-Carrying Code

by Elvira Albert, Puri Arenas, et al. - UNDER CONSIDERATION FOR PUBLICATION IN THEORY AND PRACTICE OF LOGIC PROGRAMMING , 2010
"... Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of ..."
Abstract - Add to MetaCart
of safety certificate and its generation is carried out automatically by a fixpoint analyzer. The advantage of providing a (fixpoint) abstraction to the code consumer is that its validity is checked in a single pass (i.e., one iteration) of an abstract interpretation-based checker. A main challenge to make

Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗

by Manuel Hermenegildo
"... ar ..."
Abstract - Add to MetaCart
Abstract not found

On Abstraction-Carrying Code and Certificate-Size Reduction

by Germán Puebla, Elvira Albert, Puri Arenas, Manuel Hermenegildo
"... Abstraction-Carrying Code (ACC) is a framework for mobile code safety in which model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically by a fixed-point analyzer. ..."
Abstract - Add to MetaCart
Abstraction-Carrying Code (ACC) is a framework for mobile code safety in which model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically by a fixed-point analyzer

Abstraction-Carrying Code

by Elvira Albert, Germán Puebla, Manuel Hermenegildo - In Proc. of LPAR’04, number 3452 in LNAI , 2005
"... Abstract. Proof-Carrying Code (PCC) is a general approach to mobile code safety in which programs are augmented with a certificate (or proof). The practical uptake of PCC greatly depends on the existence of a variety of enabling technologies which allow both to prove programs correct and to replace ..."
Abstract - Cited by 43 (19 self) - Add to MetaCart
Abstract. Proof-Carrying Code (PCC) is a general approach to mobile code safety in which programs are augmented with a certificate (or proof). The practical uptake of PCC greatly depends on the existence of a variety of enabling technologies which allow both to prove programs correct and to replace

Reduced Certificates for Abstraction-Carrying Code

by Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo - In Proc. of ICLP 2006 , 2005
"... Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certi ..."
Abstract - Cited by 5 (3 self) - Add to MetaCart
certificate and its generation is carried out automatically by a fixed-point analyzer. The advantage of providing a (fixedpoint) abstraction to the code consumer is that its validity is checked in a single pass of an abstract interpretation-based checker. A main challenge is to reduce the size of certificates

Generation of Reduced Certificates in Abstraction-Carrying Code

by Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo
"... Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and ..."
Abstract - Add to MetaCart
Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate

Incremental Certificates and Checkers for Abstraction-Carrying Code

by Elvira Albert, Puri Arenas, Germán Puebla - In Sixth Workshop on Issues in the Theory of Security , 2006
"... Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation

An Incremental Approach to Abstraction-Carrying Code

by Elvira Albert, Puri Arenas, Germán Puebla , 2006
"... Abstraction-Carrying Code (ACC) has recently been proposed as a framework for Proof-Carrying Code (PCC) in which the code model of the program) whose validity entails compliance with a predefined safety policy. Existing approaches for PCC are developed under the assumption that the consumer reads an ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
Abstraction-Carrying Code (ACC) has recently been proposed as a framework for Proof-Carrying Code (PCC) in which the code model of the program) whose validity entails compliance with a predefined safety policy. Existing approaches for PCC are developed under the assumption that the consumer reads

On Lattices, Learning with Errors, Random Linear Codes, and Cryptography

by Oded Regev - In STOC , 2005
"... Our main result is a reduction from worst-case lattice problems such as SVP and SIVP to a certain learning problem. This learning problem is a natural extension of the ‘learning from parity with error’ problem to higher moduli. It can also be viewed as the problem of decoding from a random linear co ..."
Abstract - Cited by 364 (6 self) - Add to MetaCart
code. This, we believe, gives a strong indication that these problems are hard. Our reduction, however, is quantum. Hence, an efficient solution to the learning problem implies a quantum algorithm for SVP and SIVP. A main open question is whether this reduction can be made classical. We also present a

Some Issues on Incremental Abstraction-Carrying Code

by Elvira Albert, Puri Arenas, Germán Puebla , 2007
"... Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code model of the program) whose validity entails compliance with a predefined safety policy. The abstraction thus plays the role of safety certificate and its generation (a ..."
Abstract - Add to MetaCart
Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code model of the program) whose validity entails compliance with a predefined safety policy. The abstraction thus plays the role of safety certificate and its generation
Next 10 →
Results 1 - 10 of 1,833
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University