Vi visar att säkerheten för några välkända kryptografiska protokoll, primitiver och antaganden (t.ex. Schnorr identifieringssystem, åtaganden säkrade under adaptiv selektivt återtagande, "en-mer" diskret logaritm antagande) inte kan baseras på något standard antagande med hjälp av en Turing (dvs. black-box) minskning. Dessa resultat följer av ett allmänt resultat som visar att Turing minskningar inte kan användas för att bevisa säkerheten för konstant-runt sekventiellt vittnesdämpande speciella ljud protokoll för unika vittnesrelationer, baserat på standardantaganden; vi betonar att detta resultat håller även om protokollet gör icke-svarta-box användning av det underliggande antagandet.
I STOC '11 presenterade Pass Ref ett brett separationsresultat som visar att säkerheten för konstant runt, offentligt mynt, (generaliserad) beräknings specialljud argument för unika vittnesrelationer inte kan baseras på något standard antagande.
Limits of provable security from standard assumptions
{'venue': "STOC '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}