Sciweavers

2421 search results - page 318 / 485
» Message from the Co-Chairs
Sort
View
WS
2003
ACM
14 years 3 months ago
Secure data transmission in mobile ad hoc networks
The vision of nomadic computing with its ubiquitous access has stimulated much interest in the Mobile Ad Hoc Networking (MANET) technology. However, its proliferation strongly dep...
Panagiotis Papadimitratos, Zygmunt J. Haas
POPL
2000
ACM
14 years 2 months ago
Authentication Primitives and Their Compilation
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...
Martín Abadi, Cédric Fournet, George...
ICIP
2005
IEEE
15 years 1 days ago
Statistical categorization of human histological images
Histology is the science of understanding the structure of animals and plants, and studying the functional implications of biological structures. In this paper, we propose a stati...
Dehua Zhao, Yixin Chen, Nelson Correa
WWW
2005
ACM
14 years 11 months ago
Enhancing the privacy of web-based communication
A profiling adversary is an adversary whose goal is to classify a population of users into categories according to messages they exchange. This adversary models the most common pr...
Aleksandra Korolova, Ayman Farahat, Philippe Golle
FOSSACS
2010
Springer
14 years 5 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...