Proof-Carrying Code With Untrusted Proof Rules

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-36532-x_18
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Proof-Carrying Code Based Tool for Secure Information Flow of Assembly Programs

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2009English

Information Carrying Identity Proof Trees

2007English

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

English

Proof Rules for Recursive Procedures

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1993English

Directed Proof Generation for Machine Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Proof Theory for Machine Code

ACM Transactions on Programming Languages and Systems
Software
2007English

From Mathematical Axioms to Mathematical Rules of Proof: Recent Developments in Proof Analysis

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Informal Proof, Formal Proof, Formalism

Review of Symbolic Logic
MathematicsPhilosophyLogic
2015English

Maximal Domains for Strategy-Proof or Maskin Monotonic Choice Rules

SSRN Electronic Journal
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy