2 search results - page 1 / 1 » Algebraic Properties in Alice and Bob Notation |
IEEEARES
2009
IEEE
13 years 12 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
TCC
2007
Springer
13 years 11 months ago
2007
Springer
In this work we present secure two-party protocols for various core problems in linear algebra. Our main result is a protocol to obliviously decide singularity of an encrypted matr...