Search Sciweavers | Sciweavers

20

IANDC
2008

114views more IANDC 2008»

Generalizing the Paige-Tarjan algorithm by abstract interpretation

13 years 4 months ago

act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

13

click to vote

IANDC
2008

105views more IANDC 2008»

Symbolic protocol analysis for monoidal equational theories

13 years 4 months ago

Download www.lsv.ens-cachan.fr

We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...

Stéphanie Delaune, Pascal Lafourcade, Denis...

claim paper

Read More »

11

click to vote

IANDC
2008

115views more IANDC 2008»

Fair multi-party contract signing using private contract signatures

13 years 4 months ago

Download www.cs.bham.ac.uk

A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a pre-agreed...

Aybek Mukhamedov, Mark Dermot Ryan

claim paper

Read More »

23

click to vote

IANDC
2008

141views more IANDC 2008»

Graph connectivity, partial words, and a theorem of Fine and Wilf

13 years 4 months ago

Download www.uncg.edu

The problem of computing periods in words, or finite sequences of symbols from a finite alphabet, has important applications in several areas including data compression, string se...

Francine Blanchet-Sadri, Deepak Bal, Gautam Sisodi...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers