770 search results - page 75 / 154 » Dinatural Terms in System F |
CCS
2004
ACM
15 years 3 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
EUROCRYPT
2003
Springer
15 years 3 months ago
2003
Springer
A classical construction of stream ciphers is to combine several LFSRs and a highly non-linear Boolean function f. Their security is usually analysed in terms of correlation attack...
100
click to vote
AVSS
2007
IEEE
14 years 10 months ago
2007
IEEE
One of the main issues for Ambient Intelligence (AmI) systems is to continuously localize the user and to detect his/her identity in order to provide dedicated services. A video-r...
PRESENCE
2006
14 years 9 months ago
2006
Future mixed reality systems will need to support large numbers of simultaneous, nonexpert users at reasonable per-user costs if the systems are to be widely deployed within socie...
106
click to vote
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...