Sciweavers

148 search results - page 2 / 30

» ccs 2006

7

CCS
2006
ACM

91views Security Privacy» more CCS 2006»

Stateful public-key cryptosystems: how to encrypt with one 160-bit exponentiation

13 years 8 months ago

Stateful public-key cryptosystems: how to encrypt with one 160-bit exponentiation

Download www.shoup.net

Mihir Bellare, Tadayoshi Kohno, Victor Shoup

claim paper

Read More »

9

CORR
2006
Springer

81views Education» more CORR 2006»

A Finite Equational Base for CCS with Left Merge and Communication Merge

13 years 4 months ago

A Finite Equational Base for CCS with Left Merge and Communication Merge

Download tocl.acm.org

Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...

claim paper

Read More »

11

BIRTHDAY
2006
Springer

119views Applied Computing» more BIRTHDAY 2006»

Data Flow Analysis for CCS

13 years 8 months ago

Data Flow Analysis for CCS

Download rap.dsi.unifi.it

Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...

Hanne Riis Nielson, Flemming Nielson

claim paper

Read More »

6

CCS
2006
ACM

99views Security Privacy» more CCS 2006»

Identity-based registry for secure interdomain routing

13 years 8 months ago

Identity-based registry for secure interdomain routing

Download www.signcryption.org

E-yong Kim, Klara Nahrstedt, Li Xiao, Kunsoo Park

claim paper

Read More »

4

CCS
2006
ACM

103views Security Privacy» more CCS 2006»

Forward-secure signatures with untrusted update

13 years 8 months ago

Forward-secure signatures with untrusted update

Download eprint.iacr.org

Xavier Boyen, Hovav Shacham, Emily Shen, Brent Wat...

claim paper

Read More »

« Prev « First page 2 / 30 Last » Next »