3228 search results - page 383 / 646 » Computationally Sound Proofs |
113
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
143
Voted
DAGSTUHL
1996
15 years 5 months ago
1996
The areas of On-Line Algorithms and Machine Learning are both concerned with problems of making decisions about the present based only on knowledge of the past. Although these area...
131
Voted
COMPUTER
2008
15 years 3 months ago
2008
Man-in-the-middle (MITM) attacks pose a serious threat to SSL/TLS-based e-commerce applications, such as Internet banking. SSL/TLS session-aware user authentication can be used to ...
130
click to vote
DCC
2000
IEEE
15 years 3 months ago
2000
IEEE
The first practical public key cryptosystem to be published, the Diffie-Hellman key exchange algorithm, was based on the assumption that discrete logarithms are hard to compute. T...
124
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
Given a finite set of non-collinear points in the plane, there exists a line that passes through exactly two points. Such a line is called an ordinary line. An efficient algorithm...