Search Sciweavers | Sciweavers

148 search results - page 2 / 30

» ccs 2006

110

click to vote

CCS
2006
ACM

91views Security Privacy» more CCS 2006»

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

15 years 10 months ago

Download www.shoup.net

Mihir Bellare, Tadayoshi Kohno, Victor Shoup

claim paper

Read More »

Voted

CORR
2006
Springer

81views Education» more CORR 2006»

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

15 years 6 months ago

Download tocl.acm.org

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

claim paper

Read More »

156

Voted

BIRTHDAY
2006
Springer

119views Applied Computing» more BIRTHDAY 2006»

Data Flow Analysis for CCS

15 years 10 months ago

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 »

click to vote

CCS
2006
ACM

99views Security Privacy» more CCS 2006»

Identity-based registry for secure interdomain routing

15 years 10 months ago

Download www.signcryption.org

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

claim paper

Read More »

click to vote

CCS
2006
ACM

103views Security Privacy» more CCS 2006»

Forward-secure signatures with untrusted update

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers