659 search results - page 2 / 132 » Compiling and securing cryptographic protocols |
158
click to vote
POPL
2000
ACM
15 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...
159
Voted
CCS
2011
ACM
14 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, ...
104
Voted
CCS
1997
ACM
15 years 10 months ago
1997
ACM