Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Robert R. Schneck
Proof-Carrying Code With Untrusted Proof Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Proof-Carrying Code Based Tool for Secure Information Flow of Assembly Programs
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Information Carrying Identity Proof Trees
By Reason and Authority: A System for Authorization of Proof-Carrying Code
Proof Rules for Recursive Procedures
Formal Aspects of Computing
Theoretical Computer Science
Software
Directed Proof Generation for Machine Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Proof Theory for Machine Code
ACM Transactions on Programming Languages and Systems
Software
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
Mathematics
Engineering
Astronomy
Physics
Informal Proof, Formal Proof, Formalism
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Maximal Domains for Strategy-Proof or Maskin Monotonic Choice Rules
SSRN Electronic Journal
