Author of the publication

Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs.

, and . PxTP@CADE, volume 14 of EPiC Series in Computing, page 67-76. EasyChair, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Non-technical User-Oriented Display Notation for XACML Conditions., , and . MCETECH, volume 26 of Lecture Notes in Business Information Processing, page 53-64. Springer, (2009)An abstraction-based genetic programming system., and . GECCO (Companion), page 2415-2422. ACM, (2007)A non-technical XACML target editor for dynamic access control systems., , and . CTS, page 150-157. IEEE, (2014)Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs., and . PxTP@CADE, volume 14 of EPiC Series in Computing, page 67-76. EasyChair, (2013)Formal Verification of a Certified Policy Language., and . VECoS, volume 12519 of Lecture Notes in Computer Science, page 180-194. Springer, (2020)A Certified Core Policy Language., and . PST, page 391-393. IEEE Computer Society, (2017)An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption., , and . ARES, page 161-167. IEEE Computer Society, (2012)Advantages of a non-technical XACML notation in role-based models., , and . PST, page 193-200. IEEE, (2011)Generalization and Reuse of Tactic Proofs., and . LPAR, volume 822 of Lecture Notes in Computer Science, page 1-15. Springer, (1994)Privacy-Oriented Data Mining by Proof Checking., and . PKDD, volume 2431 of Lecture Notes in Computer Science, page 138-149. Springer, (2002)