Showing 1 - 9 results of 9 for search 'Felty, Amy', query time: 0.90s Refine Results
  1. 1
    Formally Verified Code Obfuscation in the Coq Proof Assistant
    by Lu, Weiyun
    Published 2019
    Other Authors: “...Felty, Amy...”
    Get full text
    Get full text
    Others
  2. 2
    TEpla: A Certified Type Enforcement Access-Control Policy Language
    by Eaman, Amir
    Published 2019
    Other Authors: “...Felty, Amy...”
    Get full text
    Get full text
    Others
  3. 3
    Probabilistic Proof-carrying Code
    by Sharkey, Michael Ian
    Published 2012
    Other Authors: “...Felty, Amy...”
    Get full text
    Get full text
  4. 4
    A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules
    by St-Martin, Michel
    Published 2012
    Other Authors: “...Felty, Amy...”
    Get full text
    Get full text
  5. 5
    The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid
    by Battell, Chelsea
    Published 2016
    Other Authors: “...Felty, Amy...”
    Get full text
    Get full text
  6. 6
    A Certified Core Policy Language
    by Sistany, Bahman
    Published 2016
    Other Authors: “...Felty, Amy...”
    Get full text
    Get full text
  7. 7
    Proving properties of programs using automatically generated models.
    by Binard, Franck J. L.
    Published 2009
    Other Authors: “...Felty, Amy,...”
    Get full text
    Get full text
    Others
  8. 8
    Modelling and Verifying Dynamic Properties of Neuronal Networks in Coq
    by Bahrami, Abdorrahim
    Published 2021
    Other Authors: “...Felty, Amy...”
    Get full text
    Get full text
    Others
  9. 9
    Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study
    by Martin, Alan J.
    Published 2011
    Other Authors: “...Felty, Amy P....”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search