Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Anna C. Squicciarini
Information Carrying Identity Proof Trees
Related publications
Proof-Carrying Code With Untrusted Proof Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof-Carrying Code Based Tool for Secure Information Flow of Assembly Programs
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
A Short Proof of an Identity of Sylvester
International Journal of Mathematics and Mathematical Sciences
Mathematics
Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions
Monist, The
Philosophy
By Reason and Authority: A System for Authorization of Proof-Carrying Code
Carrying Label Information in BGP-4
Short Proof for a Connected Simple Graph With Fewest Spanning Trees
Applied Mathematical Sciences
Generalized Bijective Proof of the Partition Identity of M.V. Subbarao
International Mathematical Forum
