2138 search results - page 369 / 428 » Logical Step-Indexed Logical Relations |
155
click to vote
TCC
2007
Springer
16 years 9 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
175
click to vote
TLCA
2007
Springer
16 years 9 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
164
click to vote
ANSS
2006
IEEE
16 years 8 days ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
172
click to vote
ICNP
2006
IEEE
16 years 7 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
153
click to vote
IJCNN
2006
IEEE
16 years 6 days ago
2006
IEEE
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...