659 search results - page 2 / 132 » Compiling and securing cryptographic protocols |
POPL
2000
ACM
13 years 10 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
CCS
2011
ACM
12 years 5 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
IEEEARES
2008
IEEE
14 years 5 days ago
2008
IEEE
CSFW
2008
IEEE
14 years 7 days ago
2008
IEEE
CCS
1997
ACM
13 years 10 months ago
1997
ACM