3115 search results - page 447 / 623 » Synthesizing Secure Protocols |
176
click to vote
TCAD
2008
15 years 5 months ago
2008
Latency-insensitive protocols allow system-on-chip (SoC) engineers to decouple the design of the computing cores from the design of the intercore communication channels while follo...
168
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We present a methodology for implementing digital signal processing (DSP) operations such as filtering with biomolecular reactions. From a DSP specification, we demonstra...
168
Voted
TCC
2010
Springer
16 years 2 months ago
2010
Springer
We present a variant of Regev’s cryptosystem first presented in [Reg05], but with a new choice of parameters. By a recent classical reduction by Peikert we prove the scheme sema...
177
click to vote
ISW
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. In this work we utilize a physically unclonable function (PUF) to improve resilience of authentication protocols to various types of compromise. As an example application...
171
click to vote
SP
2007
IEEE
16 years 8 days ago
2007
IEEE
An electronic cash (e-cash) scheme lets a user withdraw money from a bank and then spend it anonymously. E-cash can be used only if it can be securely and fairly exchanged for ele...