-
Semi-automatic verification of cryptographic primitives
CertiCrypt is a framework that enables the machine-checked construction and verification of cryptographic proofs in the Coq proof assistant. CertiCrypt instruments the... -
Symbolic Testing Approach of Composite Web Services
Web services are gaining industry-wide acceptance and usage by fostering the developmentof distributed applications out of the composition of simpler entities... -
Translation Validation for Transformations on Abstract Clocks in Synchronous ...
Translation validation was introduced as a technique to formally verify the correctness of code generators that attempts to verify that program transformations... -
Sensitivity analysis using type-based constraints
International audience
