DMCA

On Abstraction-Carrying Code and Certificate-Size Reduction

by Germán Puebla , Elvira Albert , Puri Arenas , Manuel Hermenegildo