On the Complexity of Monitoring Orchids Signatures. - Jean Goubault-Larrecq; Jean-Philippe Lachance (RV, 2016)

On the complexity of monitoring Orchids signatures, and recurrence equations. - Jean Goubault-Larrecq; Jean-Philippe Lachance (Formal Methods Syst. Des., 2018)