-
hacks. The particular PET tool to be used in this project is called "zero-knowledge proof", which is a proof system that reveals no information beyond the fact that a certain statement (relating to a
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions