1953 search results - page 229 / 391 » codes 2010 |
189
click to vote
CODES
2011
IEEE
14 years 4 months ago
2011
IEEE
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
172
click to vote
CTRSA
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The TLS and SSL protocols are widely used to ensure secure communication over an untrusted network. Therein, a client and server first engage in the so-called handshake ...
162
Voted
WAIFI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Miller’s algorithm for computing pairings involves performing multiplications between elements that belong to different finite fields. Namely, elements in the full e...
141
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Warnings have been raised about the steady diminution of privacy. More and more personal information, such as that contained electronic mail, is moving to cloud computing servers ...
156
click to vote
TGC
2010
Springer
15 years 2 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...