Welcome to the UPF Digital Repository

Browsing Departament de Tecnologies de la Informació i les Comunicacions by Author "Baghery, Karim"

Browsing Departament de Tecnologies de la Informació i les Comunicacions by Author "Baghery, Karim"

Sort by: Order: Results:

  • Baghery, Karim; González, Alonso; Pindado, Zaira; Ràfols, Carla (Springer, 2020)
    This paper constructs unbounded simulation sound proofs for boolean circuit satisfiability under standard assumptions with proof size O(n+d) bilinear group elements, where d is the depth and n is the input size of the ...

Search DSpace


Advanced Search

Browse

My Account

Compliant to Partaking