Abstract-flera tekniker i datorsäkerhet, inklusive generiska protokoll för säker beräkning och symboliskt utförande, beror på genomförandet av algoritmer i statiska kretsar. Trots betydande förbättringar under de senaste åren är de verktyg som byggts med hjälp av dessa tekniker fortfarande för långsamma för de flesta praktiska användningsområden. De kräver att godtyckliga program omvandlas till antingen booleska logiska kretsar, begränsningsuppsättningar på booleska variabler, eller andra likvärdiga representationer, och kostnaderna för att använda dessa verktyg skala direkt med storleken på ingångskretsen. Tekniker för effektivare kretskonstruktioner har därför fördelar i dessa verktyg. Vi visar effektiva kretskonstruktioner för olika enkla men allmänt använda datastrukturer inklusive stackar, köer och associativa kartor. Medan nuvarande praxis kräver effektivt kopiera hela strukturen för varje operation, våra tekniker dra nytta av lokalitet och batching för att ge amorterade kostnader som skala polylogaritmiskt i storleken på strukturen. Vi visar hur många vanliga matris användningsmönster kan förbättras avsevärt med hjälp av dessa kretsstrukturer. Vi rapporterar om experiment med hjälp av våra kretsstrukturer för både generisk säker beräkning med hjälp av förvrängda kretsar och automatiserad testinmatningsgenerering med symbolisk exekvering, och visar storleksordningsförbättringar för båda applikationerna.
På samma sätt bygger Zahur och Evans REF statiska kretsar för stackar, köer och associativa kartor över komplexiteter betydligt lägre än vidrörande alla dataobjekt i datastrukturen i linjär tid.
Circuit Structures for Improving Efficiency of Security and Privacy Tools
{'venue': '2013 IEEE Symposium on Security and Privacy', 'journal': '2013 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science']}