6164 search results - page 916 / 1233 » Teaching Computer Security |
256
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
132
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
In spite of several years of intense research, the area of security and cryptography in Wireless Sensor Networks (WSNs) still has a number of open problems. On the other hand, the...
153
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
The Gaia ubiquitous computing platform currently supports mobile devices through a thin client proxy architecture. Mobile devices run a lightweight proxy client written in J2ME to...
119
click to vote
DCC
2001
IEEE
16 years 4 months ago
2001
IEEE
The multicovering radii of a code are recent generalizations of the covering radius of a code. For positive m, the m-covering radius of C is the least radius t such that every m-tu...
125
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Although distributed key generation (DKG) has been studied for some time, it has never been examined outside of the synchronous setting. We present the first realistic DKG archit...