Sciweavers

4305 search results - page 345 / 861
» Analysing Protocol Implementations
Sort
View
IACR
2011
97views more  IACR 2011»
14 years 6 months ago
Two-Output Secure Computation with Malicious Adversaries
We present a method to compile Yao’s two-player garbled circuit protocol into one that is secure against malicious adversaries that relies on witness indistinguishability. Our ap...
Abhi Shelat, Chih-Hao Shen
IPPS
2008
IEEE
16 years 1 months ago
A Hybrid MPI design using SCTP and iWARP
Abstract— Remote Direct Memory Access (RDMA) and pointto-point network fabrics both have their own advantages. MPI middleware implementations typically use one or the other, howe...
Mike Tsai, Brad Penoff, Alan Wagner
IWRIDL
2006
ACM
141views Education» more  IWRIDL 2006»
16 years 20 days ago
Shallow syntax analysis in Sanskrit guided by semantic nets constraints
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
Gérard P. Huet
SAS
2005
Springer
114views Formal Methods» more  SAS 2005»
16 years 6 days ago
Type-Safe Optimisation of Plugin Architectures
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
Neal Glew, Jens Palsberg, Christian Grothoff
ECCE
2007
15 years 8 months ago
Cross-participants: fostering design-use mediation in an open source software community
Motivation – This research aims at investigating emerging roles and forms of participation fostering design-use mediation during the Open Source Software design process Research...
Flore Barcellini, Françoise Détienne...