24 citations · 39 across the 15 of their papers we have counts for
1 paper · 1 filter
Helmut Seidl, Kumar Neeraj Verma
Cryptographic protocols with single blind copying were defined and modeled by Comon and Cortier using the new class C of first order clauses. They showed its satisfiabil…