Search Sciweavers | Sciweavers

6274 search results - page 53 / 1255

» Proofs, Programs, Processes

113

click to vote

TCC
2010
Springer

188views Cryptology» more TCC 2010»

Founding Cryptography on Tamper-Proof Hardware Tokens

15 years 9 months ago

Download eprint.iacr.org

A number of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryptographic tasks. In particular, Goldreich and Ostrovsky considered the ...

Vipul Goyal, Yuval Ishai, Amit Sahai, Ramarathnam ...

claim paper

Read More »

193

click to vote

POPL
2003
ACM

91views Programming Languages» more POPL 2003»

The m-calculus: a higher-order distributed process calculus

16 years 3 months ago

Download www.sics.se

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

click to vote

ESOP
2009
Springer

105views Programming Languages» more ESOP 2009»

Abstract Processes in Orchestration Languages

15 years 9 months ago

Download rap.dsi.unifi.it

Maria Grazia Buscemi, Hernán C. Melgratti

claim paper

Read More »

click to vote

PLDI
2005
ACM

123views Programming Languages» more PLDI 2005»

PADS: a domain-specific language for processing ad hoc data

15 years 8 months ago

Download cseweb.ucsd.edu

Kathleen Fisher, Robert Gruber

claim paper

Read More »

click to vote

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers