Browsing CISPA Helmholtz Center for Information Security, Germany

Showing results 1 to 2 of 2
PreviewAuthors / EditorsTitleTypeIssue Date
Hadzic-2021-CocoAlma A Versatile Masking Verifier-vor.pdf.jpgHadžić, Vedad ; Bloem, Roderick CocoAlma: A Versatile Masking VerifierInproceedings Oct-2021
Bloem Roderick - 2014 - Reduction of Resolution Refutations and Interpolants via...pdf.jpgBloem, Roderick ; Malik, Sharad ; Schlaipfer, Matthias ; Weissenbacher, GeorgReduction of Resolution Refutations and Interpolants via SubsumptionInproceedings Konferenzbeitrag 2014