32032 search results - page 148 / 6407 » Verified programming in Guru |
147
click to vote
ALT
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of learning and verifying hidden graphs and their properties given query access to the graphs. We analyze various queries (edge detection, edge counting, sh...
142
click to vote
ASYNC
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
157
click to vote
CISC
2007
Springer
15 years 8 months ago
2007
Springer
A multi-secret sharing scheme allows several secrets to be shared amongst a group of participants. In 2005, Shao and Cao developed a verifiable multi-secret sharing scheme where e...
253
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
151
click to vote
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
We present a family of verifiable random functions which are provably secure for exponentially-large input spaces under a non-interactive complexity assumption. Prior construction...