generic extended pcc

PST
2008

102views Security Privacy» more PST 2008»

Encoding the Program Correctness Proofs as Programs in PCC Technology

14 years 2 months ago

One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...

Heidar Pirzadeh, Danny Dubé

claim paper

Read More »

click to vote

CCS
2008
ACM

149views Security Privacy» more CCS 2008»

VEP: a virtual machine for extended proof-carrying code

14 years 2 months ago

Download www.ift.ulaval.ca

One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...

Heidar Pirzadeh, Danny Dubé

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers