3115 search results - page 221 / 623 » Synthesizing Secure Protocols |
156
Voted
CN
2007
15 years 6 months ago
2007
Most users have multiple accounts on the Internet where each account is protected by a password. To avoid the headache in remembering and managing a long list of different and un...
150
click to vote
DSD
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
140
click to vote
PODC
2010
ACM
15 years 6 months ago
2010
ACM
Multiparty computation (MPC) protocols among n parties secure against t active faults are known to exist if and only if
334
click to vote
Lecture Notes
The lecture notes cover the following topics,
Course Overview , Data Communications and Networking Overview , Data Transmission , Transmission Media , Signal Encoding Techniques ...
200
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...