1825 search results - page 116 / 365 » Cryptographic Securities Exchanges |
123
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
118
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Civitas is the first implementation of a coercion-resistant, universally verifiable, remote voting scheme. This paper describes the design of Civitas, details the cryptographic ...
135
Voted
JUCS
2008
15 years 3 months ago
2008
: In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages ex...
126
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
—SecSpider is a DNSSEC monitoring system that helps identify operational errors in the DNSSEC deployment and discover unforeseen obstacles. It collects, verifies, and publishes ...
108
click to vote
ISCC
2009
IEEE
15 years 10 months ago
2009
IEEE
The Hill cipher is a classical symmetric encryption algorithm that succumbs to the know-plaintext attack. Although its vulnerability to cryptanalysis has rendered it unusable in p...