Witness-Based Cryptographic Program Checking and Applications (an Announcement).

Yair Frankel Peter Gemmell Moti Yung

Published in: PODC (1996)

Keyphrases

real time
computer programs
smart card
hash functions
database
programming environment
consistency checking
genetic algorithm
information systems
website
multi agent
search algorithm
static analysis
program execution
control program