Showing 1 - 18 results of 18 for search '"proof-carrying code"', query time: 1.65s Refine Results
  1. 1
    Probabilistic Proof-carrying Code
    by Sharkey, Michael Ian
    Published 2012
    Subjects: “...proof-carrying code...”
    Get full text
  2. 2
    Probabilistic Proof-carrying Code
    by Sharkey, Michael Ian
    Published 2012
    Subjects: “...proof-carrying code...”
    Get full text
  3. 3
    Probabilistic Proof-carrying Code
    by Sharkey, Michael Ian
    Published 2012
    Subjects: “...proof-carrying code...”
    Get full text
    Get full text
  4. 4
    Strong-DISM: A First Attempt to a Dynamically Typed Assembly Language (D-TAL)
    by Hernandez, Ivory
    Published 2017
    Subjects: “...Proof-Carrying Code...”
    Get full text
    Get full text
    Others
  5. 5
    Abstract Certification of Java Programs in Rewriting Logic
    by Alba Castro, Mauricio Fernando
    Published 2011
    Subjects: “...Proof-carrying code pcc...”
    Get full text
    Doctoral Thesis
  6. 6
    [en] TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC
    by JULIANA CARPES IMPERIAL
    Published 2004
    Subjects: “...[pt] PROOF-CARRYING CODE...”
    Get full text
    Get full text
    Get full text
  7. 7
    Encoding the program correctness proofs as programs in PCC technology
    by Pirzadeh Tabari, Seyed Heidar
    Published 2008
    “...L'une des difficultés de l'application pratique du code incorporant une preuve (Proof-Carrying Code...”
    Get full text
    Others
  8. 8
    Encoding the program correctness proofs as programs in PCC technology
    by Pirzadeh Tabari, Seyed Heidar
    Published 2008
    “...L'une des difficultés de l'application pratique du code incorporant une preuve (Proof-Carrying Code...”
    Get full text
    Dissertation
  9. 9
    Dead code elimination based pointer analysis for multithreaded programs
    by Mohamed A. El-Zawawy
    Published 2012-04-01
    “.... The approach has applications in the area of certified code (proof-carrying code) where a justification or a...”
    Get full text
    Article
  10. 10
    Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification
    by Stephanie Drzevitzky, Uwe Kastens, Marco Platzner
    Published 2010-01-01
    “...-carrying code, into the reconfigurable hardware domain. We outline the PCH concept and discuss runtime...”
    Get full text
    Article
  11. 11
    AN APPROACH TO FACILITATING VERIFICATION OF LINEAR CONSTRAINTS
    by SABNIS, SUDEEP SUHAS
    Published 2003
    Get full text
  12. 12
    Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring
    by Lundblad, Andreas
    Published 2013
    “... of the trusted computing base. By means of proof-carrying code we show how the inliner can be replaced by a...”
    Get full text
    Get full text
    Doctoral Thesis
  13. 13
    Vérification de code-octet avec sous-routines par code-certifié
    by Corbeil, Mathieu
    Published 2007
    “... (similaire au proof-carrying code). Mais l'on dénote certains problèmes, en particulier dus aux sous-routines...”
    Get full text
    Others
  14. 14
    Maîtrise du temps d'exécution de logiciels déployés dans des dispositifs personnels de confiance
    by Bel Hadj Aissa, Nadia
    Published 2008
    “... embraces a proof carrying code approach making distinction between a powerful but untrusted computer used...”
    Get full text
  15. 15
    Algorithmic Verification Techniques for Mobile Code
    by Aktug, Irem
    Published 2008
    “... develop a technique for the certification of safe mobile code, by adapting the proof-carrying code scheme...”
    Get full text
    Get full text
    Doctoral Thesis
  16. 16
    Préservation des preuves et transformation de programmes
    by Kunz, César
    Published 2009
    “... producteurs. Cette technique, Proof Carrying Code (PCC), consiste à déploier le code avec une preuve formelle...”
    Get full text
    Get full text
  17. 17
    Cadre algébrique pour le renforcement de politique de sécurité sur des systèmes concurrents par réécriture automatique de programmes
    by Langar, Mohamed Mahjoub
    Published 2010
    “... belonging to mainly two principal classes: static approaches including typing theory, Proof Carrying Code...”
    Get full text
    Doctoral Thesis
  18. 18
    Cadre algébrique pour le renforcement de politique de sécurité sur des systèmes concurrents par réécriture automatique de programmes
    by Langar, Mohamed Mahjoub
    Published 2010
    “...: static approaches including typing theory, Proof Carrying Code, and dynamic approaches including...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search