131 search results - page 3 / 27 » Proof systems that take advice |
EUROCRYPT
2012
Springer
12 years 6 days ago
2012
Springer
sion of an extended abstract published in Proceedings of Eurocrypt 2012, Springer-Verlag, 2012. Available from the IACR Cryptology ePrint Archive as Report 2012/012. Malleability ...
JAR
2008
13 years 9 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
SOUPS
2010
ACM
14 years 1 months ago
2010
ACM
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We demonstrate a "Companion" ECA, which is able to provide advice and support to the user, taking into account emotions expressed by her through dialogue. The integratio...
ICSOFT
2008
13 years 11 months ago
2008
Previously, we demonstrated that simple, low-cost measurement of an individual's mental health is possible using nonlinear analysis of pulse waves. Here we introduce a trial s...