-
On the Formalization of Imperative Object-based Calculiin (Co)Inductive Type ...
In this paper, we study the formalization of Abadi and Cardelli's impsigma, a representative object-based calculus with types and side effects, in interactive proof... -
Towards Provably Robust Watermarking
Watermarking techniques are used to help identifying copies of publicly released information. They consist in applying a slight and secret modification to the data... -
Subformula Linking as an Interaction Method
International audience
